Benchmarks, Code and Data from Mugdan et al, ICAPS 2023

This bundle contains all benchmarks, code, and data used in the paper "Optimality Certificates for Classical Planning" published at ICAPS 2023. Benchmarks Contains two folders: - original: The original benchmark set, which is a clone of https://github.com/aibasel/downward-benchmarks. Note that we do not use the full benchmark set but only a subset used for optimal planning. - unsolvability-compilation: The compilation to unsolvability we created with the script "cost_parser.py" (see under "Code"). Code Contains the following folders and scripts: - cost-extractor.py: A script to extract optimal cost for tasks from a properties file created by a Downward Lab experiment. - cost_parser.py: A script that takes the information generated from cost-extractor.py and performs the compilation to unsolvability as described in the paper. (Only supports unit-cost.) - downward-optimality-certificates: A modified version of Fast Downward (https://github.com/aibasel/downward/) that we used to create optimality certificates. - downward-unsolvability: A clone of https://github.com/salome-eriksson/downward-unsolvability used for generating unsolvability certificates. - helve-optimality: A modified version of Helve (see below) that implements rules for deriving lower bounds. - helve-unsolvability: A clone of https://github.com/salome-eriksson/helve/ used for verifying unsolvability certificates. Data Contains three folders: - optimality / unsolvability: A copy of all scripts and logs of the experiments run with Downward Lab (https://lab.readthedocs.io/en/stable/). Experiments consist of: - A script detailing how the experiment is to be conducted (benchmark set, code, limits, ...) - custom parsers - data/: Contains the logs of each run - data/-eval: Contains "properties", a JSON file that summarizes the experiment based on the parsed attributes. (For the lmcut experiment only the properties file is present.) - analysis: Contains html reports and .tex plots, as well as the scripts that generated them