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



Solver Time Result
cadet0.11UNSAT
depqbf-v10.31UNSAT
depqbf-v24.01UNSAT
aspQ60.79FAIL
rareqs70.32UNSAT
iprover-QBF-bloqqer564.13FAIL
iprover-QBF599.22FAIL
struqs-10599.62FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
ghostq-cegar599.71FAIL
depqbf-v3599.71FAIL
xb-qsts599.71FAIL
qestos599.72FAIL
dynQBF599.81FAIL
areqs599.81FAIL
ghostq-plain599.82FAIL