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



Solver Time Result
cadet0.03UNSAT
areqs0.09UNSAT
aspQ0.09UNSAT
qestos0.09UNSAT
rareqs0.09UNSAT
depqbf-v10.11UNSAT
depqbf-v30.16UNSAT
ghostq-plain0.26UNSAT
ghostq-cegar0.28UNSAT
xb-bid-qsts0.55UNSAT
xb-qsts0.61UNSAT
iprover-QBF-bloqqer0.62FAIL
depqbf-v20.71UNSAT
struqs-100.81UNSAT
squeezebf+struqs0.83UNSAT
qsts340.72UNSAT
iprover-QBF599.22FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.81FAIL
dynQBF599.81FAIL