Results for instance cube_c11_par---13_
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
QELL_default0.6UNSAT
QELL_unit0.7UNSAT
ijtihad_v13.19UNSAT
heretiq3.22UNSAT
ijtihad_v23.23UNSAT
rareqs3.34UNSAT
caqe_2017_v15.61UNSAT
Qute_opt50011.39UNSAT
Qute_default11.39UNSAT
Qute_random11.42UNSAT
HQSpre_solver12.85UNSAT
rev_qfun0.114.44UNSAT
ghostq-cegar15.26UNSAT
GhostQ-PG_cegar16.66UNSAT
xb-qsts_xbqsts2.037.02UNSAT
xb-qsts_bqsts2.037.21UNSAT
xb-qsts_xbqsts1.037.59UNSAT
dynQBF-bloqqer-hqspre76.02UNSAT
qbfrelay197.39UNSAT
CUED1919_NL437.04FAIL
AIGSolve828.75UNSAT
qbfrelay-limited-depqbf891.8FAIL
qesto900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NNL900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
prefix-opt-depqbf900FAIL
iProver-qbf-2017-07-27-v3900FAIL