SAT Competition 2018

Downloads

General

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 here (Main.zip 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.