Solvers
65 solvers submitted by 27 research groups participated in SAT Challenge 2012.
A list of solvers will be published soon.
Detailed information about all participating solvers and benchmarks selected for SAT Challenge 2012 can be found in the SAT Challenge 2012 Proceedings (PDF).