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
aspq2v3 Francesco Ricca 2018
aspq3alt Francesco Ricca 2018
aspq3_hit18 Francesco Ricca 2018
ASPQ_2018 Francesco Ricca 2018
cadet Markus N. Rabe 2016
CADET_2017 Markus N. Rabe 2017 2018
Caqe-bloqqer Leander Tentrup 2018
Caqe-bloqqer-qdo Leander Tentrup 2018 2019 2020
Caqe-hqspre Leander Tentrup 2018 2019 2020
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-pre Leander Tentrup 2019 2020
caqe_2017_v1 Leander Tentrup 2017
caqe_2017_v2 Leander Tentrup 2017
caqe_2017_v3 Leander Tentrup 2017
caqe_hit18 Leander Tentrup 2018
cheq Luca Pulina 2016
CirQit2.1 Alexandra Goultiaeva 2010
CLearn Rowley 2004
CMS_Solver Soonho Kong 2008
cqesto Mikolas Janota 2017
Cqesto_2018 Mikolas Janota 2018 2020
CSBJ Gent 2004
CUED1919_NL Li-Cheng Chen 2017
CUED1919_NNL Li-Cheng Chen 2017
Cued_2_2018 Li-Cheng Chen 2018
Cued_3_2018 Li-Cheng Chen 2018
dCaqe Leander Tentrup 2018 2019
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
depqbf_hit18 Florian Lonsing 2018
depqbf_prefix_opt_qdo Florian Lonsing 2018 2019 2020
depqbf_pre_QxQBH Florian Lonsing 2018 2019 2020
dqbdd Juraj Sic 2020
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 2018
GhostQ-PG_plain William Klieber 2017 2018
ghostq-pg___cegar_pcnf_2018 William Klieber
ghostq-pg___plain_pcnf_2018 William Klieber
ghostq-plain William Klieber 2016 2017
GhostQ_PG___cegar_qcir_2018 William Klieber 2018
GhostQ_PG___plain_qcir_2018 William Klieber 2018
GhostQ___cegar_pcnf_2019 William Klieber 2019 2020
GhostQ___cegar_qcir_2019 William Klieber 2019 2020
GhostQ___plain_pcnf_2019 William Klieber 2019 2020
GhostQ___plain_qcir_2019 William Klieber 2019 2020
GRL Gent 2004 2005 2006
heretiq Vedad Hadzic 2017
Heretiq-cube Vedad Hadzic 2018
Heretiq-simple Vedad Hadzic 2018
hiqqer1 Allen Van Gelder 2016
hiqqer1ldsq Allen Van Gelder 2016
Hiqqer2019_1 Allen Van Gelder 2019
Hiqqer2019_2 Allen Van Gelder 2019
Hiqqer2019_3 Allen Van Gelder 2019
hiqqer3 Allen Van Gelder 2016
hiqqerfork Allen Van Gelder 2016
hordeqbf Florian Lonsing 2016
hqs Ralf Wimmer 2018 2019 2020
hqs+ql Ralf Wimmer 2019
hqs+ql+fs Ralf Wimmer 2019
HQSpre_solver Ralf Wimmer 2017
idq G. Kovasznai 2018
ijtihad Vedad Hadzic 2018
ijtihad_v1 Vedad Hadzic 2017
ijtihad_v2 Vedad Hadzic 2017
Iprover-HQSpre-Bloqqer Konstantin Korovin 2018
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
iprover_bloqqer_schedule Konstantin Korovin 2020
iprover_bloqqer_single Konstantin Korovin
iprover_dqbf18 Konstantin Korovin 2018
iprover_hqspre Konstantin Korovin 2018 2019
iprover_hqspre_schedule Konstantin Korovin 2020
iprover_hqspre_single Konstantin Korovin 2020
mpiDepQBF Florian Lonsing 2016
nanoqbf_bloqqer Vedad Hadzic 2020
nanoqbf_hqspre Vedad Hadzic 2020
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
PortfolioDepQBFGhostQRaReQSQute___pf Tomas Peitl 2018
PortfolioGhostQQfunQuAbSQute___pf2 Tomas Peitl 2018 2019
PortfolioGhostQQfunQuAbSQute___pf3 Tomas Peitl 2018 2019
PortfolioGhostQQfunQuAbSQute___pfs Tomas Peitl 2018 2019
pQBF Igor Stéphan 2007 2008
predyndep Gunther Charwat 2018
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
QFUN Mikolas Janota 2018 2020
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
Quabs_2018 Leander Tentrup 2018 2019 2020
QuAbS_2019 Leander Tentrup
quabs___caqe-bloqqer Leander Tentrup 2018
quabs___caqe-hqspre Leander Tentrup 2018 2019 2020
QuAbS___caqe-hqspre_2019 Leander Tentrup
QuAbS___quabs-caqe_2019 Leander Tentrup 2019 2020
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 2018 2019 2020
Qute_hybrid Tomas Peitl 2017 2018
Qute_opt500 Tomas Peitl 2017 2018 2019 2020
Qute_opt617 Tomas Peitl 2017 2018
Qute_opt993 Tomas Peitl 2017 2018
Qute_random Tomas Peitl 2017 2018
Qute_rrs Tomas Peitl 2019 2020
qZilla Horst Samulowitz 2007
rareqs Mikolas Janota 2016 2017
rareqs-nn Mikolas Janota 2016
Rareqs_2018 Mikolas Janota 2018 2020
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