Experimental data from the ICAPS 2020 paper "Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement"
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/3636139
下载链接
链接失效反馈官方服务：
资源简介：
This data set contains the raw experiment data, parsed values and basic reports for the experiments in the paper. For each experiment there are two directories. The first directory contains the raw data of all experiment runs. The code directories and benchmark files have been removed to avoid duplication and to save space. The second directory (*-eval) contains a "properties" file with all parsed values and an HTML report.
创建时间：
2021-04-28
