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 2017
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
ASPQ2 Francesco Ricca 2017
cadet Markus N. Rabe 2016
CADET_2017 Markus N. Rabe 2017
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
caqe_2017_v1 Leander Tentrup 2017
caqe_2017_v2 Leander Tentrup 2017
caqe_2017_v3 Leander Tentrup 2017
cheq Luca Pulina 2016
CirQit2.1 Alexandra Goultiaeva 2010
CLearn Rowley 2004
CMS_Solver Soonho Kong 2008
cqesto Mikolas Janota 2017
CSBJ Gent 2004
CUED1919_NL Li-Cheng Chen 2017
CUED1919_NNL Li-Cheng Chen 2017
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
dynQBF-bloqqer-hqspre Gunther Charwat 2017
DynQBF-bloqqer-hqspre-it Gunther Charwat 2017
DynQBF-bloqqer-variant Gunther Charwat 2017
EBDDRES Armin Biere 2007
ghostq-cegar William Klieber 2016 2017
GhostQ-PG_cegar William Klieber 2017
GhostQ-PG_plain William Klieber 2017
ghostq-plain William Klieber 2016 2017
GRL Gent 2004 2005 2006
heretiq Vedad Hadzic 2017
hiqqer1 Allen Van Gelder 2016
hiqqer1ldsq Allen Van Gelder 2016
hiqqer3 Allen Van Gelder 2016
hiqqerfork Allen Van Gelder 2016
hordeqbf Florian Lonsing 2016
HQSpre_solver Ralf Wimmer 2017
ijtihad_v1 Vedad Hadzic 2017
ijtihad_v2 Vedad Hadzic 2017
iprover-QBF Konstantin Korovin 2016
iProver-qbf-2017-07-27-v3 Konstantin Korovin 2017
iprover-QBF-bloqqer Konstantin Korovin 2016
iProver-qbf-bloqqer-2017-07-27-v3 Konstantin Korovin 2017
mpiDepQBF Florian Lonsing 2016
ncQuBE1.0 Massimo Narizzano 2007
ncQuBE1.1 Massimo Narizzano 2007
Nenofex Florian Lonsing 2008
nenofex-qbfeval10 Florian Lonsing 2010
no-prefix-opt-depqbf Florian Lonsing 2017
openQbf Daniel Le Berre 2004 2005 2006
orSAT Roussell 2004
par-pd-depqbf Florian Lonsing 2016
pQBF Igor Stéphan 2007 2008
prefix-opt-depqbf Florian Lonsing 2017
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
qbfrelay Florian Lonsing 2017
qbfrelay-limited-depqbf Florian Lonsing 2017
QChaffLearn Rowley 2005
QELL_default Kuan-Hua Tu 2017
QELL_unit Kuan-Hua Tu 2017
qesto Mikolas Janota 2016 2017
qestos Mikolas Janota 2016
qfun0.1 Mikolas Janota 2017
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
QuAbS_2017 Leander Tentrup 2017
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
Qute_default Tomas Peitl 2017
Qute_hybrid Tomas Peitl 2017
Qute_opt500 Tomas Peitl 2017
Qute_opt617 Tomas Peitl 2017
Qute_opt993 Tomas Peitl 2017
Qute_random Tomas Peitl 2017
qZilla Horst Samulowitz 2007
rareqs Mikolas Janota 2016 2017
rareqs-nn Mikolas Janota 2016
rev_qfun0.1 Mikolas Janota 2017
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
xb-qsts_bqsts2.0 Shahab Tasharrofi 2017
xb-qsts_xbqsts1.0 Shahab Tasharrofi 2017
xb-qsts_xbqsts2.0 Shahab Tasharrofi 2017
yQuaffle Yinlei Yu 2004 2005 2006 2007