Add the unit after the column title in the output column, in parantheses.
Add the unit after the column title in the output column, in parantheses.

The column title and the measure are currently separated by a single space.

sosy-lab/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec