Downloads
Proceedings
Proceedings containing a description of both solvers and benchmarks are available for download here:
Benchmark Instances
The benchmark instances used in the different tracks of SAT Challenge 2012 can be downloaded here. The benchmarks are available as TAR-archives containing LZMA-compressed CNF files.
- Application SAT+UNSAT: (used in the sequential and parallel
Application Track)
sc2012-application.tar (2910 MB) - Hard Combinatorial SAT+UNSAT:
sc2012-hard-combinatorial.tar (165 MB) - Random SAT:
sc2012-random.tar (211 MB) - Portfolio (1/3 Application SAT+UNSAT, 1/3 Hard Combinatorial SAT+UNSAT,
1/3 Random SAT+UNSAT):
sc2012-portfolio.tar (1053 MB)