Code and experiment data for the SoCS 2017 paper "Strengthening Canonical Pattern Databases with Structural Symmetries"
| Main Authors: | Sievers, Silvan, Wehrle, Martin, Helmert, Malte, Katz, Michael |
|---|---|
| Format: | info software Journal |
| Terbitan: |
, 2021
|
| Online Access: |
https://zenodo.org/record/4602102 |
Daftar Isi:
- This bundle contains code, data and benchmarks for reproducing all experiments reported in the paper. sievers-et-al-socs2017-code.zip contains the implementation based on Fast Downward used in the experiments of the paper. sievers-et-al-socs2017-benchmarks.zip contains the STRIPS PDDL benchmarks from sequential optimization tracks of IPC 1998-2014. sievers-et-al-socs2017-lab.zip contains a customized copy of Lab 1.10 (https://github.com/aibasel/lab) sievers-et-al-socs2017-scripts.zip contains experiment scripts compatible with Lab 1.10 for reproducing all experiments of the paper. sievers-et-al-socs2017-data.zip contains the experimental data. Unfortunately, there are only the parsed data but not the raw data. Each directory corresponds to an experiment (see the scripts in the scripts file). Each of these contain a "properties" file that contains data parsed from the (not included) log file(s) of all runs of the experiment. 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.