diff options
Diffstat (limited to 'utils/parallel/avg-RTS.pl')
| -rw-r--r-- | utils/parallel/avg-RTS.pl | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/utils/parallel/avg-RTS.pl b/utils/parallel/avg-RTS.pl new file mode 100644 index 0000000000..4f25d55f80 --- /dev/null +++ b/utils/parallel/avg-RTS.pl @@ -0,0 +1,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"; + |