Canonical Decision Diagrams Modulo Theories - Benchmarking

This archive contains all data and results that were used to benchmark the approach Canonical Decision Diagrams Modulo Theories. The archive contains the following files: 3 subfolders, one for each dataset that was used in the benchmarking process, each one containing a "data" subfolder which contains the problems (in SMT/SMT2 format) and some output folders which contain JSON files describing in detail the results of each run on the problems.