Results for instance W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Caqe-bloqqer-qdo15.76UNSAT
Qute_random30.24SAT
Qute_default30.48SAT
Qute_opt50030.6SAT
Caqe-hqspre88.41SAT
depqbf_prefix_opt_qdo103.71SAT
Caqe-bloqqer350.03SAT
Heretiq-cube655.23SAT
Heretiq-simple891.59SAT
depqbf_pre_QxQBH900.01FAIL
Cued_2_2018900.02FAIL
ijtihad900.02FAIL
Iprover-HQSpre-Bloqqer900.02FAIL
GhostQ-PG_cegar900.02FAIL
Cued_3_2018900.03FAIL
Rareqs_2018900.04FAIL
GhostQ-PG_plain900.06FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.07FAIL
predyndep900.07FAIL