SAT Competition 2016

Participating Solvers

Solver source codes are available here

Incremental Solvers (and also benchmarks) here

Sat Competition Proceedings - containing the solver and benchmark descriptions is available on SAT Conference USB Stick and here.