Adiar 1.1.0 : Experiment Data

Our experiments for <em>Adiar</em> v1.1 have tried to uncover the two separate questions described below. The code for the benchmarks can be found at https://github.com/SSoelvsten/bdd-benchmark. <strong>Alice: Has the performance of Adiar's BDDs changed after adding ZDDs?</strong> The machine <em>Alice</em> is a consumer-grade laptop. For these experiments, we have multiple times run four of our benchmarks both <strong>before</strong> and <strong>after</strong> adding the modularity. Specifically, we have run the <em>Queens</em> benchmark for <em>N=13</em> and <em>N=14</em> and the <em>Tic-Tac-Toe</em> benchmark for <em>N=22</em> and <em>N=23</em>. Specifically, we have run these benchmarks where the <em>Adiar</em> submodule was set to one of the following two commits: `<em>6db6c0cdc26ae290a187d50b3fbc74175b5b315f</em>` (Before adding the modularity) `<em>5a56cd743db9ee7bb24afc87be6ec76afea5fb9b</em>` (After adding the modularity) <strong>Grendel: How does Adiar's ZDDs compare to CUDD's?</strong> To this end, we have run all of our combinatorial benchmarks once more but with the newly added ZDD adapter's for Adiar and CUDD. These experiments were run on the computation nodes of the Grendel cluster (phys.au.dk/forskning/cscaa/).