Results for instance ev-pr-8x8-11-7-0-1-2-lg
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v162.21UNSAT
hiqqer1ldsq105.32UNSAT
hiqqer1106.06UNSAT
aqua-s2v118.33UNSAT
depqbf-v3129.42UNSAT
depqbf-v2136.61UNSAT
aqua-s3o167.79UNSAT
aqua-f3v182.05UNSAT
hiqqer3190.33UNSAT
xb-qsts202.68UNSAT
xb-bid-qsts206.25UNSAT
qsts225.83FAIL
qestos229.52FAIL
ghostq-plain351.22FAIL
iprover-QBF572.35FAIL
AIGSolve589.86FAIL
iprover-QBF-bloqqer599.22FAIL
caqe-minisat599.7FAIL
qesto599.71FAIL
ghostq-cegar599.71FAIL
rareqs599.71FAIL
squeezebf+struqs599.71FAIL
caqe-picosat599.81FAIL
struqs-10599.81FAIL