Results for instance ken.flash^08.C-d4
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
Heretiq-cube373.06FAIL
depqbf_pre_QxQBH427.04UNSAT
Qute_default900FAIL
Cued_3_2018900.01FAIL
GhostQ-PG_plain900.01FAIL
Heretiq-simple900.01FAIL
depqbf_prefix_opt_qdo900.01FAIL
Cued_2_2018900.01FAIL
Rareqs_2018900.03FAIL
Caqe-bloqqer-qdo900.03FAIL
predyndep900.04FAIL
Qute_opt500900.04FAIL
Caqe-bloqqer900.05FAIL
ijtihad900.06FAIL
Iprover-HQSpre-Bloqqer900.07FAIL
GhostQ-PG_cegar900.07FAIL
Qute_random900.07FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.08FAIL
Caqe-hqspre900.08FAIL