report_times

这是一个C的源代码

#!/bin/bash
#report pairing times for each type of parameter
for p in a d159 d201 d224 e f g149 a1
do
    echo -en $p'\t'
    benchmark/benchmark < param/$p.param | awk '/time =/ {printf "%s", $5 "\t" } /prepro/ {print $6}'
done