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.