utils/parallel/avg-RTS.pl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/usr/local/bin/perl

$n=0;
$sum=0;
$last=0;
while (<>) {
    next unless /^\d+/;
    @c = split;
    $sum += $c[0];
    $last = $c[0];
    $n++;
}

print "Average Runtimes: n=$n; sum=$sum; avg=" . ($sum/$n) . "; max=$last\n";