five

Keymaera Benchmark Suite

收藏
arXiv2025-09-30 收录
下载链接:
https://doi.org/10.5281/zenodo.13341655
下载链接
链接失效反馈
官方服务:
资源简介:
该数据集包含了222个线性可分离量词公式(LRA)以及511个非线性可分离量词公式(NRA),在移除了无法表达的非线性公式之后。此外,该数据集被用于评估QuantiSAT工具的性能。其规模涉及222个LRA公式和511个NRA公式,所承担的任务是对量化线性与非线性可分离量词公式的可满足性进行检查。
提供机构:
SMT-COMP
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作