These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.

NIAID Data Ecosystem50

Small Uniform Random SAT Samples

布尔问题

随机数生成

Small Random SAT samples generated with the following samplers : BDDSampler Spur QuickSampler KUS Unigen2 Smarch

Zenodo2020-03-16 更新30

Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances

子图同构求解

SAT求解器

A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver. See README for details. Also included in re

Zenodo2021-08-04 更新20

SAT Race 2010 Benchmarks

资源简介：

SAT Race 2010 Benchmarks

资源简介：

相关数据集