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



Solver Time Result
qesto0.07SAT
rareqs0.07SAT
caqe_2017_v20.07SAT
rev_qfun0.10.07SAT
ASPQ20.08SAT
caqe_2017_v10.08SAT
ijtihad_v20.08SAT
ijtihad_v10.08SAT
heretiq0.08SAT
caqe_2017_v30.09SAT
CADET_20170.11SAT
DynQBF-bloqqer-variant1.26SAT
dynQBF-bloqqer-hqspre1.26SAT
DynQBF-bloqqer-hqspre-it1.27SAT
xb-qsts_xbqsts2.01.27SAT
xb-qsts_xbqsts1.01.27SAT
xb-qsts_bqsts2.01.27SAT
iProver-qbf-bloqqer-2017-07-27-v31.28SAT
qbfrelay1.53SAT
GhostQ-PG_cegar2.88SAT
GhostQ-PG_plain3.4SAT
qbfrelay-limited-depqbf75.64SAT
no-prefix-opt-depqbf900FAIL
CUED1919_NNL900FAIL
iProver-qbf-2017-07-27-v3900FAIL
ghostq-cegar900FAIL
CUED1919_NL900FAIL
QELL_default900FAIL
QELL_unit900FAIL