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



Solver Time Result
depqbf-v30.56UNSAT
depqbf-v20.61UNSAT
struqs-101.26UNSAT
rareqs1.26UNSAT
qestos1.26UNSAT
qesto1.26UNSAT
hiqqer12.98UNSAT
hiqqer32.99UNSAT
hiqqer1ldsq3UNSAT
qsts3.92UNSAT
xb-bid-qsts5.02UNSAT
iprover-QBF-bloqqer5.08FAIL
caqe-minisat5.16UNSAT
AIGSolve5.17UNSAT
xb-qsts5.28UNSAT
caqe-picosat5.4UNSAT
depqbf-v16.11UNSAT
squeezebf+struqs13.07SAT
aqua-s2v14.56UNSAT
aqua-f3v14.61UNSAT
aqua-s3o14.62UNSAT
iprover-QBF29.25FAIL
ghostq-cegar157.03FAIL
ghostq-plain158.02FAIL