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.
创建时间：
2020-03-02
