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



Solver Time Result
CADET_20173.06SAT
qbfrelay6.79SAT
DynQBF-bloqqer-hqspre-it7.82SAT
dynQBF-bloqqer-hqspre8.02SAT
DynQBF-bloqqer-variant8.81SAT
rev_qfun0.138.5SAT
ghostq-cegar65.29SAT
GhostQ-PG_cegar70.84SAT
CUED1919_NL348.35FAIL
ASPQ2700.8FAIL
qbfrelay-limited-depqbf889.76FAIL
xb-qsts_xbqsts2.0900FAIL
xb-qsts_xbqsts1.0900FAIL
xb-qsts_bqsts2.0900FAIL
no-prefix-opt-depqbf900FAIL
QELL_unit900FAIL
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