数据集概述
本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。
文件详解
- 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-COMP23竞赛结果，如korn.2023-02-16_19-23-42.results.SV-COMP23_unreach-call.xml.bz2等，涉及ReachSafety-ControlFlow、ReachSafety-Loops等子任务
- 表格数据文件：
- results.2023-02-16_19-50-25.table.csv：CSV格式，含Korn 0.4工具的实验结果数据
- results.2023-02-15_14-27-03.table.csv：CSV格式，含Korn 0.4工具的实验结果数据
- 网页文件（.html格式）：共三个文件，如results.2023-02-16_19-50-25.table.html，为表格数据的网页展示版本
- 文档文件：
- index.md：Markdown格式文档，可能为数据集说明文档
适用场景
- 软件验证工具性能评估：分析Korn工具在SV-COMP2023竞赛中的表现
- 程序分析研究：基于竞赛结果数据研究Horn子句求解器在软件验证中的应用效果
- 竞赛结果复现：支持SV-COMP23竞赛相关实验结果的复现与验证
- 软件可靠性研究：通过工具验证结果分析程序安全性问题（如unreach-call）的检测能力
