Distributed SAT Competition 2005 Industrial Track Benchmarks (Q6700849)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Distributed SAT Competition 2005 Industrial Track Benchmarks |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributed SAT Competition 2005 Industrial Track Benchmarks |
Dataset published at Zenodo repository. |
Statements
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 https://zenodo.org/records/6528885
0 references
11 June 2024
0 references
