in scripts/collect_results.py [0:0]
def print_row(row, col_width=15, latex=False): sep = " & " if latex else " " end_ = "\\\\" if latex else "" print(sep.join([x.ljust(col_width) for x in row]), end_)