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.本压缩包收录了博士学位论文《Certifying Planning Systems: Witnesses for Unsolvability》中使用的原始实验数据。该压缩包内含三个文件夹：1）combined文件夹：存储所有实验的精简数据，该数据以名为`properties`的JSON文件保存，同时附带一份用于展示核心属性的HTML页面；2）与3）分别为downward和fd-hc-refinement文件夹：二者包含通过certifying-downward/certifying-fd-hc-refinement运行的全部实验的原始数据，且在各自的*-eval目录下各设有一份对应精简数据的JSON文件。上述1）中的JSON文件为上述两个JSON文件的合并版本。此外，本压缩包还包含用于生成实验的downward-lab脚本（https://doi.org/10.5281/zenodo.790461），该脚本可披露实验所用的配置参数与运行限制条件。