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



Solver Time Result
cadet0.05UNSAT
areqs0.27UNSAT
qestos0.27UNSAT
rareqs0.27UNSAT
aspQ0.28UNSAT
ghostq-plain1.9UNSAT
depqbf-v22.31UNSAT
depqbf-v126.42UNSAT
xb-bid-qsts37.14SAT
depqbf-v3166.3UNSAT
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.22FAIL
squeezebf+struqs599.71FAIL
qsts599.71FAIL
struqs-10599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
xb-qsts599.71FAIL
dynQBF599.71FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL