let benchmark_help = " Benchmark output format (very consise)."