Benchmark can write statistics to an extra file.