Experimental data from the PhD thesis "Certifying Planning Systems: Witnesses for Unsolvability"

<p>The zipfile contains the raw experiment data used in the PhD thesis &quot;Certifying Planning Systems: Witnesses for Unsolvability&quot;. It is split in three folders:</p> <p>1) combined: contains the condensed data of all experiments as a json-file named properties, as well as a html page reporting the most important attributes</p> <p>2+3) downward and fd-hc-refinement: contains the raw data of all experiments run with certifying-downward/certifying-fd-hc-refinement, as well as a json-file each for the condensed data in the *-eval directory. The json-file from 1) is a combination of those two json-files.</p> <p>Furthermore, it contains the downward-lab (https://doi.org/10.5281/zenodo.790461) scripts used for generating the experiments, showing with which configurations and limits the experiments were run.</p>