Published June 2, 2024
| Version v1
Dataset
Open
SAT Race 2015 Benchmarks
Description
These are the 300 CNF files in DIMACS format from the main track of the SAT race 2015.
Files
sat-race-2015-main-benchmarks.zip
Files
(287.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:831175ca2e509c848f7969d9870cc66e
|
287.2 MB | Preview Download |