

def extract_cputime(run_result):
    pos = None
    for (i, column) in enumerate(run_result.columns):
        if (column.title == 'cputime'):
            pos = i
            break
    if (pos is None):
        sys.exit('CPU time missing for task {0}.'.format(run_result.task_id[0]))
    return Util.to_decimal(run_result.values[pos])

dataset/ETHPy150Open sosy-lab/benchexec/contrib/plots/quantile-generator.py extract_cputime/original