Results for instance ev-pr-6x6-7-5-0-1-2-s
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
prefix-opt-depqbf140.02UNSAT
qbfrelay-limited-depqbf341.93UNSAT
caqe_2017_v1686.6FAIL
caqe_2017_v3699.87FAIL
CUED1919_NL736.69FAIL
qbfrelay862.44FAIL
Qute_default896.71FAIL
QELL_default900FAIL
QELL_unit900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
rev_qfun0.1900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
AIGSolve900FAIL