Start preparing to have multiple columns at the left of HTML tables (all index calculations need to be adjusted).
Start preparing to have multiple columns at the left of HTML tables
(all index calculations need to be adjusted).

sosy-lab/benchexec,sosy-lab/benchexec,bjowac/impara-benchexec,IljaZakharov/benchexec,dbeyer/benchexec,bjowac/impara-benchexec,dbeyer/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,michkot/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,bjowac/impara-benchexec,cheshire/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,cheshire/benchexec,michkot/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,cheshire/benchexec,michkot/benchexec,dbeyer/benchexec,martin-neuhaeusser/benchexec,IljaZakharov/benchexec