Published June 23, 2022
| Version v2
Dataset
Open
Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1
Authors/Creators
- 1. Knowledge-Based Systems Group, cfaed, TU Dresden, Germany
- 2. Logic Programming and Argumentation Group, TU Dresden, Germany
- 3. Institute of Software Technology, TU Graz, Austria
Description
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.
Files
bdd-com.csv
Files
(5.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6f64fe6a0d9a7810a05a41bede236a51
|
306.0 kB | Preview Download |
|
md5:07b882831ae0b725da0882e96d0f78e0
|
311.0 kB | Preview Download |
|
md5:40919569f2292aa5428252161447d5c3
|
306.1 kB | Preview Download |
|
md5:02af80db3fea88e45a13a787488dbefa
|
308.1 kB | Preview Download |
|
md5:84a28a081c7d92adec57c4d239d596cc
|
308.1 kB | Preview Download |
|
md5:b44c44f0addd4b08743cf78d1004d496
|
284.4 kB | Preview Download |
|
md5:8fc0b37baea574270499879fc5015656
|
286.3 kB | Preview Download |
|
md5:16d97db3fd0d40e1960a6e084bdafea2
|
286.4 kB | Preview Download |
|
md5:bb90a07f969b937e26e9fd6921cf37c6
|
671.1 kB | Preview Download |
|
md5:f6b48fc93479e2d094f58bcb24545838
|
1.2 MB | Download |
|
md5:6ae1997e73ab8ca7e864df2a30bcb3e0
|
577.4 kB | Preview Download |
|
md5:933b6b586d805bda6985107721e6ef8f
|
321.8 kB | Preview Download |
|
md5:b6ac29a62f337582ea38f44036e04114
|
321.5 kB | Preview Download |