Keymaera Benchmark Suite
收藏arXiv2025-09-30 收录
下载链接：
https://doi.org/10.5281/zenodo.13341655
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了222个线性可分离量词公式（LRA）以及511个非线性可分离量词公式（NRA），在移除了无法表达的非线性公式之后。此外，该数据集被用于评估QuantiSAT工具的性能。其规模涉及222个LRA公式和511个NRA公式，所承担的任务是对量化线性与非线性可分离量词公式的可满足性进行检查。
After removing inexpressible nonlinear formulas, this dataset contains 222 linearly separable quantifier formulas (LRA) and 511 nonlinearly separable quantifier formulas (NRA). This dataset is further utilized to evaluate the performance of the QuantiSAT tool, and its primary task is to verify the satisfiability of quantified linearly and nonlinearly separable quantifier formulas.
提供机构：
SMT-COMP
