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



Solver Time Result
caqe_2017_v20.04SAT
caqe_2017_v30.05SAT
CADET_20170.07SAT
qesto0.26SAT
rev_qfun0.10.26SAT
caqe_2017_v10.26SAT
ijtihad_v20.26SAT
ijtihad_v10.26SAT
heretiq0.26SAT
rareqs0.26SAT
ASPQ20.28SAT
xb-qsts_xbqsts1.01.22SAT
xb-qsts_xbqsts2.01.22SAT
xb-qsts_bqsts2.01.22SAT
DynQBF-bloqqer-variant1.22SAT
dynQBF-bloqqer-hqspre1.24SAT
iProver-qbf-bloqqer-2017-07-27-v31.25SAT
DynQBF-bloqqer-hqspre-it1.26SAT
qbfrelay1.41SAT
GhostQ-PG_cegar2.11SAT
GhostQ-PG_plain2.34SAT
qbfrelay-limited-depqbf74.77SAT
QELL_unit900FAIL
QELL_default900FAIL
CUED1919_NL900FAIL
iProver-qbf-2017-07-27-v3900FAIL
CUED1919_NNL900FAIL
no-prefix-opt-depqbf900FAIL
ghostq-cegar900FAIL