Experimental data and benchmarks of the paper "Merge-and-Shrink Task Reformulation for Classical Planning"

This dataset contains both benchmarks and data used in the paper. PDDL benchmark files can be found in the file optimal-strips-benchmarks.tar.gz<br> and satisficing-strips-benchmarks.tar.gz, which contain the STRIPS domains from<br> the sequential optimal/satisficing tracks of all IPCs as collected in the<br> repository https://bitbucket.org/aibasel/downward-benchmarks. All other files in this dataset contain raw and processed data of all<br> experiments, which were generated using Downward-Lab (see<br> https://doi.org/10.5281/zenodo.399255). The scripts used to run the experiments<br> can be found in the software bundle for this paper (see<br> https://doi.org/10.5281/zenodo.3232878). Directories without the "-eval" ending contain raw data, distributed over a<br> subdirectory for each experiment. Each of these contain a subdirectory tree<br> structure "runs-*" where each planner run has its own directory. For each run,<br> there are symbolic links to the input PDDL files domain.pddl and problem.pddl<br> (can be resolved by putting the benchmarks directory to the right place), the<br> run log file "run.log" (stdout), possibly also a run error file "run.err"<br> (stderr), the run script "run" used to start the experiment, and a "properties"<br> file that contains data parsed from the log file(s). Directories with the "-eval" ending contain a "properties" file, which contains<br> a JSON directory with combined data of all runs of the corresponding<br> experiment. In essence, the properties file is the union over all properties<br> files generated for each individual planner run.