33 lines
972 B
Python
33 lines
972 B
Python
|
import re
|
||
|
|
|
||
|
|
WTF = re.compile(r".*: (\d+),.*dataset/(\d+).txt")
|
||
|
|
|
||
|
|
by_size = dict()
|
||
|
|
with open("stdout.txt") as f:
|
||
|
|
while True:
|
||
|
|
line1 = f.readline().strip()
|
||
|
|
if not line1: break
|
||
|
|
m = WTF.match(line1)
|
||
|
|
processors = int(m.group(1))
|
||
|
|
size = int(m.group(2))
|
||
|
|
|
||
|
|
if size not in by_size: by_size[size] = dict()
|
||
|
|
|
||
|
|
line2 = f.readline().strip()
|
||
|
|
line3 = f.readline().strip()
|
||
|
|
|
||
|
|
time2 = line2.split(": ")[1]
|
||
|
|
time5 = line3.split(": ")[1]
|
||
|
|
|
||
|
|
if processors not in by_size[size]: by_size[size][processors] = (time2, time5)
|
||
|
|
|
||
|
|
print("#table(")
|
||
|
|
print(" columns: (auto, auto, auto, auto, auto, auto),")
|
||
|
|
columns = [1, 2, 4, 8, 16]
|
||
|
|
print(" [], ", ", ".join(map(lambda c: f"[{c}]", columns)), ",")
|
||
|
|
for size, entries in sorted(by_size.items()):
|
||
|
|
print(f" [{size}],")
|
||
|
|
for processors, (time2, time5) in sorted(entries.items()):
|
||
|
|
print(f" [{time2} #linebreak() {time5}],", end = None)
|
||
|
|
print()
|
||
|
|
print(")")
|