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



Solver Time Result
caqe_2017_v10.01SAT
rareqs0.01SAT
rev_qfun0.10.01SAT
no-prefix-opt-depqbf0.02SAT
ASPQ20.02SAT
qesto0.02SAT
ijtihad_v20.02SAT
ijtihad_v10.02SAT
heretiq0.02SAT
QELL_default0.03SAT
QELL_unit0.04SAT
caqe_2017_v20.07SAT
caqe_2017_v30.08SAT
xb-qsts_xbqsts1.00.18SAT
xb-qsts_xbqsts2.00.18SAT
DynQBF-bloqqer-hqspre-it0.18SAT
DynQBF-bloqqer-variant0.18SAT
dynQBF-bloqqer-hqspre0.19SAT
xb-qsts_bqsts2.00.19SAT
qbfrelay-limited-depqbf0.2SAT
iProver-qbf-bloqqer-2017-07-27-v30.21SAT
qbfrelay0.32SAT
CUED1919_NNL0.35SAT
CUED1919_NL1.4SAT
iProver-qbf-2017-07-27-v39.43SAT
CADET_2017900FAIL
GhostQ-PG_cegar900FAIL
ghostq-cegar900FAIL
GhostQ-PG_plain900FAIL