Data set from Eriksson-Helmert, ICAPS 2020
<p>This data set contains the raw experiment data used in the ICAPS 2020 Paper "Certified Unsolvability for SAT Planning with Property Directed Reachability". It contains 3 directories, one for each of the certified version of planning algorithms "DFS-CL" "fast-downward" and "PDR".</p> <p>In each directory, there is an "*-eval" directory containing a json file called "properties" which summarizes all parsed results, as well as an html file presenting an overview of these results.</p> <p>Finally, the main directory contains a file "make_plots.py", which generates a tex file for each plot presented in the paper.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 0
- Engagement
- 4
Topics
Dataset details
- Repository
- zenodo
- Published
- March 1, 2020
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.3691811
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.