@jcoglan my results.txt is now in the same format, at gist.github.com/2911970. We differ, and I'm pretty sure the error is with you