| Author | Name | Type | |
|---|---|---|---|
| Armin BIERE | Limmat | biere@inf.ethz.ch | complete, deterministic |
| Steven PRESTWICH | Saturn | s.prestwich@cs.ucc.ie | incomplete, random |
| Fahiem BACCHUS | 2clseq | fbacchus@cs.toronto.edu | complete, deterministic |
| Marijn HEULE | MarchI(I|II|se) | marijn@heule.nl | complete, deterministic |
| Anatoly PLOTNIKOV | Blindsat | aplot@tom.vinnica.ua | complete, deterministic |
| Anton EREMEEV | Ga | eremeev@iitam.omsk.net.ru | incomplete, random |
| Eugene GOLDBERG | Berkmin | egold@cadence.com | complete, determine |
| Edward HIRSCH | Unitwalk | hirsch@pdmi.ras.ru | incomplete, random |
| Joao MARQUES-SILVA | Jquest | jpms@inesc.pt | complete, random |
| Richard OSTROWSKI | Lsat | ostrowski@cril.univ-artois.fr | complete, deterministic |
| Bu DONGBO | Usat(05|10) | bdb@ncic.ac.cn | incomplete, random |
| Hantao ZHANG | Sato | hzhang@cs.uiowa.edu | complete, random |
| Armando TACCHELLA | Simo | tac@dist.unige.it | complete, random |
| Oliver KULLMANN | Oksolver | O.Kullmann@Swansea.ac.uk | complete, deterministic |
| Benjamin WAH | dlmsat(1|2|3) | b-wah@uiuc.edu | incomplete, random |
| Allen VANGELDER | Rb2cl|Modoc | avg@cs.ucsc.edu | complete, deterministic |
| Lintao ZHANG | Zchaff | lintaoz@ee.princeton.edu | complete, deterministic |
| John KOLEN | Partsat | jkolen@ai.uwf.edu | complete, deterministic |