#include <stdio.h>
#include <string.h>
#include <stdlib.h>

static void revncpy(char *dst, const char *src, size_t len)
{
    int n = 0;
    while (n++<len && *src && *src!=' ' && *src!='\r' && *src!='\n')
        *dst++ = *src++;
}

int main()
{
    FILE *f = fopen("times.log", "rt");
    if (!f)
        return 1;

    char lines[0xffff][64] = {0};

    int n = 0;
    float mintime=0.0f, maxtime=0.0f;
    char rev[10] = {0};
    char line[128] = {0};

    while (fgets(line,sizeof(line),f) && n < (sizeof(lines)/sizeof(*lines))) {
        if (strncmp(line,"HEAD is now at ", 15) == 0) {
            if (rev[0])
                sprintf(lines[n++],"%s\t%.1f\t%.1f", rev, mintime, maxtime);
            revncpy(rev, line+15, sizeof(rev)-1);
            mintime = 0.0f;
            maxtime = 0.0f;
        }
        if (strncmp(line,"Overall time:",13)==0) {
            float time = atof(line+14);
            if (mintime < 0.1f || time < mintime)
                mintime = time;
            if (time > maxtime)
                maxtime = time;
        }
    }

    while (n > 0)
        printf("%s\n", lines[--n]);

    fclose(f);
    return 0;
}