Results for instance klieber2017q-086-21-eq
QBFEVAL'18 - Prenex CNF Track



Solver Time Result
GhostQ-PG_cegar97.68SAT
PortfolioDepQBFGhostQRaReQSQute___pf137.88SAT
Qute_opt500900FAIL
ijtihad900.01FAIL
Caqe-bloqqer-qdo900.01FAIL
Heretiq-cube900.01FAIL
Qute_default900.01FAIL
predyndep900.02FAIL
Heretiq-simple900.02FAIL
Iprover-HQSpre-Bloqqer900.02FAIL
depqbf_pre_QxQBH900.03FAIL
Rareqs_2018900.03FAIL
Caqe-bloqqer900.04FAIL
GhostQ-PG_plain900.04FAIL
depqbf_prefix_opt_qdo900.06FAIL
Cued_2_2018900.06FAIL
Caqe-hqspre900.06FAIL
Qute_random900.06FAIL
Cued_3_2018900.09FAIL