| author | Chengsong |
| Sun, 30 Jun 2019 19:56:04 +0100 | |
| changeset 31 | ae23e2d63936 |
| child 87 | 9c52c21b5db3 |
| permissions | -rw-r--r-- |
|
31
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
1 |
% The data files, written on the first run. |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
2 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
3 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
4 |
\begin{filecontents}{re-python2.data}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
5 |
1 0.033 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
6 |
5 0.036 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
7 |
10 0.034 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
8 |
15 0.036 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
9 |
18 0.059 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
10 |
19 0.084 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
11 |
20 0.141 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
12 |
21 0.248 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
13 |
22 0.485 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
14 |
23 0.878 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
15 |
24 1.71 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
16 |
25 3.40 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
17 |
26 7.08 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
18 |
27 14.12 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
19 |
28 26.69 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
20 |
\end{filecontents}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
21 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
22 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
23 |
% JavaScript, example (a*)*b |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
24 |
\begin{filecontents}{re-js.data}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
25 |
5 0.061 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
26 |
10 0.061 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
27 |
15 0.061 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
28 |
20 0.070 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
29 |
23 0.131 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
30 |
25 0.308 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
31 |
26 0.564 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
32 |
28 1.994 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
33 |
30 7.648 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
34 |
31 15.881 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
35 |
32 32.190 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
36 |
\end{filecontents}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
37 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
38 |
% Java 8, example (a*)*b |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
39 |
\begin{filecontents}{re-java.data}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
40 |
5 0.00298 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
41 |
10 0.00418 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
42 |
15 0.00996 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
43 |
16 0.01710 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
44 |
17 0.03492 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
45 |
18 0.03303 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
46 |
19 0.05084 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
47 |
20 0.10177 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
48 |
21 0.19960 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
49 |
22 0.41159 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
50 |
23 0.82234 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
51 |
24 1.70251 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
52 |
25 3.36112 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
53 |
26 6.63998 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
54 |
27 13.35120 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
55 |
28 29.81185 |
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
56 |
\end{filecontents}
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
57 |
|
|
ae23e2d63936
made changes that are necessary for a successful push
Chengsong
parents:
diff
changeset
|
58 |