数据集概述
该数据集包含adf-bdd求解器（版本v0.2.4-beta.1）的运行时间数据，以及与其他ADF求解器的对比结果，可用于评估求解器性能，基于TU Wien DBAI的基准测试集构建。
文件详解
- 核心数据文件（CSV格式，共11个）：
- statistics_overview.csv：原始测试数据总览
- 其他CSV文件（如kadf-stb.csv、bdd-grd.csv等）：按不同参数或求解器分类的原始测试数据，字段包括command、mean、stddev、median、user、system、min、max、parameter_calls、parameter_file、parameter_timeout等
- 分析代码文件：
- stats.ipynb：Python Jupyter Notebook，用于生成原始数据的评估结果
- 可视化报告文件：
- stats.html：Notebook的便携式可视化版本
数据来源
TU Wien DBAI（数据基于https://www.dbai.tuwien.ac.at/proj/adf/yadf/的基准测试集）
适用场景
- 自动决策框架（ADF）求解器性能评估与对比分析
- 求解器运行时间优化研究
- 基准测试集在ADF领域的应用验证
- 求解器参数对性能影响的定量分析
