Results for instance tlc03-nonuniform-depth-17
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v30.02UNSAT
AIGSolve0.1UNSAT
depqbf-v20.11UNSAT
depqbf-v10.11UNSAT
aqua-s3o0.2UNSAT
rareqs0.2UNSAT
aqua-f3v0.2UNSAT
aqua-s2v0.21UNSAT
qestos0.22UNSAT
hiqqer1ldsq0.23UNSAT
hiqqer10.24UNSAT
hiqqer30.24UNSAT
qsts0.26SAT
qesto0.27UNSAT
iprover-QBF1.41UNSAT
ghostq-plain1.93UNSAT
ghostq-cegar1.94UNSAT
xb-bid-qsts1.97UNSAT
xb-qsts2.07UNSAT
caqe-minisat2.11UNSAT
caqe-picosat2.24UNSAT
iprover-QBF-bloqqer2.44UNSAT
squeezebf+struqs3.18UNSAT
struqs-103.58UNSAT