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



Solver Time Result
areqs0.01SAT
qestos0.01SAT
rareqs0.01SAT
aspQ0.02SAT
hiqqer1ldsq0.04SAT
hiqqer10.05SAT
hiqqer30.05SAT
cadet0.06SAT
xb-qsts0.13SAT
xb-bid-qsts0.14SAT
iprover-QBF-bloqqer0.16SAT
dynQBF0.2SAT
depqbf-v20.21SAT
ghostq-cegar0.28SAT
ghostq-plain176.29SAT
iprover-QBF424.44FAIL
depqbf-v1593.42FAIL
depqbf-v3599.71FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL