SAT Competition 2002 Collection

该数据集包含了251个来自2002年SAT竞赛的用户提交实例，这些实例在15秒内被证明是无解的。这些实例旨在作为SAT求解器常见用例的基准。任务是对这些实例的解析证明长度及达到最优解的时间进行评估。