> was ever posted

No, K was never installed.

> The point of these benchmarks is everyone being able to run them themselves, though.

Exactly.

And compare with programs in some other language:

https://benchmarksgame-team.pages.debian.net/benchmarksgame/...