Adiar 1.0.1 : Experiment Data

<strong>Adiar 1.0.1 Experimental Evaluation Data set</strong> 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 <em>raw.zip</em> you can find the raw console outputs from all the experiments. The analysis of these are split by topic into several <em>Libre Office </em><em>Calc</em> files (.odt). <strong>Cache</strong><br> Multiple experiments on <em>BuDDy</em>, <em>CUDD</em>, and <em>Sylvan</em> to expose how the I/O analysis manifests on the RAM-to-cache and Disk-to-RAM level. <strong>Equality Checking</strong><br> Timings for <em>Adiar</em> to perform equality checking for the Combinatorial Circuit benchmarks <strong>Optimisations</strong><br> Experiments on different versions of <em>Adiar</em> with and without the different optimisations. <strong>Reduce</strong><br> The <em>internal-arc to sink-arc </em>ratio on all the benchmarks run. <strong>Running Time</strong><br> The running time of <em>Adiar, BuDDy, CUDD, </em>and<em> Sylvan</em> 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. <strong>Variable Memory</strong><br> Running time of <em>Adiar, CUDD, </em>and <em>Sylvan</em> when changing the amount of available memory. The file <em>License.txt</em> includes a <em>public domain</em> license for this data set.