Software Open Access

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

Röger, Gabriele; Sievers, Silvan; Katz, Michael

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Röger, Gabriele</dc:creator>
  <dc:creator>Sievers, Silvan</dc:creator>
  <dc:creator>Katz, Michael</dc:creator>
  <dc:description>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.</dc:description>
  <dc:title>Code and experiment data for the ICAPS 2018 paper "Symmetry-based Task Reduction for Relaxed Reachability Analysis"</dc:title>
All versions This version
Views 3232
Downloads 1515
Data volume 1.5 GB1.5 GB
Unique views 3232
Unique downloads 1010


Cite as