SAT Race 2019

Downloads

Benchmark Instances used in the Race

The benchmarks are available via main2019.uri.
Download the instances, e.g., with wget:

wget --content-disposition -i main_2019.uri

Participating Solvers

Solver source codes are available here.

Proceedings

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