helm/software/components/binaries/matitaprover/sum_up.awk

   1 function process(name,calls,time) {
   2   if (! name in data_calls ) {
   3     data_calls[name] = 0;
   4     data_time[name] = 0;
   5   }
   6   data_calls[name] = data_calls[name] + calls;
   7   data_time[name] = data_time[name] + time;
   8 }
   9 # ----------------------------------------------
  10 ($1 == "!!") { process($2,$3,$4); }
  11 END {
  12   printf "%40s %10s %s\n", "name", "calls", "time";
  13   for (i in data_time) {
  14     printf "%40s %10d %03.3f %.8f\n", i, data_calls[i], data_time[i],  data_time[i]/ data_calls[i];
  15   }
  16 }