SAT Race 2019 Benchmarks
From MaRDI portal
Dataset:6700835
DOI10.5281/zenodo.11428417Zenodo11428417MaRDI QIDQ6700835FDOQ6700835
Dataset published at Zenodo repository.
Publication date: 2 June 2024
Copyright license: Creative Commons Attribution 4.0 International
These are the 400 CNF files in DIMACS format from the SAT race 2019.
This page was built for dataset: SAT Race 2019 Benchmarks
