数据集概述
本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。
文件详解
该数据集包含十八个文件，具体说明如下：
- 核心基准结果文件（.bz2格式，共十三个）：
- 命名示例：theta.2021-11-24_14-27-20.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2
- 内容：不同类别的基准测试结果，涵盖ConcurrencySafety-Main、ReachSafety-Arrays、ReachSafety-Recursive等类别
- 结果报告文件（.html格式，共两个）：
- theta.2021-11-24_14-27-20.results.SV-COMP22_unreach-call.html：全类别结果的HTML报告
- theta.2021-11-24_14-27-20.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.html：仅Concurrency Safety类别的HTML报告
- 结构化数据文件（.csv格式，共两个）：
- theta.2021-11-24_14-27-20.results.SV-COMP22_unreach-call.csv：全类别结果的CSV数据，字段含tool（工具名称）、run set（运行集）等
- theta.2021-11-24_14-27-20.results.SV-COMP22_unreach-call.ConcurrencySafety-Main.xml.bz2.merged.csv：仅Concurrency Safety类别的CSV数据
- 日志压缩文件：
- theta.2021-11-24_14-27-20.logfiles.zip：日志文件压缩包
适用场景
- 形式化验证工具性能分析：对比不同工具在SV-COMP基准测试中的表现
- 程序验证技术研究：支持C程序形式化验证高效技术的相关研究
- 学术论文补充材料：为相关学士论文提供可复现的实验数据支撑
- 软件可靠性评估：分析不同类别程序（如并发安全、数组安全）的验证结果
