Results for instance klieber2017q-080-20-eq
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
GhostQ-PG_cegar84.5SAT
PortfolioDepQBFGhostQRaReQSQute___pf133.27SAT
depqbf_prefix_opt_qdo680.69SAT
Caqe-hqspre900FAIL
Caqe-bloqqer-qdo900.01FAIL
Cued_2_2018900.01FAIL
predyndep900.03FAIL
Iprover-HQSpre-Bloqqer900.03FAIL
Cued_3_2018900.03FAIL
Rareqs_2018900.03FAIL
ijtihad900.05FAIL
Heretiq-cube900.05FAIL
Qute_random900.06FAIL
Heretiq-simple900.06FAIL
depqbf_pre_QxQBH900.06FAIL
Qute_opt500900.06FAIL
Qute_default900.06FAIL
Caqe-bloqqer900.09FAIL
GhostQ-PG_plain900.11FAIL