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



Solver Time Result
CADET_20174.89SAT
qbfrelay13.19SAT
DynQBF-bloqqer-variant23.52SAT
dynQBF-bloqqer-hqspre24.86SAT
DynQBF-bloqqer-hqspre-it24.95SAT
rev_qfun0.168.57SAT
GhostQ-PG_cegar107.06SAT
ghostq-cegar246.94SAT
CUED1919_NL380.02FAIL
ASPQ2701.13FAIL
qbfrelay-limited-depqbf888.37FAIL
QELL_unit900FAIL
no-prefix-opt-depqbf900FAIL
xb-qsts_bqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_xbqsts2.0900FAIL
qesto900FAIL
QELL_default900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
rareqs900FAIL
caqe_2017_v2900FAIL
caqe_2017_v3900FAIL
CUED1919_NNL900FAIL
GhostQ-PG_plain900FAIL
heretiq900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
iProver-qbf-2017-07-27-v3900FAIL
caqe_2017_v1900FAIL