These are the benchmarks and the experiment data used in the paper "A Proof System for Unsolvable Planning Tasks" by Eriksson et al. (ICAPS 2018). The raw data contains the logs from all runs, while the eval-directories contain a json file with all parsed attributes. The benchmarks directory contains all benchmarks used in the experiments. Finally, the file eriksson-et-al-icaps2018.html provides an overview over the most interesting attributes across all runs.

{"references": ["Salom\u00e9 Eriksson, Gabriele R\u00f6ger and Malte Helmert. A Proof System for Unsolvable Planning Tasks. In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS). 2018."]}