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

The zipfile contains the raw experiment data used in the PhD thesis "Certifying Planning Systems: Witnesses for Unsolvability". It is split in three folders:

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

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.

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.