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



Solver Time Result
cadet0.1UNSAT
depqbf-v10.11UNSAT
rareqs0.45UNSAT
qestos0.58UNSAT
ghostq-cegar2.48UNSAT
ghostq-plain2.66UNSAT
depqbf-v23.81UNSAT
struqs-1037.57UNSAT
squeezebf+struqs37.62UNSAT
aspQ60.68FAIL
xb-qsts289.91UNSAT
iprover-QBF-bloqqer591.54FAIL
iprover-QBF599.22FAIL
qsts599.71FAIL
depqbf-v3599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
dynQBF599.71FAIL
xb-bid-qsts599.72FAIL
areqs599.81FAIL
hiqqer3599.81FAIL