SAT Race 2006 Benchmarks
From MaRDI portal
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2006.
This page was built for dataset: SAT Race 2006 Benchmarks
Authors Armin Biere
Publication date 11 June 2024
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2006.
This page was built for dataset: SAT Race 2006 Benchmarks