SAT Competition 2018

Downloads

General

• The Starexec virtual machine.

Proceedings

The Proceedings of the SAT Competition 2018: Solver and Benchmark Descriptions is now available.

Benchmark Instances used in the Competition

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

wget --content-disposition -i main_2018.uri

Unsatisfiability Checker

Here you can find the used version of drat-trim in the form in which it was used on starexec.

Participating Solvers

Solver source codes are available here.