Data set and benchmarks from Eriksson et al., ICAPS 2018

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.