Published June 16, 2018 | Version v1
Dataset Open

Dataset used in the paper "Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions"

  • 1. University of Basel

Description

This dataset contains all raw and processed data used in the paper. It has been generated using Downward-Lab (see https://doi.org/10.5281/zenodo.399255).

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 the input PDDL files, domain.pddl and problem.pddl, the compressed output as generated by the translator component of Fast Downward (output.sas.xz), 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.

To process the data further, we used the scripts available in the software bundle of the paper: https://doi.org/10.5281/zenodo.1290524

Files

Files (2.8 GB)

Name Size Download all
md5:4f91ec86725270da6aebfc6c0412494c
2.1 GB Download
md5:91c5dcb5159c81fef2e8c3188705cb25
670.3 MB Download

Additional details

References

  • Silvan Sievers. Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions. SoCS 2018