blob: fbb834b09fb823eb5ad59b45a7c8308e8b647a23 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
from glob import glob
import re
def cmp_data(a, b):
return cmp(a[0], b[0])
logs = glob("../darcs-benchmark/big-zoo/*.log")
data = []
for i in logs:
sock = open(i)
for j in sock.readlines():
if "Num Patches:" in j:
patches = int(j.split(": ")[1].strip())
elif j.startswith("real"):
l = re.sub("real\t([0-9]+)m([0-9.]+)s\n", r"\1 \2", j).split(" ")
secs = int(l[0])*60 + float(l[1])
hours = secs / 3600
data.append([patches, hours])
data.sort(cmp=cmp_data)
for i in data:
print "%s %s" % (i[0], i[1])
|
