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



Solver Time Result
rareqs2.96SAT
qsts3.84SAT
hiqqer14.6SAT
hiqqer1ldsq4.65SAT
xb-qsts5.9SAT
xb-bid-qsts6.07SAT
hiqqer39.1SAT
aspQ20.87SAT
depqbf-v230.52SAT
qestos192.97SAT
iprover-QBF-bloqqer316.13FAIL
iprover-QBF333.15FAIL
areqs457.23SAT
depqbf-v1593.22FAIL
ghostq-cegar599.71FAIL
depqbf-v3599.71FAIL
cadet599.71FAIL
struqs-10599.71FAIL
ghostq-plain599.81FAIL
dynQBF599.81FAIL
squeezebf+struqs599.81FAIL