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



Solver Time Result
xb-qsts_bqsts2.02.95SAT
rareqs2.97SAT
CADET_20173.94SAT
caqe_2017_v14.14SAT
xb-qsts_xbqsts2.06.05SAT
xb-qsts_xbqsts1.06.08SAT
ASPQ26.71SAT
caqe_2017_v310.02SAT
caqe_2017_v210.17SAT
CUED1919_NNL10.25SAT
CUED1919_NL11.24SAT
qesto12.21SAT
ijtihad_v224.37SAT
heretiq26.81SAT
ijtihad_v126.95SAT
rev_qfun0.134.42SAT
qbfrelay100.33FAIL
qbfrelay-limited-depqbf103.39SAT
QELL_default397.92SAT
QELL_unit411.2SAT
no-prefix-opt-depqbf900FAIL
DynQBF-bloqqer-variant900FAIL
DynQBF-bloqqer-hqspre-it900FAIL
ghostq-cegar900FAIL
dynQBF-bloqqer-hqspre900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL