Experimental data of the paper "Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning"

This dataset contains experimental data used in the paper. They 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.2628703).

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.