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



Solver Time Result
no-prefix-opt-depqbf0.02SAT
qesto0.03SAT
ASPQ20.03SAT
rev_qfun0.10.03SAT
caqe_2017_v10.03SAT
ijtihad_v20.03SAT
ijtihad_v10.03SAT
heretiq0.03SAT
rareqs0.03SAT
xb-qsts_bqsts2.00.21SAT
dynQBF-bloqqer-hqspre0.21SAT
xb-qsts_xbqsts1.00.21SAT
xb-qsts_xbqsts2.00.21SAT
DynQBF-bloqqer-variant0.22SAT
DynQBF-bloqqer-hqspre-it0.22SAT
iProver-qbf-bloqqer-2017-07-27-v30.23SAT
qbfrelay-limited-depqbf0.25SAT
qbfrelay0.29SAT
CADET_2017900FAIL
ghostq-cegar900FAIL
caqe_2017_v2900FAIL
QELL_unit900FAIL
QELL_default900FAIL
caqe_2017_v3900FAIL
iProver-qbf-2017-07-27-v3900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
GhostQ-PG_plain900FAIL
GhostQ-PG_cegar900FAIL