| Solver name | Authors | Information |
|---|
| Competition Division |
|---|
| adaptg2wsat0 | Chu-Min Li, Wanxia Wei and Harry Zhang | description (PDF) |
| adaptg2wsatp | Chu-Min Li, Wanxia Wei and Harry Zhang | description (PDF) |
| adaptg2wsat+ | Wanxia Wei, Chu-Min Li and Harry Zhang | description (PDF) |
| adaptnovelty | Holger Hoos and Dave Tompkins | description (PDF) |
| CMUSAT | Himanshu Jain and Edmund Clarke | description (PDF) |
| CMUSAT base | Himanshu Jain and Edmund Clarke | description (PDF) |
| dewSatz 1a | Anbulagan | description (PDF) |
| FH | Wanxia Wei, Chu-Min Li and Harry Zhang | description (PDF) |
| gnovelty+ | Duc Nghia Pham and Charles Gretton | description (PDF) |
| Hybrid1 | Wanxia Wei, Chu-Min Li and Harry Zhang | description (PDF) |
| kcnfs-2004 | Gilles Dequen and Olivier Dubois | web site |
| kcnfs-2006 | Gilles Dequen and Olivier Dubois | web site |
| kcnfs-smp | Gilles Dequen and Olivier Dubois | web site |
| march-ks | Marijn Heule and Hans van Maaren | description (PDF) |
| Minisat 2007 | Niklas Sorensson and Niklas Een | web site |
| MiraXTv1 | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker | description (PDF) |
| MiraXTv2 | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker | description (PDF) |
| MiraXTv3 | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker | description (PDF) |
| Mmisat | Monahov Ivan | |
| MXC | David R. Bregman and David G. Mitchell | description (PDF) |
| Picosat | Armin Biere | description (PDF) |
| Ranov | Duc Nghia Pham and Anbulagan | description (PDF) |
| Rsat | Knot Pipatsrisawat and Adnan Darwiche | description (PDF) |
| SAPS | Dave A. D. Tompkins, Frank Hutter, and Holger H. Hoos | description (PDF) |
| SAPSRT | Dave A. D. Tompkins, Frank Hutter, and Holger H. Hoos | description (PDF) |
| SAT7 | Christian Kern, Mohammad Khaleghi, Stefan Kugele, Christian Schallhart, Michael Tautschnig and Andreas Weis | description (PDF) | |
| SATzilla CRAFTED | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown | description (PDF) |
| SATzilla RANDOM | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown | description (PDF) |
| Tinisat | Jinbo Huang | description (PDF) |
| TiniSatELite | Jinbo Huang | description (PDF) |
| tts 4.0 | Ivor Spence | web site |
| UnitMarch | Marijn Heule, Denis de Leeuw Duarte, and Hans van Maaren | description (PDF) |
| Demonstration Division |
|---|
| adaptg2wsat | Chu-Min Li, Wanxia Wei and Harry Zhang | description (PDF) |
| SAT4J 1.7 | Daniel Le Berre | web site |
| SATzilla ALL | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown | description (PDF) |
| Spear | Domagoj Babic | description (PDF) |
| Spear FH | Domagoj Babic | description (PDF) |
| Spear FHS | Domagoj Babic | description (PDF) |
| Ornithorynque | Olivier Roussel | |
| Demonstration Division (submitted in competition division) |
|---|
| barcelogic | Robert Nieuwenhuis, Albert Oliveras and Tomas Lioret | web site |
| minimarch | Siert Wieringa, Hans van Maaren and Marijn Heule | description (PDF) |
| dewSatz | Anbulagan | description (PDF) |