Results for instance vonNeumann-ripple-carry-5-c
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
depqbf-v30.02UNSAT
rareqs0.03UNSAT
qestos0.03UNSAT
qesto0.03UNSAT
struqs-100.04UNSAT
AIGSolve0.05UNSAT
aqua-s3o0.09UNSAT
aqua-s2v0.09UNSAT
aqua-f3v0.09UNSAT
squeezebf+struqs0.09SAT
hiqqer1ldsq0.1UNSAT
depqbf-v20.1UNSAT
qsts0.1UNSAT
hiqqer30.11UNSAT
hiqqer10.12UNSAT
xb-bid-qsts0.16UNSAT
xb-qsts0.16UNSAT
caqe-picosat0.16UNSAT
caqe-minisat0.17UNSAT
iprover-QBF-bloqqer0.19FAIL
depqbf-v10.21UNSAT
iprover-QBF7.59UNSAT
ghostq-plain9.19UNSAT
ghostq-cegar9.28UNSAT