Data set from Eriksson-Helmert, ICAPS 2020
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/3691811
下载链接
链接失效反馈官方服务：
资源简介：
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-04
