Results for instance sortnetsort10.AE.stepl.006
QBFEVAL'16 - 2QBF Track.



Solver Time Result
aspQ2.57FAIL
qestos333.92FAIL
depqbf-v1592.85FAIL
depqbf-v2592.95FAIL
iprover-QBF-bloqqer599.13FAIL
iprover-QBF599.22FAIL
cadet599.71FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.71FAIL
dynQBF599.71FAIL
areqs599.71FAIL
rareqs599.71FAIL
xb-qsts599.71FAIL
depqbf-v3599.72FAIL
qsts599.81FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
struqs-10599.81FAIL
ghostq-plain599.91FAIL