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



Solver Time Result
depqbf-v25.91SAT
xb-bid-qsts7.32UNSAT
areqs9.73SAT
ghostq-cegar57.28SAT
aspQ60.99FAIL
iprover-QBF376.44FAIL
qestos380.52FAIL
iprover-QBF-bloqqer492.54FAIL
depqbf-v1592.94FAIL
qsts599.61FAIL
squeezebf+struqs599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
rareqs599.71FAIL
xb-qsts599.71FAIL
hiqqer1599.81FAIL
ghostq-plain599.81FAIL
depqbf-v3599.81FAIL
cadet599.81FAIL