Results for instance sortnetsort7.AE.stepl.009
QBFEVAL'16 - 2QBF Track.



Solver Time Result
aspQ1.57FAIL
rareqs1.62UNSAT
hiqqer1ldsq4.01UNSAT
hiqqer14.03UNSAT
areqs6.02UNSAT
xb-qsts6.97UNSAT
xb-bid-qsts7.26UNSAT
qsts7.87UNSAT
hiqqer39.53UNSAT
qestos34.3UNSAT
iprover-QBF-bloqqer369.24FAIL
depqbf-v2418.51UNSAT
iprover-QBF478.74FAIL
depqbf-v1592.85FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
cadet599.71FAIL
ghostq-plain599.81FAIL
depqbf-v3599.81FAIL
ghostq-cegar599.81FAIL