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

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