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<br> using Downward-Lab (see https://doi.org/10.5281/zenodo.399255). The scripts<br> used to run the experiments can be found in the software bundle for this paper<br> (see https://doi.org/10.5281/zenodo.2628703). 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.