Eriksson Et Al, Icaps 2017: Data Set From Experiments
Salomé Eriksson, Gabriele Röger, Malte Helmert · Zenodo (CERN European Organization for Nuclear Research) · 2017
This is the experiment data used in the paper "Unsolvability Certificates for Classical Planning" by Eriksson et al. (ICAPS 2017). The file "properties" contains all parsed attributes from each experiment run in json-format, while the file "Report_icaps17.html" containes an overview of the most important attributes in html-format.