Published March 15, 2021 | Version v1
Software Open

Code and experiment data for the ICAPS 2018 paper "Symmetry-based Task Reduction for Relaxed Reachability Analysis"

  • 1. University of Basel
  • 2. IBM Research Yorktown Heights


This bundle contains code, data and benchmarks for reproducing all experiments reported in the paper. contains the implementation based on Fast Downward used in the experiments of the paper. It also contains the experiment scripts compatible with Lab 2.1 for reproducing all experiments of the paper, under experiments/symmetry-reduction (Note that some adjustments to the scripts would need to be done because, e.g., the entire tree is not a repository anymore.) contains all PDDL benchmarks from sequential tracks of IPC 1998-2014 and 6 domains from the learning track of IPC 2014. contains a copy of Lab 2.1 ( 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.


Files (373.1 MB)

Name Size Download all
36.6 MB Preview Download
2.2 MB Preview Download
334.0 MB Preview Download
335.0 kB Preview Download