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



Solver Time Result
cadet0.11UNSAT
ghostq-cegar1.79UNSAT
ghostq-plain2.02UNSAT
depqbf-v14.32UNSAT
areqs5.46UNSAT
depqbf-v26.91UNSAT
aspQ60.72FAIL
rareqs127.77UNSAT
iprover-QBF-bloqqer306.04FAIL
iprover-QBF599.22FAIL
xb-bid-qsts599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer3599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
depqbf-v3599.71FAIL
xb-qsts599.71FAIL
qestos599.81FAIL
qsts599.82FAIL
hiqqer1ldsq599.91FAIL