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
and satisficing-strips-benchmarks.tar.gz, which contain the STRIPS domains from
the sequential optimal/satisficing tracks of all IPCs as collected in the
repository https://bitbucket.org/aibasel/downward-benchmarks.

All other files in this dataset contain raw and processed data of all
experiments, which were generated using Downward-Lab (see
https://doi.org/10.5281/zenodo.399255). The scripts used to run the experiments
can be found in the software bundle for this paper (see
https://doi.org/10.5281/zenodo.3232878).

Directories without the "-eval" ending contain raw data, distributed over a
subdirectory for each experiment. Each of these contain a subdirectory tree
structure "runs-*" where each planner run has its own directory. For each run,
there are symbolic links to the input PDDL files domain.pddl and problem.pddl
(can be resolved by putting the benchmarks directory to the right place), the
run log file "run.log" (stdout), possibly also a run error file "run.err"
(stderr), the run script "run" used to start the experiment, and a "properties"
file that contains data parsed from the log file(s).

Directories with the "-eval" ending contain a "properties" file, which contains
a JSON directory with combined data of all runs of the corresponding
experiment. In essence, the properties file is the union over all properties
files generated for each individual planner run.