SAT 2007 Competition contestants

Solver nameAuthorsInformation
Competition Division
adaptg2wsat0Chu-Min Li, Wanxia Wei and Harry Zhangdescription (PDF)
adaptg2wsatpChu-Min Li, Wanxia Wei and Harry Zhangdescription (PDF)
adaptg2wsat+Wanxia Wei, Chu-Min Li and Harry Zhangdescription (PDF)
adaptnoveltyHolger Hoos and Dave Tompkinsdescription (PDF)
CMUSATHimanshu Jain and Edmund Clarkedescription (PDF)
CMUSAT baseHimanshu Jain and Edmund Clarkedescription (PDF)
dewSatz 1aAnbulagandescription (PDF)
FHWanxia Wei, Chu-Min Li and Harry Zhangdescription (PDF)
gnovelty+Duc Nghia Pham and Charles Grettondescription (PDF)
Hybrid1Wanxia Wei, Chu-Min Li and Harry Zhangdescription (PDF)
kcnfs-2004Gilles Dequen and Olivier Duboisweb site
kcnfs-2006Gilles Dequen and Olivier Duboisweb site
kcnfs-smpGilles Dequen and Olivier Duboisweb site
march-ksMarijn Heule and Hans van Maarendescription (PDF)
Minisat 2007Niklas Sorensson and Niklas Eenweb site
MiraXTv1Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Beckerdescription (PDF)
MiraXTv2Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Beckerdescription (PDF)
MiraXTv3Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Beckerdescription (PDF)
MmisatMonahov Ivan
MXCDavid R. Bregman and David G. Mitchelldescription (PDF)
PicosatArmin Bieredescription (PDF)
RanovDuc Nghia Pham and Anbulagandescription (PDF)
RsatKnot Pipatsrisawat and Adnan Darwichedescription (PDF)
SAPSDave A. D. Tompkins, Frank Hutter, and Holger H. Hoosdescription (PDF)
SAPSRTDave A. D. Tompkins, Frank Hutter, and Holger H. Hoosdescription (PDF)
SAT7Christian Kern, Mohammad Khaleghi, Stefan Kugele, Christian Schallhart, Michael Tautschnig and Andreas Weisdescription (PDF)
SATzilla CRAFTEDLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Browndescription (PDF)
SATzilla RANDOMLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Browndescription (PDF)
TinisatJinbo Huangdescription (PDF)
TiniSatELiteJinbo Huangdescription (PDF)
tts 4.0Ivor Spenceweb site
UnitMarchMarijn Heule, Denis de Leeuw Duarte, and Hans van Maarendescription (PDF)
Demonstration Division
adaptg2wsatChu-Min Li, Wanxia Wei and Harry Zhangdescription (PDF)
SAT4J 1.7Daniel Le Berreweb site
SATzilla ALLLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Browndescription (PDF)
SpearDomagoj Babicdescription (PDF)
Spear FHDomagoj Babicdescription (PDF)
Spear FHSDomagoj Babicdescription (PDF)
OrnithorynqueOlivier Roussel
Demonstration Division (submitted in competition division)
barcelogicRobert Nieuwenhuis, Albert Oliveras and Tomas Lioretweb site
minimarchSiert Wieringa, Hans van Maaren and Marijn Heuledescription (PDF)
dewSatzAnbulagandescription (PDF)

SAT 2007 Competition benchmarks submitters

Benchmarks nameAuthorsInformation
Industrial category
anbulaganAlban Grastien and Anbulagan, Diagnosis of Discrete-Event Systems Benchmarksdescription (PDF)
babic*Domagoj Babic, generated by Calysto static checker: sensitive checking of NULL pointer dereferencing(Babic's SW verification web site)
fuhsCarsten Fuhs, termination analyses of term rewriting systemsdescription (TXT)
IBM_*Emmanuel Zarpas, Bounded Model Checking(IBM FV web site)
jarvisaloMatti Jarvisalo, Equivalence checking hardware multiplier designsdescription (PDF)
Crafted category
spenceIvor Spencedescription (PDF)

[Back to the SAT 2007 web page]