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