SAT Competition 2002 Collection
收藏arXiv2025-09-30 收录
下载链接：
https://dx.doi.org/10.5281/zenodo.14052283
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了251个来自2002年SAT竞赛的用户提交实例，这些实例在15秒内被证明是无解的。这些实例旨在作为SAT求解器常见用例的基准。任务是对这些实例的解析证明长度及达到最优解的时间进行评估。
This dataset comprises 251 user-submitted instances from the 2002 SAT Competition, all of which have been proven unsatisfiable within 15 seconds. These instances are intended to serve as benchmarks for common use cases of SAT solvers. The evaluation task focuses on the lengths of the resolution proofs for these instances and the time required to achieve the optimal solution.
提供机构：
SAT Competition
