Keymaera Benchmark Suite
收藏arXiv2025-09-30 收录
下载链接：
https://doi.org/10.5281/zenodo.13341655
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了222个线性可分离量词公式（LRA）以及511个非线性可分离量词公式（NRA），在移除了无法表达的非线性公式之后。此外，该数据集被用于评估QuantiSAT工具的性能。其规模涉及222个LRA公式和511个NRA公式，所承担的任务是对量化线性与非线性可分离量词公式的可满足性进行检查。
提供机构：
SMT-COMP
