https://github.com/mit-plv/rewriter
Raw File
Tip revision: fdf45bb6f7512a8db736793a47b2493baf405f96 authored by Jason Gross on 27 October 2019, 19:20:08 UTC
Add perf data
Tip revision: fdf45bb
perf-Plus0Tree-only-n-4-cbv;rewrite-strat(topdown).txt
1 0.036
2 0.048
3 0.052
4 0.067
5 0.084
6 0.107
7 0.128
8 0.152
9 0.184
10 0.207
11 0.251
12 0.276
13 0.324
14 0.395
15 0.4
16 0.48
17 0.5
18 0.584
19 0.615
20 0.632
21 0.692
22 0.748
23 0.811
24 1.083
25 0.952
26 0.996
27 1.163
28 1.12
29 1.323
30 1.416
31 2.548
32 1.543
33 1.583
34 1.776
35 1.919
36 1.928
37 2.027
38 2.148
39 2.299
40 2.884
41 2.327
42 2.576
43 2.748
44 2.847
45 2.972
46 2.951
47 3.255
48 3.195
49 4.064
50 3.556
51 3.735
52 3.7
53 4.119
54 4.072
55 4.375
56 4.304
57 5.244
58 4.711
59 4.751
60 5.211
61 5.3
62 5.267
63 5.528
64 5.835
65 5.812
66 5.751
67 6.415
68 5.748
69 6.22
70 6.556
71 6.632
72 6.735
73 7.
74 7.175
75 7.5
76 7.624
77 7.675
78 7.871
79 8.528
80 8.219
back to top