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



Solver Time Result
qestos115.33FAIL
qsts303.26FAIL
ghostq-plain366.62FAIL
ghostq-cegar377.52FAIL
aqua-f3v442.42FAIL
aqua-s2v471.48FAIL
aqua-s3o475.34FAIL
depqbf-v2592.12FAIL
depqbf-v1592.32FAIL
iprover-QBF599.22FAIL
iprover-QBF-bloqqer599.22FAIL
xb-bid-qsts599.41FAIL
xb-qsts599.63FAIL
struqs-10599.71FAIL
qesto599.71FAIL
rareqs599.71FAIL
caqe-minisat599.71FAIL
AIGSolve599.8FAIL
hiqqer3599.81FAIL
hiqqer1599.81FAIL
squeezebf+struqs599.81FAIL
hiqqer1ldsq599.82FAIL
depqbf-v3599.82FAIL
caqe-picosat600.02FAIL