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



Solver Time Result
areqs0.02SAT
qestos0.02SAT
rareqs0.02SAT
aspQ0.03SAT
hiqqer1ldsq0.05SAT
hiqqer10.06SAT
hiqqer30.06SAT
cadet0.09SAT
dynQBF0.15SAT
xb-qsts0.19SAT
xb-bid-qsts0.21SAT
iprover-QBF-bloqqer0.24SAT
ghostq-cegar0.28SAT
depqbf-v20.31SAT
ghostq-plain301.72SAT
iprover-QBF403.94FAIL
depqbf-v1593.72FAIL
depqbf-v3599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
qsts599.81FAIL