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

This dataset contains both benchmarks and data used in the paper. 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 "bagged representation" from the<br> following paper succeeded: 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–36. We obtained the implementation of the baggy reformluation from the authors. 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). 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). 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. 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.