Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6498234
下载链接
链接失效反馈官方服务：
资源简介：
A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.
statistics_overview.csv contains the raw test-data
xxx-{stb,com,grd}.csv contains further 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.
创建时间：
2022-08-17
