Results for instance ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Caqe-bloqqer-qdo133.53SAT
Caqe-bloqqer144.18SAT
Qute_opt500253.6SAT
Qute_random254.07SAT
depqbf_prefix_opt_qdo900.01FAIL
GhostQ-PG_plain900.01FAIL
Caqe-hqspre900.02FAIL
Cued_2_2018900.02FAIL
Cued_3_2018900.02FAIL
Qute_default900.03FAIL
Heretiq-simple900.03FAIL
depqbf_pre_QxQBH900.03FAIL
Rareqs_2018900.04FAIL
Iprover-HQSpre-Bloqqer900.05FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.06FAIL
predyndep900.06FAIL
ijtihad900.08FAIL
GhostQ-PG_cegar900.09FAIL
Heretiq-cube900.11FAIL