Results for instance W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Qute_opt5007.19SAT
Qute_default7.33SAT
Qute_random7.33SAT
Caqe-bloqqer-qdo8.9UNSAT
Caqe-hqspre41.4SAT
depqbf_prefix_opt_qdo86.89SAT
Caqe-bloqqer415.27SAT
predyndep435.71SAT
Heretiq-cube495.52SAT
Heretiq-simple527.15SAT
depqbf_pre_QxQBH705.81SAT
Cued_2_2018900.01FAIL
Rareqs_2018900.02FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.03FAIL
Cued_3_2018900.03FAIL
GhostQ-PG_cegar900.03FAIL
GhostQ-PG_plain900.07FAIL
ijtihad900.09FAIL
Iprover-HQSpre-Bloqqer900.09FAIL