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



Solver Time Result
Qute_opt500221.39SAT
Qute_random222.4SAT
Caqe-bloqqer242.1SAT
Caqe-hqspre611.15SAT
Caqe-bloqqer-qdo900FAIL
depqbf_prefix_opt_qdo900.01FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.01FAIL
Cued_2_2018900.01FAIL
GhostQ-PG_cegar900.02FAIL
ijtihad900.02FAIL
predyndep900.04FAIL
Qute_default900.05FAIL
depqbf_pre_QxQBH900.05FAIL
Heretiq-simple900.08FAIL
Heretiq-cube900.08FAIL
Rareqs_2018900.08FAIL
GhostQ-PG_plain900.09FAIL
Cued_3_2018900.09FAIL
Iprover-HQSpre-Bloqqer900.1FAIL