SAT Competition 2018




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

Benchmark Instances used in the Competition

The benchmarks are available here ( contains the benchmarks for the Main, GlucoseHack, and NoLimit tracks since these tracks use the same benchmarks).

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.