#!/usr/bin/python3

import os

def fillTable(table, inputFile):
    name = ""
    for line in inputFile:
        if line[0].isdigit():
            cmax = int(line)
            table.setdefault(name, [])
            table[name].append(cmax)
        elif line[0] != '-':
            name = line.strip()

def writeTable(table, outputFile):
    names = list(sorted(table.keys(), key=lambda n:int(n[len('instances/tai'):-4])))
    height = max(map(len, table.values()))
    outputFile.write(';'.join(map(lambda n: n[len('instances/'):-4], names))+'\n')
    for h in range(height):
        outputFile.write(';'.join(map(str, (table[names[i]][h] if h < len(table[names[i]]) else '' for i in range(len(names)))))+'\n')

if __name__ == '__main__':
    folders = os.listdir("results")
    solvers = os.listdir("results/"+folders[0])
    for solver in solvers:
        table = {}
        for folder in folders:
            with open("results/"+folder+"/"+solver, "r") as inputFile:
                fillTable(table, inputFile)
        with open("summary/"+solver, "w") as outputFile:
            writeTable(table, outputFile)

#!/usr/bin/python3

import os

def fillTable(table, inputFile):
    name = ""
    for line in inputFile:
        if line[0].isdigit():
            cmax = int(line)
            table.setdefault(name, [])
            table[name].append(cmax)
        elif line[0] != '-':
            name = line.strip()

def writeTable(table, outputFile):
    names = list(sorted(table.keys(), key=lambda n:int(n[len('instances/tai'):-4])))
    height = max(map(len, table.values()))
    outputFile.write(';'.join(map(lambda n: n[len('instances/'):-4], names))+'\n')
    for h in range(height):
        outputFile.write(';'.join(map(str, (table[names[i]][h] if h < len(table[names[i]]) else '' for i in range(len(names)))))+'\n')

if __name__ == '__main__':
    folders = os.listdir("results")
    solvers = os.listdir("results/"+folders[0])
    for solver in solvers:
        table = {}
        for folder in folders:
            with open("results/"+folder+"/"+solver, "r") as inputFile:
                fillTable(table, inputFile)
        with open("summary/"+solver, "w") as outputFile:
            writeTable(table, outputFile)

#!/usr/bin/python3