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



Solver Time Result
GhostQ-PG_cegar5.99SAT
PortfolioDepQBFGhostQRaReQSQute___pf48.26SAT
ijtihad900FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
Heretiq-simple900.01FAIL
depqbf_pre_QxQBH900.01FAIL
Cued_3_2018900.01FAIL
Caqe-hqspre900.02FAIL
predyndep900.02FAIL
GhostQ-PG_plain900.02FAIL
Rareqs_2018900.02FAIL
depqbf_prefix_opt_qdo900.02FAIL
Cued_2_2018900.04FAIL
Qute_random900.04FAIL
Heretiq-cube900.05FAIL
Qute_default900.05FAIL
Caqe-bloqqer-qdo900.06FAIL
Caqe-bloqqer900.09FAIL
Qute_opt500900.09FAIL