SAT Race 2010 Benchmarks
From MaRDI portal
Dataset:6700844
DOI10.5281/zenodo.11561176Zenodo11561176MaRDI QIDQ6700844FDOQ6700844
Dataset published at Zenodo repository.
Publication date: 11 June 2024
Copyright license: Creative Commons Attribution 4.0 International
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2010.
This page was built for dataset: SAT Race 2010 Benchmarks
