SAT Competition 2020 Instances

该数据集是从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 2020是一个布尔可满足性问题求解器的竞赛数据集，与2020年7月的第23届SAT国际会议关联。该数据集包含多个竞赛轨道，如主轨道、增量库轨道和并行轨道，旨在通过比较不同求解器的性能来推动SAT求解算法的进步和实现技术的优化。