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



Solver Time Result
aspQ1.61FAIL
areqs21.42SAT
xb-bid-qsts43.61SAT
iprover-QBF-bloqqer171.43FAIL
ghostq-cegar207.22SAT
iprover-QBF568.13FAIL
qestos576.32FAIL
depqbf-v1592.52FAIL
depqbf-v2593.12FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
cadet599.71FAIL
xb-qsts599.71FAIL
hiqqer3599.81FAIL
dynQBF599.81FAIL
rareqs599.81FAIL
depqbf-v3600FAIL
ghostq-plain600.01FAIL