Distributed SAT Competition 2004 Industrial Track Benchmarks
From MaRDI portal
Dataset:6700850
DOI10.5281/zenodo.11575866Zenodo11575866MaRDI QIDQ6700850FDOQ6700850
Dataset published at Zenodo repository.
Publication date: 11 June 2024
Copyright license: Creative Commons Attribution 4.0 International
These are the 324 CNF files in DIMACS format from the industrial track of the SAT competition 2004 which were distributed after the competition.
This page was built for dataset: Distributed SAT Competition 2004 Industrial Track Benchmarks
