SAT Race 2019

Downloads

Benchmark Instances used in the Race

The benchmarks used in the Race are now available.

Participating Solvers

Solver source codes are available here.

Proceedings

The Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions are now available.