Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
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

Description

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

roeger-et-al-icaps2018-code.zip 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.)

roeger-et-al-icaps2018-benchmarks.zip contains all PDDL benchmarks from sequential tracks of IPC 1998-2014 and 6 domains from the learning track of IPC 2014.

roeger-et-al-icaps2018-lab.zip contains a copy of Lab 2.1 (https://github.com/aibasel/lab)

roeger-et-al-icaps2018-data.zip 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

roeger-et-al-icaps2018-benchmarks.zip

Files (373.1 MB)

Name Size Download all
md5:2e596c8513ada4f9dc3fa1c97c127c48
36.6 MB Preview Download
md5:fec6f9870b87c5c5653bcbe087a16a83
2.2 MB Preview Download
md5:f8b4065ca6c8788d565dc306f58738a3
334.0 MB Preview Download
md5:231b4f01275503b5e5e01b4526ec2f30
335.0 kB Preview Download