Results for instance sortnetsort9.AE.stepl.005
QBFEVAL'17 - Prenex 2QBF Track



Solver Time Result
xb-qsts_bqsts2.08.72SAT
xb-qsts_xbqsts1.013.38SAT
xb-qsts_xbqsts2.013.45SAT
rareqs13.95SAT
caqe_2017_v131.96SAT
ASPQ233.77SAT
caqe_2017_v336.54SAT
caqe_2017_v236.54SAT
CADET_201769.05SAT
qesto75.65SAT
heretiq113.65SAT
qbfrelay150.4FAIL
ijtihad_v2195.02SAT
qbfrelay-limited-depqbf302.22SAT
ijtihad_v1302.31SAT
QELL_default368.34SAT
QELL_unit529.55SAT
CUED1919_NL874.26SAT
DynQBF-bloqqer-variant900FAIL
no-prefix-opt-depqbf900FAIL
DynQBF-bloqqer-hqspre-it900FAIL
ghostq-cegar900FAIL
CUED1919_NNL900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
rev_qfun0.1900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL