floram-docker/parse_times

#!/usr/bin/perl

use strict;

my $mode = '';
my $depth = 0;
my $who = 0;
my @seconds = (0, 0);

while(<>) {
    chomp;
    if (/===== Running floram (\S+) (\d+)/) {
        $mode = $1;
        $depth = $2;
        @seconds = (0,0);
        next;
    }
    if (/===== P([01]) output/) {
        $who = $1;
        next;
    }
    if (/Total time: (\d+\.?\d*) s/) {
        $seconds[$who] = $1;
    }
    if (/===== End/) {
        my $maxsecs = $seconds[0];
        $maxsecs = $seconds[1] if $seconds[1] > $maxsecs;
        print "$depth $maxsecs\n";
    }
}