Results for instance incrementer-enc03-nonuniform-depth-24
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
rareqs1.39UNSAT
aqua-f3v1.58UNSAT
aqua-s3o1.59UNSAT
aqua-s2v1.62UNSAT
hiqqer1ldsq2.81UNSAT
hiqqer12.82UNSAT
AIGSolve3.91UNSAT
ghostq-plain4.29UNSAT
ghostq-cegar4.49UNSAT
hiqqer35.31UNSAT
depqbf-v18.31UNSAT
caqe-minisat13.88UNSAT
qestos14.14UNSAT
depqbf-v314.32UNSAT
xb-qsts14.64UNSAT
depqbf-v214.81UNSAT
xb-bid-qsts16.68UNSAT
qsts22.16SAT
caqe-picosat24.57UNSAT
iprover-QBF-bloqqer100.26UNSAT
iprover-QBF134.49UNSAT
qesto559.21UNSAT
struqs-10599.71FAIL
squeezebf+struqs599.81FAIL