Data set from Eriksson-Helmert, ICAPS 2020

<p>This data set contains the raw experiment data used in the ICAPS 2020 Paper &quot;Certified Unsolvability for SAT Planning with Property Directed Reachability&quot;. It contains 3 directories, one for each of the certified version of planning algorithms &quot;DFS-CL&quot; &quot;fast-downward&quot; and &quot;PDR&quot;.</p> <p>In each directory, there is an &quot;*-eval&quot; directory containing a json file called &quot;properties&quot; which summarizes all parsed results, as well as an html file presenting an overview of these results.</p> <p>Finally, the main directory contains a file &quot;make_plots.py&quot;, which generates a tex file for each plot presented in the paper.</p>