Experimental data and benchmarks used in the paper "Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks"

<p>This dataset contains both benchmarks and data used in the paper.</p> <p>PDDL benchmark files can be found in the files benchmarks.tar.gz and<br> bagged-benchmarks.tar.gz. The former contains all domains from all IPCs from the<br> repository https://bitbucket.org/aibasel/downward-benchmarks, without duplicate<br> domains that have been used in multiple IPCs. The latter contains the subset of<br> these tasks for which the reformulation in the &quot;bagged representation&quot; from the<br> following paper succeeded:</p> <p>Riddle, P.; Douglas, J.; Barley, M.; and Franco, S. 2016. Improving<br> performance by reformulating PDDL into a bagged representation.<br> In ICAPS 2016 Workshop on Heuristics and Search for Domain-<br> independent Planning, 28&ndash;36.</p> <p>We obtained the implementation of the baggy reformluation from the authors.</p> <p>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.2621897).</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). Some directories (not for<br> the ground experiments, where these files got too large) also contain a file<br> generators.py that contain all symmetry group generators in permutation<br> notation.</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>