import os
projectdir ='/home/thibaut/pacemaker/planetlab/data'
result = [[]]
for node in os.listdir(projectdir):
    c = 0
    preuve = {}
    try:
        for logfile in os.listdir(os.path.join(projectdir,node,'log')):
            if '.net' in logfile:
                fh = open(os.path.join(projectdir,node,'log',logfile),"r")
                for line in fh:
                    tokens = line.split()
                    if tokens[1] > 0:
                        c+=1
                fh.close()
            if '.prot' in logfile:
                fh = open(os.path.join(projectdir,node,'log',logfile),"r")
                for line in fh:
                    if 'Proof' in line:
                        timestp, proof, nround, depth = line.rstrip().split()
                        preuve[nround]=1
                fh.close()
        result.append([node,c,len(preuve)])
        error = abs(c-len(preuve)*5.)/c
	print error
    except OSError:
        pass