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



Solver Time Result
depqbf-v30.3UNSAT
depqbf-v20.41UNSAT
rareqs0.67UNSAT
qestos0.67UNSAT
qesto0.67UNSAT
struqs-100.68UNSAT
hiqqer11.59UNSAT
hiqqer31.59UNSAT
hiqqer1ldsq1.6UNSAT
qsts2.02UNSAT
AIGSolve2.08UNSAT
iprover-QBF-bloqqer2.57FAIL
xb-bid-qsts2.69UNSAT
xb-qsts2.7UNSAT
caqe-picosat2.87UNSAT
caqe-minisat2.87UNSAT
depqbf-v13.22UNSAT
squeezebf+struqs4.27SAT
aqua-f3v4.73UNSAT
aqua-s2v4.77UNSAT
aqua-s3o4.79UNSAT
iprover-QBF25.24FAIL
ghostq-plain88.34UNSAT
ghostq-cegar88.64UNSAT