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



Solver Time Result
qestos147.62FAIL
ghostq-plain346.42FAIL
aqua-f3v384.46FAIL
aqua-s3o387.38FAIL
aqua-s2v424.42FAIL
ghostq-cegar435.62FAIL
qsts499.54FAIL
depqbf-v2592.12FAIL
depqbf-v1592.32FAIL
iprover-QBF-bloqqer599.13FAIL
iprover-QBF599.22FAIL
xb-bid-qsts599.52FAIL
xb-qsts599.53FAIL
rareqs599.61FAIL
qesto599.61FAIL
caqe-minisat599.61FAIL
squeezebf+struqs599.71FAIL
struqs-10599.71FAIL
caqe-picosat599.71FAIL
AIGSolve599.78FAIL
hiqqer3599.81FAIL
hiqqer1ldsq599.81FAIL
hiqqer1599.81FAIL
depqbf-v3599.81FAIL