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

<p>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).</p> <p>Directories without the &quot;-eval&quot; ending contain raw data, distributed over a<br> subdirectory for each experiment. Each of these contain a subdirectory tree<br> structure &quot;runs-*&quot; 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 &quot;run.log&quot; (stdout), possibly also a run error file &quot;run.err&quot;<br> (stderr), the run script &quot;run&quot; used to start the experiment, and a &quot;properties&quot;<br> file that contains data parsed from the log file(s).</p> <p>Directories with the &quot;-eval&quot; ending contain a &quot;properties&quot; 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.</p>