Code and experiment data for the AAAI 2015 paper "Factored Symmetries for Merge-and-Shrink Abstractions"

This bundle contains code, data and benchmarks for reproducing all experiments reported in the paper.

sievers-et-al-aaai2015-ms-miasm.zip and sievers-et-al-aaai2015-ms-symmetries.zip contain the implementation based on Fast Downward and the benchmarks used in the experiments of the paper. The ms-symmetries file contains the implementation of factored symmetries. The ms-miasm file contains the implementation combining the factored symmetries with the MIASM code base.

sievers-et-al-aaai2015-lab.zip contains a customized copy of Lab 1.7 (https://github.com/aibasel/lab)

sievers-et-al-aaai2015-scripts.zip contains experiment scripts compatible with Lab 1.7 for reproducing all experiments of the paper.

sievers-et-al-aaai2014-data.tar.bz2 contains the experimental data. 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.

Note on license: we chose GPL v3.0 or later mainly because we consider our implementation based on Fast Downward the main contribution of this package, and Fast Downward comes with GPL v3.0. We only include a copy of Lab and the benchmarks for convenience.