Dataset used in the paper "Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions"
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