QBF Solvers


SolverSubmitterQBFEVAL
2clsQ Horst Samulowitz 2006
Adaptive2clsQ Horst Samulowitz 2007
aigqbf_s Florian Pigorsch 2007
aigqbf_sr Florian Pigorsch 2007
AIGSolve Florian Pigorsch 2010 2016
aqme-10 Luca Pulina 2010 2016
AQME-1NN Luca Pulina 2007 2008
AQME-C4.5 Luca Pulina 2007
AQME-RIPPER Luca Pulina 2007
aqua-f3v Paolo Marin 2016
aqua-s2v Paolo Marin 2016
aqua-s3o Paolo Marin 2016
areqs Mikolas Janota 2016
aspQ Francesco Ricca 2016
cadet Markus N. Rabe 2016
caqe-minisat Leander Tentrup 2016
caqe-minisat-cert Leander Tentrup 2016
caqe-minisat-par Leander Tentrup 2016
caqe-picosat Leander Tentrup 2016
caqe-picosat-cert Leander Tentrup 2016
caqe-picosat-par Leander Tentrup 2016
caqe-portfolio Leander Tentrup 2016
cheq Luca Pulina 2016
CirQit2.1 Alexandra Goultiaeva 2010
CLearn Rowley 2004
CMS_Solver Soonho Kong 2008
CSBJ Gent 2004
depqbf Florian Lonsing 2010
depqbf-cert-v1 Florian Lonsing 2016
depqbf-cert-v2 Florian Lonsing 2016
depqbf-pre Florian Lonsing 2010
depqbf-v1 Florian Lonsing 2016
depqbf-v2 Florian Lonsing 2016
depqbf-v3 Florian Lonsing 2016
dynQBF Stefan Woltran 2016
EBDDRES Armin Biere 2007
ghostq-cegar William Klieber 2016
ghostq-plain William Klieber 2016
GRL Gent 2004 2005 2006
hiqqer1 Allen Van Gelder 2016
hiqqer1ldsq Allen Van Gelder 2016
hiqqer3 Allen Van Gelder 2016
hiqqerfork Allen Van Gelder 2016
hordeqbf Florian Lonsing 2016
iprover-QBF Konstantin Korovin 2016
iprover-QBF-bloqqer Konstantin Korovin 2016
mpiDepQBF Florian Lonsing 2016
ncQuBE1.0 Massimo Narizzano 2007
ncQuBE1.1 Massimo Narizzano 2007
Nenofex Florian Lonsing 2008
nenofex-qbfeval10 Florian Lonsing 2010
openQbf Daniel Le Berre 2004 2005 2006
orSAT Roussell 2004
par-pd-depqbf Florian Lonsing 2016
pQBF Igor Stéphan 2007 2008
preQuantor Horst Samulowitz 2006
preQuel_sKizzo-0.10 Marco Benedetti 2007
qbfbdd Gilles Audemard 2005
Qbfl Florian Letombe 2006
QBFL-BS Florian Letombe 2004
QBFL-JW Florian Letombe 2004
QbflHR Daniel Le Berre 2005
QChaffLearn Rowley 2005
qesto Mikolas Janota 2016
qestos Mikolas Janota 2016
qmaiga Sven Reimer 2010
QMRes Vardi 2004 2005
qpro Martina Seidl 2008 2010
QSAT Jussi Rintanen 2004
qSS Horst Samulowitz 2007
qsts Shahab Tasharrofi 2016
quabs-minisat Leander Tentrup 2016
quabs-picosat Leander Tentrup 2016
Quaffle Daijue Tang 2006
QUANTOR Armin Biere 2004 2005 2006
quantor-3.1 Armin Biere 2010
quantor3.0 Armin Biere 2008
QUANTOR_2.15 Armin Biere 2007
QUANTOR_hc Armin Biere 2006
QUBE-BJ Massimo Narizzano 2004
QUBE-LRN Massimo Narizzano 2004
qube3.0 Massimo Narizzano 2006
qube4.0 Massimo Narizzano 2006
qube5.0 Massimo Narizzano 2006
QuBE6.1 Paolo Marin 2008
QuBE7 Paolo Marin 2010
QuBE7-c Paolo Marin 2010
QuBE7-m Paolo Marin 2010
qZilla Horst Samulowitz 2007
rareqs Mikolas Janota 2016
rareqs-nn Mikolas Janota 2016
semprop Letz 2004 2005 2006
sKizzo-0.10-qck Marco Benedetti 2007
sKizzo-0.10-std Marco Benedetti 2007
sKizzo-0.9-abs Marco Benedetti 2006
sKizzo-0.9-grn Marco Benedetti 2006
sKizzo-0.9-std Marco Benedetti 2006
skizzo_v0.4 Marco Benedetti 2005
skizzo_v0.5 Marco Benedetti 2005
SQBF Horst Samulowitz 2006
squeezebf+aqme Luca Pulina 2016
squeezebf+struqs Luca Pulina 2016
squolem Christoph Wintersteiger 2007
sSolve Rainer Feldmann 2004 2005 2006
ssolve+ut Rainer Feldmann 2006
ssolve-A Rainer Feldmann 2008
ssolve-ut Rainer Feldmann 2006
ssolveB Rainer Feldmann 2008
ssolveC Rainer Feldmann 2008
struqs-10 Luca Pulina 2010 2016
WalkQSAT Rowley 2004 2005 2006
xb-bid-qsts Shahab Tasharrofi 2016
xb-qsts Shahab Tasharrofi 2016
yQuaffle Yinlei Yu 2004 2005 2006 2007