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



Solver Time Result
cadet0.11UNSAT
ghostq-cegar1.62UNSAT
areqs2.55UNSAT
depqbf-v22.71UNSAT
depqbf-v13.11UNSAT
ghostq-plain10.05UNSAT
aspQ60.79FAIL
iprover-QBF-bloqqer259.34FAIL
iprover-QBF599.22FAIL
squeezebf+struqs599.71FAIL
xb-bid-qsts599.71FAIL
qsts599.71FAIL
hiqqer1ldsq599.71FAIL
struqs-10599.71FAIL
depqbf-v3599.71FAIL
rareqs599.71FAIL
xb-qsts599.71FAIL
hiqqer1599.81FAIL
hiqqer3599.81FAIL
dynQBF599.81FAIL
qestos599.91FAIL