zenodoopen
Distributed SAT Competition 2005 Industrial Track Benchmarks
<p>These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitters. See also <a href="../records/6528885">https://zenodo.org/records/6528885</a></p> <p> </p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0