#! perl -nlw
# process benchmark results of profile guided optimization of point-growth
$name=$1 if /==== (.*)/;
if (/^(\d+\.\d+)user/){
    print "$name $1";
}
