Results for instance sortnetsort9.AE.stepl.008
QBFEVAL'16 - 2QBF Track.



Solver Time Result
hiqqer1ldsq13.32UNSAT
hiqqer113.35UNSAT
xb-bid-qsts36.04UNSAT
xb-qsts37.46UNSAT
aspQ62.14FAIL
rareqs120.59UNSAT
qestos350.62FAIL
qsts430.28UNSAT
depqbf-v1592.95FAIL
depqbf-v2593.02FAIL
iprover-QBF-bloqqer598.13FAIL
iprover-QBF599.22FAIL
squeezebf+struqs599.71FAIL
ghostq-cegar599.71FAIL
dynQBF599.71FAIL
depqbf-v3599.71FAIL
cadet599.71FAIL
struqs-10599.71FAIL
ghostq-plain599.81FAIL
hiqqer3599.81FAIL
areqs599.81FAIL