Yup, that conclusion, specially number one, is pretty much a formal detailing of what I tried to say in my previous comment: Results inconclusive, depends on the task, etc.

And, of course there are exceptions in both directions for all of findings 2, 3 and 4; and those exceptions would also contribute to 1.

It's for findings like those that I wish people stopped treating type systems like religions. And paradigms, for that matter.