Results for instance tlc02-uniform-depth-241
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
qsts2.45SAT
ghostq-plain8.26FAIL
ghostq-cegar8.32FAIL
rareqs12.32UNSAT
qesto13.42UNSAT
qestos14.61UNSAT
depqbf-v129.11UNSAT
depqbf-v354.4UNSAT
depqbf-v254.51UNSAT
hiqqer1ldsq57.57UNSAT
hiqqer157.99UNSAT
hiqqer364.89UNSAT
AIGSolve106.55UNSAT
caqe-minisat116.58UNSAT
xb-bid-qsts121UNSAT
xb-qsts122.23UNSAT
caqe-picosat125.37UNSAT
iprover-QBF-bloqqer599.12FAIL
iprover-QBF599.22FAIL
aqua-f3v599.73FAIL
struqs-10599.73FAIL
squeezebf+struqs599.81FAIL
aqua-s2v599.87FAIL
aqua-s3o599.88FAIL