the fact is that we don't know. Google clearly states that they will use these link stats. Whether manually or not, we don't know. Did the pages with www and without it in Google fare worse for you? That may answer your question. I assume not all pages were indexed twice..