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



Solver Time Result
CADET_20171.06UNSAT
GhostQ-PG_cegar1.87UNSAT
GhostQ-PG_plain6.68UNSAT
caqe_2017_v230.79UNSAT
caqe_2017_v330.83UNSAT
qbfrelay83.48FAIL
ijtihad_v286.09UNSAT
ijtihad_v192.59UNSAT
heretiq182.62UNSAT
DynQBF-bloqqer-hqspre-it184.87UNSAT
DynQBF-bloqqer-variant282.97UNSAT
ASPQ2700.72FAIL
dynQBF-bloqqer-hqspre709.64UNSAT
qbfrelay-limited-depqbf890.03FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
qesto900FAIL
no-prefix-opt-depqbf900FAIL
xb-qsts_bqsts2.0900FAIL
rev_qfun0.1900FAIL
QELL_unit900FAIL
QELL_default900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
CUED1919_NNL900FAIL
CUED1919_NL900FAIL
ghostq-cegar900FAIL
rareqs900FAIL
caqe_2017_v1900FAIL