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)