Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1

<p>A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.</p> <ul> <li>statistics_overview.csv contains the raw test-data</li> <li>xxx-{stb,com,grd}.csv contains further raw test-data</li> <li>ststs.ipynb is a python notebook to generate the evaluation of the raw data</li> <li>stats.html is a portable and viewable version of the notebook</li> <li>Used instances are taken from the benchmark set available at https://www.dbai.tuwien.ac.at/proj/adf/yadf/</li> </ul> <p>Note: more details on test environment can be found in the jupyter notebook and the html-file.</p>