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



Solver Time Result
qsts0.03UNSAT
rareqs0.12UNSAT
aspQ0.32UNSAT
areqs0.53UNSAT
xb-qsts0.55UNSAT
hiqqer1ldsq3.61UNSAT
hiqqer13.66UNSAT
hiqqer33.96UNSAT
depqbf-v17.41UNSAT
xb-bid-qsts33.75SAT
depqbf-v237.32UNSAT
depqbf-v350.51UNSAT
qestos305.27UNSAT
iprover-QBF599.12FAIL
iprover-QBF-bloqqer599.22FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
cadet599.71FAIL
dynQBF599.81FAIL
ghostq-cegar599.81FAIL
ghostq-plain600.01FAIL