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



Solver Time Result
areqs0SAT
qestos0SAT
rareqs0SAT
cadet0.01SAT
aspQ0.01SAT
qsts0.01SAT
hiqqer1ldsq0.02SAT
dynQBF0.02SAT
hiqqer10.04SAT
hiqqer30.04SAT
xb-qsts0.04SAT
xb-bid-qsts0.04SAT
iprover-QBF-bloqqer0.06SAT
depqbf-v20.08SAT
ghostq-plain0.09SAT
ghostq-cegar0.09SAT
depqbf-v30.2SAT
depqbf-v10.81SAT
squeezebf+struqs4.62SAT
struqs-104.67SAT
iprover-QBF294.44FAIL