Minor tweak to the benchmark utility, refine the output textfile