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



Solver Time Result
aspQ1.48FAIL
iprover-QBF270.24FAIL
qestos387.32FAIL
iprover-QBF-bloqqer501.84FAIL
depqbf-v2593.23FAIL
depqbf-v1593.52FAIL
xb-bid-qsts599.62FAIL
xb-qsts599.71FAIL
rareqs599.71FAIL
areqs599.71FAIL
cadet599.72FAIL
squeezebf+struqs599.72FAIL
qsts599.72FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
ghostq-cegar599.81FAIL
dynQBF599.81FAIL
depqbf-v3599.81FAIL
struqs-10599.81FAIL
ghostq-plain599.82FAIL