SAT Competition 2016
Overview
General Rules
Competition Tracks
→Submission
→Unsat Certificates
→Glucose Hack Subtrack
→Incremental Library Track
Benchmarks
Organizers
Related Events
Solvers
Results
Downloads
SAT Competition 2016
Downloads
General
The
ipasir.zip
package.
The
Starexec virtual machine
.
Benchmark Instances used in the Competition
Application Benchmarks from Main/Parallel Tracks
(1.6GB)
Crafted Benchmarks from Main/Parallel Tracks
(0.9GB)
Agile Track Benchmarks
(2.1GB)
Random Track Benchmarks
(2.9GB)
Incremental Track Benchmarks (and solvers)
(1.8GB)