SAT Competition 2017
The Proceedings of the SAT Competition 2017: 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, Parallel and NoLimit tracks since these Tracks use the same benchmarks).
Solver source codes are available here