Results for instance sortnetsort9.AE.stepl.012
QBFEVAL'17 - Prenex CNF Track



Solver Time Result
rev_qfun0.122.46UNSAT
GhostQ-PG_cegar26.33UNSAT
xb-qsts_bqsts2.027.49UNSAT
heretiq42.72UNSAT
caqe_2017_v246.38UNSAT
caqe_2017_v346.39UNSAT
GhostQ-PG_plain47.8UNSAT
rareqs54.28UNSAT
xb-qsts_xbqsts1.087.86UNSAT
xb-qsts_xbqsts2.087.89UNSAT
CUED1919_NNL108.53UNSAT
CUED1919_NL115.9UNSAT
caqe_2017_v1156.9UNSAT
Qute_random223.73UNSAT
Qute_opt500226.28UNSAT
qbfrelay-limited-depqbf245.31UNSAT
QELL_unit462.71UNSAT
QELL_default740.46UNSAT
qbfrelay880.7FAIL
Qute_default900FAIL
prefix-opt-depqbf900FAIL
qesto900FAIL
ghostq-cegar900FAIL
dynQBF-bloqqer-hqspre900FAIL
ijtihad_v1900FAIL
ijtihad_v2900FAIL
HQSpre_solver900FAIL
iProver-qbf-2017-07-27-v3900FAIL
iProver-qbf-bloqqer-2017-07-27-v3900FAIL
AIGSolve900FAIL