Results for instance stmt27_296_297
QBFEVAL'16 - 2QBF Track.



Solver Time Result
areqs0.01SAT
aspQ0.01SAT
qestos0.01SAT
rareqs0.01SAT
cadet0.02SAT
hiqqer1ldsq0.03SAT
hiqqer10.04SAT
hiqqer30.04SAT
dynQBF0.07SAT
depqbf-v20.09SAT
xb-bid-qsts0.11SAT
xb-qsts0.11SAT
depqbf-v30.14SAT
iprover-QBF-bloqqer0.14SAT
ghostq-cegar0.18SAT
ghostq-plain4.86SAT
iprover-QBF203.94FAIL
depqbf-v1593.82FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL