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



Solver Time Result
depqbf-v10.08UNSAT
cadet0.09UNSAT
rareqs0.48UNSAT
qestos0.57UNSAT
areqs1.49UNSAT
ghostq-cegar2.01UNSAT
ghostq-plain2.43UNSAT
depqbf-v22.71UNSAT
struqs-1010.12UNSAT
squeezebf+struqs10.19UNSAT
aspQ12.67UNSAT
iprover-QBF323.84FAIL
iprover-QBF-bloqqer599.23FAIL
dynQBF599.71FAIL
hiqqer3599.71FAIL
depqbf-v3599.71FAIL
xb-qsts599.71FAIL
qsts599.72FAIL
xb-bid-qsts599.72FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL