SAT Competition 2014
affiliated with the
SAT 2014
conference, July 14-17 in Vienna, Austria.
and the
FLoC Olympic Games
Downloads
Proceedings of SAT COMPETITION 2014 Solver and Benchmark Descriptions
overview
pdf
Application Benchmarks
app-buckets
Hard Combinatorial Benchmarks
hc-buckets
Random Benchmarks
MD5 checksums
HOME
Important dates
Rules
Results
Competition Tracks
Downloads
Call for Benchmarks
Call for Papers
Certified UNSAT
Execution Environment
Submission
Organization
Contact information