JavaSMT框架扩展与Bitwuzla求解器评估基准数据集

数据集概述

该数据集是论文《Extending the Framework JavaSMT with the SMT Solver Bitwuzla and Evaluation using CPAchecker》的基准文件，包含评估JavaSMT框架扩展及Bitwuzla求解器性能的相关数据文件。

文件详解

• results.2023-10-18_11-46-16.table.csv: CSV格式文件，包含CPAchecker工具（版本2.2.1-svn-44892M）的评估结果数据，字段可能涉及工具版本等信息。
• results.2023-10-18_11-46-16.table.html: HTML格式文件，可能为CSV数据的可视化报告或网页版结果展示。
• taskXMLs.7z: 7z压缩格式文件，可能包含任务相关的XML配置文件。

适用场景

• 形式化方法研究: 分析JavaSMT框架扩展Bitwuzla求解器后的性能表现。
• 软件验证工具评估: 基于CPAchecker的测试结果，研究SMT求解器在程序验证中的效率。
• 学术论文复现: 为相关论文的实验结果提供基准数据支持。