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



Solver Time Result
cadet0.04UNSAT
depqbf-v10.11UNSAT
depqbf-v30.28UNSAT
depqbf-v21.41UNSAT
struqs-101.96UNSAT
squeezebf+struqs1.98UNSAT
aspQ4.6UNSAT
rareqs5.28UNSAT
xb-qsts7.7UNSAT
xb-bid-qsts29.78SAT
ghostq-plain68.91UNSAT
qestos93.29UNSAT
ghostq-cegar407.51UNSAT
iprover-QBF-bloqqer599.12FAIL
iprover-QBF599.22FAIL
hiqqer3599.71FAIL
qsts599.71FAIL
areqs599.71FAIL
hiqqer1599.71FAIL
dynQBF599.71FAIL
hiqqer1ldsq599.81FAIL