Results for instance ev-pr-8x8-11-7-0-1-2-lg
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
prefix-opt-depqbf70.26UNSAT
heretiq350.3UNSAT
qbfrelay-limited-depqbf404.1UNSAT
CUED1919_NL512.54FAIL
QELL_default520.64UNSAT
QELL_unit656.68UNSAT
xb-qsts_bqsts2.0783.76UNSAT
xb-qsts_xbqsts2.0799.74UNSAT
xb-qsts_xbqsts1.0801.18UNSAT
qbfrelay896.94FAIL
AIGSolve900FAIL
Qute_default900FAIL
Qute_opt500900FAIL
Qute_random900FAIL
rev_qfun0.1900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
qesto900FAIL
rareqs900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
caqe_2017_v1900FAIL