Results for instance usb-phy-fixpoint-1
QBFEVAL'17 - Prenex 2QBF Track



Solver Time Result
QELL_default0.04UNSAT
CADET_20170.04UNSAT
QELL_unit0.04UNSAT
heretiq0.54UNSAT
rareqs0.54UNSAT
ijtihad_v20.54UNSAT
qesto0.55UNSAT
ijtihad_v10.56UNSAT
xb-qsts_bqsts2.00.57UNSAT
DynQBF-bloqqer-variant0.58UNSAT
xb-qsts_xbqsts2.00.58UNSAT
dynQBF-bloqqer-hqspre0.59UNSAT
DynQBF-bloqqer-hqspre-it0.6UNSAT
iProver-qbf-bloqqer-2017-07-27-v30.61UNSAT
caqe_2017_v10.64UNSAT
xb-qsts_xbqsts1.00.65UNSAT
GhostQ-PG_plain0.7UNSAT
GhostQ-PG_cegar0.73UNSAT
qbfrelay0.79UNSAT
caqe_2017_v20.79UNSAT
caqe_2017_v30.79UNSAT
ASPQ20.83UNSAT
qbfrelay-limited-depqbf72.79UNSAT
no-prefix-opt-depqbf900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
CUED1919_NNL900FAIL
rev_qfun0.1900FAIL
iProver-qbf-2017-07-27-v3900FAIL