SAT Competition 2020 Instances
收藏arXiv2025-09-30 收录
下载链接：
https://satcompetition.github.io/2020/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是从2020年SAT竞赛中选取的满足和不满足实例的集合，特别是那些在规定时间内由Glucose 3.0求解器解决的实例。在实验过程中，根据技术复杂性和性能问题对实例进行了筛选。从61个候选实例中，我们选出了53个实例。该数据集的任务是评估具有预学习子句和子句删除特性的CDCL求解器的性能。
This dataset is a collection of satisfiable and unsatisfiable instances selected from the 2020 SAT Competition, specifically those instances solved by the Glucose 3.0 solver within the specified time limit. During the experimental process, instances were filtered based on technical complexity and performance issues. Out of 61 candidate instances, 53 were selected. The task of this dataset is to evaluate the performance of CDCL solvers equipped with pre-learned clauses and clause deletion capabilities.
提供机构：
SAT Competition
