Results for instance sortnetsort8.AE.stepl.006
QBFEVAL'17 - Prenex 2QBF Track



Solver Time Result
rareqs3.24UNSAT
xb-qsts_bqsts2.04.93UNSAT
ASPQ25.48UNSAT
caqe_2017_v16.96UNSAT
qesto7.98UNSAT
xb-qsts_xbqsts1.08.86UNSAT
xb-qsts_xbqsts2.08.99UNSAT
caqe_2017_v224.72UNSAT
caqe_2017_v324.73UNSAT
QELL_default26.42UNSAT
heretiq38.97UNSAT
CUED1919_NNL60.68UNSAT
CADET_201789.94UNSAT
rev_qfun0.1104.37UNSAT
CUED1919_NL116.33UNSAT
ijtihad_v2129.27UNSAT
qbfrelay-limited-depqbf137.93UNSAT
qbfrelay191.08FAIL
QELL_unit212.52UNSAT
ijtihad_v1336.23UNSAT
no-prefix-opt-depqbf426.13UNSAT
DynQBF-bloqqer-variant900FAIL
DynQBF-bloqqer-hqspre-it900FAIL
dynQBF-bloqqer-hqspre900FAIL
ghostq-cegar900FAIL
GhostQ-PG_cegar900FAIL
GhostQ-PG_plain900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL