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



Solver Time Result
CADET_20170.08UNSAT
caqe_2017_v10.57UNSAT
heretiq0.57UNSAT
ASPQ20.58UNSAT
ijtihad_v20.58UNSAT
ijtihad_v10.58UNSAT
rev_qfun0.10.59UNSAT
qesto0.59UNSAT
rareqs0.59UNSAT
xb-qsts_bqsts2.01.11UNSAT
DynQBF-bloqqer-hqspre-it1.12UNSAT
xb-qsts_xbqsts2.01.12UNSAT
xb-qsts_xbqsts1.01.13UNSAT
dynQBF-bloqqer-hqspre1.14UNSAT
DynQBF-bloqqer-variant1.16UNSAT
iProver-qbf-bloqqer-2017-07-27-v31.16UNSAT
qbfrelay1.3UNSAT
GhostQ-PG_plain1.39UNSAT
GhostQ-PG_cegar1.42UNSAT
caqe_2017_v34.7UNSAT
caqe_2017_v24.72UNSAT
qbfrelay-limited-depqbf75.69UNSAT
no-prefix-opt-depqbf900FAIL
CUED1919_NNL900FAIL
CUED1919_NL900FAIL
iProver-qbf-2017-07-27-v3900FAIL
ghostq-cegar900FAIL
QELL_default900FAIL
QELL_unit900FAIL