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/...