SAT Competition 2018
The Proceedings of the SAT Competition 2018: Solver and Benchmark Descriptions is now available.
Benchmark Instances used in the Competition
wget --content-disposition -i main_2018.uri
Here you can find the used version of drat-trim in the form in which it was used on starexec.
Solver source codes are available here.