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



Solver Time Result
qsts0.06UNSAT
rareqs0.23UNSAT
aspQ0.49UNSAT
xb-qsts0.5UNSAT
hiqqer1ldsq0.79UNSAT
hiqqer10.81UNSAT
areqs1.04UNSAT
hiqqer31.14UNSAT
depqbf-v14.11UNSAT
depqbf-v212.61UNSAT
xb-bid-qsts27.17SAT
depqbf-v348.39UNSAT
qestos250.02UNSAT
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.23FAIL
squeezebf+struqs599.71FAIL
ghostq-cegar599.81FAIL
cadet599.81FAIL
struqs-10599.81FAIL
dynQBF599.82FAIL
ghostq-plain599.91FAIL