def rows_to_columns(rows):
    return zip(*[row.results for row in rows])
Convert a list of Rows into a column-wise list of list of RunResult
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/__init__.py/rows_to_columns