matita/tests/TPTP/merge_sorted_logs.awk

   1 BEGIN {LAST=""; ARGS="";}
   2  {
   3    if (LAST == $1) {
   4        if ($3 == "OK" && length(ARGS) < length($0)) {
   5           ARGS=$0;
   6        }
   7    } else {
   8        print ARGS;
   9        LAST=$1;
  10        ARGS=$0;
  11   }
  12
  13  }
  14 END{ print ARGS; }