https://github.com/mit-plv/rewriter
Revision fdf45bb6f7512a8db736793a47b2493baf405f96 authored by Jason Gross on 27 October 2019, 19:20:08 UTC, committed by Jason Gross on 27 November 2019, 22:02:20 UTC
1 parent ac7b316
Tip revision: fdf45bb6f7512a8db736793a47b2493baf405f96 authored by Jason Gross on 27 October 2019, 19:20:08 UTC
Add perf data
Add perf data
Tip revision: fdf45bb
perf-Plus0Tree-only-n-3-cbv;rewrite-strat(topdown).txt
1 0.016
2 0.096
3 0.023
4 0.028
5 0.036
6 0.039
7 0.047
8 0.059
9 0.064
10 0.083
11 0.092
12 0.096
13 0.103
14 0.123
15 0.143
16 0.172
17 0.184
18 0.199
19 0.231
20 0.228
21 0.248
22 0.256
23 0.291
24 0.331
25 0.36
26 0.36
27 0.364
28 0.391
29 0.416
30 0.435
31 0.467
32 0.527
33 0.568
34 0.539
35 0.588
36 0.635
37 0.643
38 0.672
39 0.72
40 0.884
41 0.779
42 0.807
43 0.908
44 0.955
45 1.
46 1.012
47 2.016
48 1.087
49 1.092
50 1.164
51 1.355
52 1.271
53 1.34
54 1.416
55 1.427
56 1.82
57 1.552
58 1.547
59 1.731
60 1.672
61 1.724
62 1.759
63 1.828
64 2.307
65 1.939
66 1.943
67 2.127
68 2.104
69 2.531
70 2.2
71 2.192
72 2.403
73 2.275
74 2.483
75 2.604
76 2.632
77 3.139
78 2.603
79 2.82
80 2.8
81 2.991
82 3.447
83 2.988
84 3.112
85 3.248
86 3.223
87 3.48
88 3.392
89 3.639
90 3.492
91 3.699
92 3.639
93 4.367
94 3.748
95 4.076
96 4.132
97 4.015
98 4.336
99 4.208
100 4.46
101 4.347
102 4.635
103 4.523
104 5.28
105 4.692
106 4.831
107 5.184
108 5.107
109 5.119
110 5.284
111 5.532
112 5.44
113 5.563
114 5.74
115 5.9
116 5.695
117 5.931
118 6.807
119 6.
120 6.243
121 7.047
122 6.336
123 6.496
124 7.415
125 7.023
126 7.283
127 8.068
128 7.492
129 7.711
130 8.596
131 7.824
132 8.039
133 9.339
134 8.284
135 8.432
136 9.247
137 8.504
138 8.748
139 8.96
140 9.163
141 9.092
142 9.44
143 9.407
144 9.644
145 9.659
146 9.856
147 9.995
148 10.099
149 10.215
150 10.411
Computing file changes ...
