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



Solver Time Result
aspQ1.4FAIL
areqs19.14SAT
xb-bid-qsts37.8SAT
iprover-QBF-bloqqer180.93FAIL
ghostq-cegar238.49SAT
qestos375.22FAIL
iprover-QBF547.13FAIL
depqbf-v1592.42FAIL
depqbf-v2593.12FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer1ldsq599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
depqbf-v3599.71FAIL
cadet599.71FAIL
rareqs599.71FAIL
xb-qsts599.71FAIL
hiqqer3599.81FAIL
ghostq-plain600.01FAIL