Results for instance stmt19_66_214
QBFEVAL'17 - Prenex 2QBF Track



Solver Time Result
CADET_20170.06UNSAT
caqe_2017_v20.2UNSAT
caqe_2017_v30.21UNSAT
caqe_2017_v10.26UNSAT
ijtihad_v10.26UNSAT
ijtihad_v20.26UNSAT
heretiq0.26UNSAT
qesto0.27UNSAT
ASPQ20.27UNSAT
rev_qfun0.10.27UNSAT
rareqs0.27UNSAT
GhostQ-PG_plain0.6UNSAT
GhostQ-PG_cegar0.63UNSAT
qbfrelay6.57UNSAT
no-prefix-opt-depqbf27.9UNSAT
qbfrelay-limited-depqbf28.15UNSAT
DynQBF-bloqqer-variant35.61UNSAT
dynQBF-bloqqer-hqspre57.69UNSAT
DynQBF-bloqqer-hqspre-it60.15UNSAT
ghostq-cegar881.21UNSAT
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
CUED1919_NL900FAIL
QELL_unit900FAIL
QELL_default900FAIL
CUED1919_NNL900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL