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



Solver Time Result
CADET_20170.1UNSAT
caqe_2017_v20.22UNSAT
caqe_2017_v30.22UNSAT
ijtihad_v10.44UNSAT
heretiq0.44UNSAT
ijtihad_v20.44UNSAT
no-prefix-opt-depqbf0.65UNSAT
qbfrelay-limited-depqbf0.81UNSAT
GhostQ-PG_plain0.85UNSAT
GhostQ-PG_cegar0.86UNSAT
ghostq-cegar0.95UNSAT
rev_qfun0.11.4UNSAT
qbfrelay3.94UNSAT
qesto11.69UNSAT
DynQBF-bloqqer-variant26.81UNSAT
rareqs46.9UNSAT
ASPQ268.8UNSAT
dynQBF-bloqqer-hqspre122.67UNSAT
QELL_unit141.34UNSAT
QELL_default142.08UNSAT
DynQBF-bloqqer-hqspre-it175.68UNSAT
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
CUED1919_NNL900FAIL
CUED1919_NL900FAIL
caqe_2017_v1900FAIL