SAT Competition 2018 Main Track Benchmarks
From MaRDI portal
These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2018.
This page was built for dataset: SAT Competition 2018 Main Track Benchmarks
