Results for instance stmt19_83_412
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
aqua-s2v4.01UNSAT
aqua-s3o4.16UNSAT
aqua-f3v5.5UNSAT
AIGSolve8.56UNSAT
qesto17.38UNSAT
depqbf-v222.91UNSAT
rareqs59.21UNSAT
ghostq-plain89.54UNSAT
iprover-QBF-bloqqer173.23FAIL
iprover-QBF267.13FAIL
depqbf-v1351.41UNSAT
xb-bid-qsts599.71FAIL
hiqqer3599.71FAIL
hiqqer1ldsq599.71FAIL
struqs-10599.71FAIL
hiqqer1599.71FAIL
depqbf-v3599.71FAIL
caqe-minisat599.71FAIL
xb-qsts599.71FAIL
ghostq-cegar599.81FAIL
caqe-picosat599.81FAIL
qsts599.81FAIL
squeezebf+struqs599.81FAIL
qestos599.81FAIL