Results for instance sortnetsort8.AE.stepl.005
QBFEVAL'16 - 2QBF Track.



Solver Time Result
rareqs6.29SAT
xb-qsts6.51SAT
xb-bid-qsts7.37SAT
hiqqer1ldsq16.54SAT
hiqqer116.63SAT
hiqqer318.18SAT
qsts38.59SAT
aspQ40.53SAT
depqbf-v2102.61SAT
areqs145.81SAT
qestos205.07SAT
iprover-QBF-bloqqer266.44FAIL
iprover-QBF294.64FAIL
depqbf-v1593.12FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
cadet599.71FAIL
ghostq-plain599.81FAIL
depqbf-v3599.81FAIL
ghostq-cegar599.81FAIL