QBF Solvers
Solver | Submitter | QBFEVAL |
---|---|---|
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 |