Results for instance mutex-32-s
QBFEVAL'16 - 2QBF Track.



Solver Time Result
qsts0.03SAT
areqs0.04SAT
qestos0.04SAT
rareqs0.04SAT
aspQ0.06SAT
hiqqer1ldsq0.08SAT
hiqqer30.08SAT
hiqqer10.09SAT
cadet0.09SAT
depqbf-v10.11SAT
struqs-100.2SAT
squeezebf+struqs0.22SAT
iprover-QBF-bloqqer0.77SAT
xb-qsts0.77SAT
xb-bid-qsts0.78SAT
dynQBF1.98SAT
depqbf-v32.48SAT
depqbf-v23.11SAT
iprover-QBF39.84SAT
ghostq-plain599.81FAIL
ghostq-cegar599.81FAIL