Results for instance sortnetsort6.AE.stepl.003
QBFEVAL'16 - 2QBF Track.



Solver Time Result
qsts0.13SAT
depqbf-v10.81SAT
areqs3.93SAT
hiqqer1ldsq4SAT
hiqqer14SAT
aspQ5.63SAT
depqbf-v35.97SAT
hiqqer36.5SAT
rareqs10.64SAT
depqbf-v212.02SAT
xb-qsts40.56SAT
xb-bid-qsts45.57SAT
qestos62.39SAT
ghostq-cegar78.33SAT
ghostq-plain490.68SAT
iprover-QBF528.83FAIL
iprover-QBF-bloqqer599.23FAIL
dynQBF599.71FAIL
squeezebf+struqs599.71FAIL
cadet599.71FAIL
struqs-10599.71FAIL