ghc-dup: 933fcaf64a2e97784f59981da6d4c6ef94e6d8f5
1: \makeatletter
2: \begin{tabular}{lrrrrrrrrrrrr}
3: \\
4: & \multicolumn{2}{c}{no sharing}& \multicolumn{2}{c}{shared tree}& \multicolumn{2}{c}{add. thunk}& \multicolumn{2}{c}{partly eval'ed}& \multicolumn{2}{c}{fully eval'ed}& \multicolumn{2}{c}{run twice} \\
5: & MB & sec.& MB & sec.& MB & sec.& MB & sec.& MB & sec.& MB & sec. \\ \midrule
6: original%
7: &
8: {\def\@currentlabel{2}\label{stats:slow:Original:Unshared:mem}2} &
9: {\def\@currentlabel{108.70}\label{stats:slow:Original:Unshared:time}108.70}&
10: {\def\@currentlabel{1\,641}\label{stats:slow:Original:Shared:mem}1\,641} &
11: {\def\@currentlabel{115.72}\label{stats:slow:Original:Shared:time}115.72}&
12: {\def\@currentlabel{1\,643}\label{stats:slow:Original:SharedThunk:mem}1\,643} &
13: {\def\@currentlabel{113.99}\label{stats:slow:Original:SharedThunk:time}113.99}&
14: {\def\@currentlabel{1\,642}\label{stats:slow:Original:SharedEvaled:mem}1\,642} &
15: {\def\@currentlabel{115.47}\label{stats:slow:Original:SharedEvaled:time}115.47}&
16: {\def\@currentlabel{1\,641}\label{stats:slow:Original:SharedFull:mem}1\,641} &
17: {\def\@currentlabel{119.01}\label{stats:slow:Original:SharedFull:time}119.01}&
18: {\def\@currentlabel{1\,641}\label{stats:slow:Original:RunTwice:mem}1\,641} &
19: {\def\@currentlabel{118.89}\label{stats:slow:Original:RunTwice:time}118.89} \\
20: \textsf{solveDup}%
21: &
22: {\def\@currentlabel{2}\label{stats:slow:SolveDup:Unshared:mem}2} &
23: {\def\@currentlabel{108.76}\label{stats:slow:SolveDup:Unshared:time}108.76}&
24: {\def\@currentlabel{2}\label{stats:slow:SolveDup:Shared:mem}2} &
25: {\def\@currentlabel{108.71}\label{stats:slow:SolveDup:Shared:time}108.71}&
26: {\def\@currentlabel{1\,643}\label{stats:slow:SolveDup:SharedThunk:mem}1\,643} &
27: {\def\@currentlabel{114.19}\label{stats:slow:SolveDup:SharedThunk:time}114.19}&
28: {\def\@currentlabel{1\,642}\label{stats:slow:SolveDup:SharedEvaled:mem}1\,642} &
29: {\def\@currentlabel{115.63}\label{stats:slow:SolveDup:SharedEvaled:time}115.63}&
30: {\def\@currentlabel{1\,641}\label{stats:slow:SolveDup:SharedFull:mem}1\,641} &
31: {\def\@currentlabel{118.96}\label{stats:slow:SolveDup:SharedFull:time}118.96}&
32: {\def\@currentlabel{2}\label{stats:slow:SolveDup:RunTwice:mem}2} &
33: {\def\@currentlabel{217.26}\label{stats:slow:SolveDup:RunTwice:time}217.26} \\
34: \textsf{rateDup}%
35: &
36: {\def\@currentlabel{2}\label{stats:slow:RateDup:Unshared:mem}2} &
37: {\def\@currentlabel{141.53}\label{stats:slow:RateDup:Unshared:time}141.53}&
38: {\def\@currentlabel{8}\label{stats:slow:RateDup:Shared:mem}8} &
39: {\def\@currentlabel{141.92}\label{stats:slow:RateDup:Shared:time}141.92}&
40: {\def\@currentlabel{9}\label{stats:slow:RateDup:SharedThunk:mem}9} &
41: {\def\@currentlabel{139.00}\label{stats:slow:RateDup:SharedThunk:time}139.00}&
42: {\def\@currentlabel{9}\label{stats:slow:RateDup:SharedEvaled:mem}9} &
43: {\def\@currentlabel{141.82}\label{stats:slow:RateDup:SharedEvaled:time}141.82}&
44: {\def\@currentlabel{1\,641}\label{stats:slow:RateDup:SharedFull:mem}1\,641} &
45: {\def\@currentlabel{119.35}\label{stats:slow:RateDup:SharedFull:time}119.35}&
46: {\def\@currentlabel{1\,638}\label{stats:slow:RateDup:RunTwice:mem}1\,638} &
47: {\def\@currentlabel{258.22}\label{stats:slow:RateDup:RunTwice:time}258.22} \\
48: \textsf{solveDeepDup}%
49: &
50: {\def\@currentlabel{2}\label{stats:slow:SolveDeepDup:Unshared:mem}2} &
51: {\def\@currentlabel{108.61}\label{stats:slow:SolveDeepDup:Unshared:time}108.61}&
52: {\def\@currentlabel{2}\label{stats:slow:SolveDeepDup:Shared:mem}2} &
53: {\def\@currentlabel{108.71}\label{stats:slow:SolveDeepDup:Shared:time}108.71}&
54: {\def\@currentlabel{2}\label{stats:slow:SolveDeepDup:SharedThunk:mem}2} &
55: {\def\@currentlabel{107.10}\label{stats:slow:SolveDeepDup:SharedThunk:time}107.10}&
56: {\def\@currentlabel{2}\label{stats:slow:SolveDeepDup:SharedEvaled:mem}2} &
57: {\def\@currentlabel{108.71}\label{stats:slow:SolveDeepDup:SharedEvaled:time}108.71}&
58: {\def\@currentlabel{1\,641}\label{stats:slow:SolveDeepDup:SharedFull:mem}1\,641} &
59: {\def\@currentlabel{118.66}\label{stats:slow:SolveDeepDup:SharedFull:time}118.66}&
60: {\def\@currentlabel{2}\label{stats:slow:SolveDeepDup:RunTwice:mem}2} &
61: {\def\@currentlabel{217.74}\label{stats:slow:SolveDeepDup:RunTwice:time}217.74} \\
62: unit lifting%
63: &
64: {\def\@currentlabel{2}\label{stats:slow:Unit:Unshared:mem}2} &
65: {\def\@currentlabel{141.49}\label{stats:slow:Unit:Unshared:time}141.49}&
66: {\def\@currentlabel{2}\label{stats:slow:Unit:Shared:mem}2} &
67: {\def\@currentlabel{141.48}\label{stats:slow:Unit:Shared:time}141.48}&
68: {\def\@currentlabel{2}\label{stats:slow:Unit:SharedThunk:mem}2} &
69: {\def\@currentlabel{141.49}\label{stats:slow:Unit:SharedThunk:time}141.49}&
70: &
71: &
72: &
73: &
74: {\def\@currentlabel{2}\label{stats:slow:Unit:RunTwice:mem}2} &
75: {\def\@currentlabel{282.86}\label{stats:slow:Unit:RunTwice:time}282.86} \\
76: church encoding%
77: &
78: {\def\@currentlabel{2}\label{stats:slow:Church:Unshared:mem}2} &
79: {\def\@currentlabel{113.23}\label{stats:slow:Church:Unshared:time}113.23}&
80: {\def\@currentlabel{2}\label{stats:slow:Church:Shared:mem}2} &
81: {\def\@currentlabel{113.10}\label{stats:slow:Church:Shared:time}113.10}&
82: {\def\@currentlabel{2}\label{stats:slow:Church:SharedThunk:mem}2} &
83: {\def\@currentlabel{113.04}\label{stats:slow:Church:SharedThunk:time}113.04}&
84: &
85: &
86: &
87: &
88: {\def\@currentlabel{2}\label{stats:slow:Church:RunTwice:mem}2} &
89: {\def\@currentlabel{225.74}\label{stats:slow:Church:RunTwice:time}225.74} \\
90: \end{tabular}
91: \makeatother
Generated by git2html.