Adiar 1.0.1 : Experiment Data (Q6717000)

Adiar 1.0.1 Experimental Evaluation Data set You can here find the data set (and its analysis) created together with the experimental evaluation of the I/O-efficient BDD package Adiar as presented in the arXiv preprint https://arxiv.org/abs/2104.12101 In raw.zip you can find the raw console outputs from all the experiments. The analysis of these are split by topic into several Libre Office Calc files (.odt). Cache Multiple experiments on BuDDy, CUDD, and Sylvan to expose how the I/O analysis manifests on the RAM-to-cache and Disk-to-RAM level. Equality Checking Timings for Adiar to perform equality checking for the Combinatorial Circuit benchmarks Optimisations Experiments on different versions of Adiar with and without the different optimisations. Reduce The internal-arc to sink-arc ratio on all the benchmarks run. Running Time The running time of Adiar, BuDDy, CUDD, and Sylvan to solve the different benchmarks. This is both on the comparable machine with 386 GiB of memory and 3.5 TiB of disk and also on another (semi-comparable) set of machines. Variable Memory Running time of Adiar, CUDD, and Sylvan when changing the amount of available memory. The file License.txt includes a public domain license for this data set.