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



Solver Time Result
struqs-100SAT
qsts0UNSAT
xb-qsts0SAT
depqbf-v30SAT
cadet0SAT
rareqs0SAT
qestos0SAT
aspQ0SAT
areqs0SAT
xb-bid-qsts0.01SAT
squeezebf+struqs0.01SAT
dynQBF0.01SAT
hiqqer1ldsq0.02SAT
depqbf-v10.02SAT
hiqqer10.03SAT
hiqqer30.03SAT
depqbf-v20.03SAT
iprover-QBF-bloqqer0.04SAT
iprover-QBF0.05SAT
ghostq-plain0.06SAT
ghostq-cegar0.06SAT