Distributed SAT Competition 2003 Industrial Track Benchmarks
From MaRDI portal
These are the 100 CNF files in DIMACS format from the industrial track of the SAT competition 2003 which were distributed after the competition.
This page was built for dataset: Distributed SAT Competition 2003 Industrial Track Benchmarks
