chiark / gitweb /
Move the benchmarking logic out into a script.