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.