Data set from Eriksson-Helmert, ICAPS 2020

This data set contains the raw experiment data used in the ICAPS 2020 Paper "Certified Unsolvability for SAT Planning with Property Directed Reachability". It contains 3 directories, one for each of the certified version of planning algorithms "DFS-CL" "fast-downward" and "PDR".

In each directory, there is an "*-eval" directory containing a json file called "properties" which summarizes all parsed results, as well as an html file presenting an overview of these results.

Finally, the main directory contains a file "make_plots.py", which generates a tex file for each plot presented in the paper.