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



Solver Time Result
hiqqer33.14SAT
areqs12.3SAT
xb-bid-qsts35.58SAT
aspQ60.87FAIL
ghostq-cegar69.38SAT
iprover-QBF-bloqqer231.94FAIL
iprover-QBF490.43FAIL
depqbf-v1592.62FAIL
depqbf-v2593.02FAIL
qsts599.71FAIL
squeezebf+struqs599.71FAIL
hiqqer1599.71FAIL
struqs-10599.71FAIL
dynQBF599.71FAIL
depqbf-v3599.71FAIL
cadet599.71FAIL
hiqqer1ldsq599.81FAIL
rareqs599.81FAIL
qestos599.81FAIL
xb-qsts599.81FAIL
ghostq-plain599.91FAIL