Adiar 1.0.1 : Experiment Data

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.