Results for instance klieber2017q-082-20-eq
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
GhostQ-PG_cegar56.76SAT
ijtihad900FAIL
Caqe-hqspre900.01FAIL
Heretiq-cube900.01FAIL
Qute_opt500900.02FAIL
depqbf_prefix_opt_qdo900.02FAIL
predyndep900.02FAIL
Caqe-bloqqer900.03FAIL
Qute_random900.04FAIL
Qute_default900.04FAIL
GhostQ-PG_plain900.04FAIL
depqbf_pre_QxQBH900.04FAIL
Iprover-HQSpre-Bloqqer900.07FAIL
Heretiq-simple900.07FAIL
Cued_3_2018900.07FAIL
Caqe-bloqqer-qdo900.07FAIL
Rareqs_2018900.07FAIL
Cued_2_2018900.09FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.09FAIL