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



Solver Time Result
CADET_20170.12UNSAT
caqe_2017_v20.25UNSAT
caqe_2017_v30.25UNSAT
GhostQ-PG_plain1.08UNSAT
GhostQ-PG_cegar1.1UNSAT
ijtihad_v21.14UNSAT
ijtihad_v11.28UNSAT
heretiq1.29UNSAT
rev_qfun0.12.62UNSAT
qbfrelay4.5UNSAT
ghostq-cegar5.34UNSAT
qbfrelay-limited-depqbf77.43UNSAT
dynQBF-bloqqer-hqspre87.39UNSAT
DynQBF-bloqqer-hqspre-it113.61UNSAT
DynQBF-bloqqer-variant157.67UNSAT
no-prefix-opt-depqbf375.9UNSAT
QELL_unit451.51UNSAT
QELL_default455.46UNSAT
ASPQ2700.84FAIL
qesto900FAIL
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
rareqs900FAIL
caqe_2017_v1900FAIL