| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Thu, 02 Oct 2025 08:46:35 +0100 | |
| changeset 996 | e6d372af861f | 
| parent 966 | d82c91f85391 | 
| permissions | -rw-r--r-- | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
% The data files, written on the first run.  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
2  | 
|
| 565 | 3  | 
%% example a?{n} a{n}
 | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
\begin{filecontents}{re-python.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
1 0.029  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
6  | 
5 0.029  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
7  | 
10 0.029  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
15 0.032  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
16 0.042  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
17 0.042  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
18 0.055  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
12  | 
19 0.084  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
13  | 
20 0.136  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
21 0.248  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
15  | 
22 0.464  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
16  | 
23 0.899  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
17  | 
24 1.773  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
18  | 
25 3.505  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
19  | 
26 6.993  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
20  | 
27 14.503  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
21  | 
28 29.307  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
22  | 
#29 58.886  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
23  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
24  | 
|
| 565 | 25  | 
|
| 448 | 26  | 
\begin{filecontents}{re-python2.data}
 | 
27  | 
1 0.033  | 
|
28  | 
5 0.036  | 
|
29  | 
10 0.034  | 
|
30  | 
15 0.036  | 
|
31  | 
18 0.059  | 
|
32  | 
19 0.084  | 
|
33  | 
20 0.141  | 
|
34  | 
21 0.248  | 
|
35  | 
22 0.485  | 
|
36  | 
23 0.878  | 
|
37  | 
24 1.71  | 
|
38  | 
25 3.40  | 
|
39  | 
26 7.08  | 
|
40  | 
27 14.12  | 
|
41  | 
28 26.69  | 
|
42  | 
\end{filecontents}
 | 
|
43  | 
||
| 565 | 44  | 
%% example a?{n} a{n}
 | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
45  | 
\begin{filecontents}{re-ruby.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
46  | 
1 0.00006  | 
| 
242
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
47  | 
#2 0.00003  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
48  | 
#3 0.00001  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
49  | 
#4 0.00001  | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
50  | 
5 0.00001  | 
| 
242
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
51  | 
#6 0.00002  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
52  | 
#7 0.00002  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
53  | 
#8 0.00004  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
54  | 
#9 0.00007  | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
55  | 
10 0.00013  | 
| 
242
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
56  | 
#11 0.00026  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
57  | 
#12 0.00055  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
58  | 
#13 0.00106  | 
| 
 
35104ee14f87
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
218 
diff
changeset
 | 
59  | 
#14 0.00196  | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
60  | 
15 0.00378  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
61  | 
16 0.00764  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
62  | 
17 0.01606  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
63  | 
18 0.03094  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
64  | 
19 0.06508  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
65  | 
20 0.12420  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
66  | 
21 0.25393  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
67  | 
22 0.51449  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
68  | 
23 1.02174  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
69  | 
24 2.05998  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
70  | 
25 4.22514  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
71  | 
26 8.42479  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
72  | 
27 16.88678  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
73  | 
28 34.79653  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
74  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
75  | 
|
| 778 | 76  | 
%% example a?{n} a{n}
 | 
77  | 
\begin{filecontents}{re-rust.data}
 | 
|
78  | 
1000 0.95  | 
|
79  | 
1500 2.17  | 
|
80  | 
2000 3.9  | 
|
81  | 
2100 4.121  | 
|
82  | 
2150 4.3  | 
|
83  | 
2180 14.9  | 
|
84  | 
2200 15  | 
|
85  | 
2500 18  | 
|
86  | 
3000 24  | 
|
87  | 
3500 31  | 
|
88  | 
4000 40  | 
|
89  | 
\end{filecontents}
 | 
|
90  | 
||
| 618 | 91  | 
% JavaScript, example (a*)*b  | 
92  | 
\begin{filecontents}{re-js.data}
 | 
|
93  | 
5 0.061  | 
|
94  | 
10 0.061  | 
|
95  | 
15 0.061  | 
|
96  | 
20 0.070  | 
|
97  | 
23 0.131  | 
|
98  | 
25 0.308  | 
|
99  | 
26 0.564  | 
|
100  | 
28 1.994  | 
|
101  | 
30 7.648  | 
|
102  | 
31 15.881  | 
|
103  | 
32 32.190  | 
|
104  | 
\end{filecontents}
 | 
|
105  | 
||
| 767 | 106  | 
% Swift, example (a*)*b  | 
107  | 
\begin{filecontents}{re-swift.data}
 | 
|
108  | 
5 0.001  | 
|
109  | 
10 0.001  | 
|
110  | 
15 0.009  | 
|
111  | 
20 0.178  | 
|
112  | 
23 1.399  | 
|
113  | 
24 2.893  | 
|
114  | 
25 5.671  | 
|
115  | 
26 11.357  | 
|
116  | 
27 22.430  | 
|
117  | 
\end{filecontents}
 | 
|
118  | 
||
| 777 | 119  | 
% Dart, example (a*)*b  | 
120  | 
\begin{filecontents}{re-dart.data}
 | 
|
121  | 
20 0.042  | 
|
122  | 
21 0.084  | 
|
123  | 
22 0.190  | 
|
124  | 
23 0.340  | 
|
125  | 
24 0.678  | 
|
126  | 
25 1.369  | 
|
127  | 
26 2.700  | 
|
128  | 
27 5.462  | 
|
129  | 
28 10.908  | 
|
130  | 
29 21.725  | 
|
131  | 
30 43.492  | 
|
132  | 
\end{filecontents}
 | 
|
133  | 
||
134  | 
||
| 565 | 135  | 
% Java 8, example (a*)*b  | 
| 412 | 136  | 
\begin{filecontents}{re-java.data}
 | 
137  | 
5 0.00298  | 
|
138  | 
10 0.00418  | 
|
139  | 
15 0.00996  | 
|
140  | 
16 0.01710  | 
|
141  | 
17 0.03492  | 
|
142  | 
18 0.03303  | 
|
143  | 
19 0.05084  | 
|
144  | 
20 0.10177  | 
|
145  | 
21 0.19960  | 
|
146  | 
22 0.41159  | 
|
147  | 
23 0.82234  | 
|
148  | 
24 1.70251  | 
|
149  | 
25 3.36112  | 
|
150  | 
26 6.63998  | 
|
151  | 
27 13.35120  | 
|
152  | 
28 29.81185  | 
|
153  | 
\end{filecontents}
 | 
|
154  | 
||
| 565 | 155  | 
% Java 9+, example (a*)*b  | 
156  | 
\begin{filecontents}{re-java9.data}
 | 
|
157  | 
1000 0.01871  | 
|
158  | 
3000 0.16727  | 
|
159  | 
5000 0.44669  | 
|
160  | 
7000 0.87708  | 
|
161  | 
9000 1.46304  | 
|
162  | 
11000 2.21094  | 
|
163  | 
13000 3.08650  | 
|
164  | 
15000 4.23359  | 
|
165  | 
17000 4.97240  | 
|
166  | 
19000 6.50150  | 
|
167  | 
21000 8.43740  | 
|
168  | 
23000 9.66842  | 
|
169  | 
25000 10.93754  | 
|
170  | 
27000 13.51069  | 
|
171  | 
29000 14.73643  | 
|
172  | 
31000 16.69299  | 
|
173  | 
33000 19.04270  | 
|
174  | 
35000 21.08329  | 
|
175  | 
37000 23.75398  | 
|
176  | 
39000 26.15787  | 
|
177  | 
\end{filecontents}
 | 
|
178  | 
||
| 618 | 179  | 
|
180  | 
||
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
181  | 
%% re1.scala: example a?{n} a{n}
 | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
182  | 
\begin{filecontents}{re1.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
183  | 
1 0.00179  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
184  | 
2 0.00011  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
185  | 
3 0.00014  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
186  | 
4 0.00026  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
187  | 
5 0.00050  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
188  | 
6 0.00095  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
189  | 
7 0.00190  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
190  | 
8 0.00287  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
191  | 
9 0.00779  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
192  | 
10 0.01399  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
193  | 
11 0.01894  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
194  | 
12 0.03666  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
195  | 
13 0.07994  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
196  | 
14 0.08944  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
197  | 
15 0.02377  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
198  | 
16 0.07392  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
199  | 
17 0.22798  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
200  | 
18 0.65310  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
201  | 
19 2.11360  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
202  | 
20 6.31606  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
203  | 
21 21.46013  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
204  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
205  | 
|
| 
433
 
c08290ee4f1f
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
415 
diff
changeset
 | 
206  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
207  | 
%% re1.scala: example (a*)* b  | 
| 415 | 208  | 
\begin{filecontents}{re1a.data}
 | 
| 441 | 209  | 
1 0.00003  | 
210  | 
2 0.00002  | 
|
211  | 
3 0.00004  | 
|
212  | 
4 0.00023  | 
|
213  | 
5 0.00012  | 
|
214  | 
6 0.00016  | 
|
215  | 
7 0.00036  | 
|
216  | 
8 0.00100  | 
|
217  | 
9 0.00158  | 
|
218  | 
10 0.00271  | 
|
219  | 
11 0.00420  | 
|
220  | 
12 0.01034  | 
|
221  | 
13 0.01629  | 
|
222  | 
14 0.03469  | 
|
223  | 
15 0.08800  | 
|
224  | 
16 0.12071  | 
|
225  | 
17 0.27164  | 
|
226  | 
18 0.53962  | 
|
227  | 
19 1.05733  | 
|
228  | 
20 2.34022  | 
|
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
229  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
230  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
231  | 
%% re2.scala example a?{n} a{n}
 | 
| 415 | 232  | 
\begin{filecontents}{re2.data}
 | 
| 477 | 233  | 
1 0.00050  | 
234  | 
101 0.02030  | 
|
235  | 
201 0.10587  | 
|
236  | 
301 0.31188  | 
|
237  | 
401 0.32794  | 
|
238  | 
501 0.64490  | 
|
239  | 
601 1.16738  | 
|
240  | 
701 2.10815  | 
|
241  | 
801 3.47144  | 
|
242  | 
901 6.80621  | 
|
243  | 
1001 12.35611  | 
|
244  | 
1101 23.80084  | 
|
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
245  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
246  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
247  | 
%% re2.scala: example (a*)* b  | 
| 415 | 248  | 
\begin{filecontents}{re2a.data}
 | 
| 441 | 249  | 
1 0.00004  | 
250  | 
2 0.00003  | 
|
251  | 
3 0.00004  | 
|
252  | 
4 0.00014  | 
|
253  | 
5 0.00017  | 
|
254  | 
6 0.00029  | 
|
255  | 
7 0.00046  | 
|
256  | 
8 0.00084  | 
|
257  | 
9 0.00137  | 
|
258  | 
10 0.00203  | 
|
259  | 
11 0.00379  | 
|
260  | 
12 0.00783  | 
|
261  | 
13 0.01583  | 
|
262  | 
14 0.04725  | 
|
263  | 
15 0.06672  | 
|
264  | 
16 0.16228  | 
|
265  | 
17 0.25493  | 
|
266  | 
18 0.53676  | 
|
267  | 
19 1.09052  | 
|
268  | 
20 2.56922  | 
|
| 414 | 269  | 
\end{filecontents}
 | 
270  | 
||
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
271  | 
%% re3.scala: example a?{n} a{n}
 | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
272  | 
\begin{filecontents}{re3.data}
 | 
| 477 | 273  | 
1 0.00003  | 
274  | 
1001 0.03887  | 
|
275  | 
2001 0.15666  | 
|
276  | 
3001 0.35910  | 
|
277  | 
4001 0.63950  | 
|
278  | 
5001 1.00241  | 
|
279  | 
6001 1.50480  | 
|
280  | 
7001 2.11568  | 
|
281  | 
8001 2.71208  | 
|
282  | 
9001 3.41157  | 
|
283  | 
10001 4.19962  | 
|
284  | 
11001 5.70387  | 
|
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
285  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
286  | 
|
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
287  | 
%% re3.scala: example (a*)* b  | 
| 414 | 288  | 
\begin{filecontents}{re3a.data}
 | 
| 478 | 289  | 
1 0.00003  | 
290  | 
500001 0.22527  | 
|
291  | 
1000001 0.62752  | 
|
292  | 
1500001 0.88485  | 
|
293  | 
2000001 1.39815  | 
|
294  | 
2500001 1.68619  | 
|
295  | 
3000001 1.94957  | 
|
296  | 
3500001 2.15878  | 
|
297  | 
4000001 2.59918  | 
|
298  | 
4500001 5.90679  | 
|
299  | 
5000001 13.11295  | 
|
300  | 
5500001 19.15376  | 
|
301  | 
6000001 40.16373  | 
|
302  | 
\end{filecontents}
 | 
|
303  | 
\begin{filecontents}{re3b.data}
 | 
|
| 477 | 304  | 
1 0.00015  | 
305  | 
500001 0.28337  | 
|
306  | 
1000001 0.53271  | 
|
307  | 
1500001 0.84478  | 
|
308  | 
2000001 1.11763  | 
|
309  | 
2500001 1.76656  | 
|
310  | 
3000001 2.13310  | 
|
311  | 
3500001 2.39576  | 
|
312  | 
4000001 2.98624  | 
|
313  | 
4500001 5.96529  | 
|
314  | 
5000001 13.56911  | 
|
315  | 
5500001 18.43089  | 
|
316  | 
6000001 40.33704  | 
|
| 415 | 317  | 
\end{filecontents}
 | 
318  | 
||
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
319  | 
%% re4.scala example a?{n} a{n}
 | 
| 415 | 320  | 
\begin{filecontents}{re4.data}
 | 
| 441 | 321  | 
1 0.01399  | 
322  | 
500001 1.43645  | 
|
323  | 
1000001 2.59394  | 
|
324  | 
1500001 4.07990  | 
|
325  | 
2000001 5.22473  | 
|
326  | 
2500001 6.41714  | 
|
327  | 
3000001 7.60118  | 
|
328  | 
3500001 9.02056  | 
|
329  | 
4000001 10.50393  | 
|
330  | 
4500001 11.56631  | 
|
331  | 
5000001 13.72020  | 
|
332  | 
5500001 15.09634  | 
|
333  | 
6000001 29.26990  | 
|
334  | 
6500001 33.41039  | 
|
335  | 
7000001 39.06532  | 
|
| 415 | 336  | 
\end{filecontents}
 | 
337  | 
||
| 
434
 
8664ff87cd77
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
433 
diff
changeset
 | 
338  | 
%% re4.scala example (a*)* b  | 
| 415 | 339  | 
\begin{filecontents}{re4a.data}
 | 
340  | 
1 0.00015  | 
|
| 441 | 341  | 
500001 2.57302  | 
342  | 
1000001 5.58966  | 
|
343  | 
1500001 8.16531  | 
|
344  | 
2000001 10.85055  | 
|
345  | 
2500001 13.42080  | 
|
346  | 
3000001 16.08712  | 
|
347  | 
3500001 18.58433  | 
|
348  | 
4000001 21.23788  | 
|
349  | 
4500001 23.72459  | 
|
350  | 
5000001 27.47479  | 
|
351  | 
5500001 31.85240  | 
|
352  | 
6000001 37.12461  | 
|
353  | 
6500001 39.90294  | 
|
354  | 
7000001 53.50961  | 
|
| 414 | 355  | 
\end{filecontents}
 | 
| 779 | 356  | 
|
357  | 
% example a?{n} a{n}
 | 
|
358  | 
\begin{filecontents}{nfabreadth.data}
 | 
|
359  | 
1 0.00744  | 
|
360  | 
2 0.02007  | 
|
361  | 
3 0.07366  | 
|
362  | 
4 0.13740  | 
|
363  | 
5 0.21123  | 
|
364  | 
6 0.42507  | 
|
365  | 
7 0.70248  | 
|
366  | 
8 1.54966  | 
|
367  | 
9 2.88386  | 
|
368  | 
10 5.01238  | 
|
369  | 
11 9.87160  | 
|
370  | 
12 19.25107  | 
|
371  | 
13 38.60304  | 
|
372  | 
\end{filecontents}
 | 
|
373  | 
||
374  | 
% example (a*)* b  | 
|
375  | 
\begin{filecontents}{nfabreadth2.data}
 | 
|
376  | 
1 0.01049  | 
|
377  | 
6 0.05657  | 
|
378  | 
11 0.08678  | 
|
379  | 
16 0.13492  | 
|
380  | 
21 0.25846  | 
|
381  | 
26 0.28099  | 
|
382  | 
31 0.35256  | 
|
383  | 
36 0.35518  | 
|
384  | 
41 0.36102  | 
|
385  | 
46 0.42248  | 
|
386  | 
51 0.54021  | 
|
387  | 
56 0.64374  | 
|
388  | 
61 0.61032  | 
|
389  | 
66 0.65779  | 
|
390  | 
71 0.79430  | 
|
391  | 
76 0.79791  | 
|
392  | 
81 0.79772  | 
|
393  | 
86 0.85896  | 
|
394  | 
91 1.00160  | 
|
395  | 
96 1.11727  | 
|
396  | 
\end{filecontents}
 | 
|
397  | 
||
398  | 
% example a?{n} a{n}
 | 
|
399  | 
\begin{filecontents}{nfadepth.data}
 | 
|
400  | 
1 0.00047  | 
|
401  | 
2 0.00485  | 
|
402  | 
3 0.02597  | 
|
403  | 
4 0.02026  | 
|
404  | 
5 0.88002  | 
|
405  | 
6 1.85384  | 
|
406  | 
7 24.01612  | 
|
407  | 
8 15.13296  | 
|
408  | 
9 479.93808  | 
|
409  | 
\end{filecontents}
 | 
|
410  | 
||
411  | 
% example (a*)* b  | 
|
412  | 
\begin{filecontents}{nfadepth2.data}
 | 
|
413  | 
1 0.00905  | 
|
414  | 
2 0.04748  | 
|
415  | 
3 0.17583  | 
|
416  | 
4 1.00126  | 
|
417  | 
5 3.19777  | 
|
418  | 
6 13.37317  | 
|
419  | 
7 55.52482  | 
|
420  | 
\end{filecontents}
 | 
|
421  | 
||
422  | 
||
423  | 
||
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
424  | 
\begin{filecontents}{nfa.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
425  | 
0 0.00099  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
426  | 
5 0.01304  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
427  | 
10 0.05350  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
428  | 
15 0.10152  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
429  | 
20 0.10876  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
430  | 
25 0.06984  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
431  | 
30 0.09693  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
432  | 
35 0.04805  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
433  | 
40 0.07512  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
434  | 
45 0.07624  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
435  | 
50 0.10451  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
436  | 
55 0.13285  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
437  | 
60 0.15748  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
438  | 
65 0.19982  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
439  | 
70 0.24075  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
440  | 
75 0.28963  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
441  | 
80 0.35734  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
442  | 
85 0.43735  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
443  | 
90 0.49692  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
444  | 
95 0.59551  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
445  | 
100 0.72236  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
446  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
447  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
448  | 
\begin{filecontents}{nfasearch.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
449  | 
0 0.00009  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
450  | 
1 0.00147  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
451  | 
2 0.00030  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
452  | 
3 0.00062  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
453  | 
4 0.00132  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
454  | 
5 0.00177  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
455  | 
6 0.00487  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
456  | 
7 0.00947  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
457  | 
8 0.01757  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
458  | 
9 0.02050  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
459  | 
10 0.02091  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
460  | 
11 0.04002  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
461  | 
12 0.08662  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
462  | 
13 0.17269  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
463  | 
14 0.37255  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
464  | 
15 0.81935  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
465  | 
16 1.76254  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
466  | 
17 3.89442  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
467  | 
18 8.42263  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
468  | 
19 17.89661  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
469  | 
20 38.21481  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
470  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
471  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
472  | 
\begin{filecontents}{compiled.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
473  | 
%1 0.234146  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
474  | 
%5000 0.227539  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
475  | 
%10000 0.280748  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
476  | 
50000 1.087897  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
477  | 
100000 3.713165  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
478  | 
250000 21.6624545  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
479  | 
500000 85.872613  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
480  | 
750000 203.6408015  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
481  | 
1000000 345.736574  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
482  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
483  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
484  | 
\begin{filecontents}{interpreted.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
485  | 
200 1.005863  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
486  | 
400 7.8296765  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
487  | 
500 15.43106  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
488  | 
600 27.2321885  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
489  | 
800 65.249271  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
490  | 
1000 135.4493445  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
491  | 
1200 232.134097  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
492  | 
1400 382.527227  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
493  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
494  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
495  | 
\begin{filecontents}{interpreted2.data}
 | 
| 
398
 
c8ce95067c1a
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
242 
diff
changeset
 | 
496  | 
0 0  | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
497  | 
200 1.005863  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
498  | 
400 7.8296765  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
499  | 
600 27.2321885  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
500  | 
800 65.249271  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
501  | 
1000 135.4493445  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
502  | 
1200 232.134097  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
503  | 
1400 382.527227  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
504  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
505  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
506  | 
\begin{filecontents}{compiled2.data}
 | 
| 
398
 
c8ce95067c1a
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
242 
diff
changeset
 | 
507  | 
0 0  | 
| 
218
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
508  | 
200 0.222058  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
509  | 
400 0.215204  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
510  | 
600 0.202031  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
511  | 
800 0.21986  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
512  | 
1000 0.205934  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
513  | 
1200 0.1981615  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
514  | 
1400 0.207116  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
515  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
516  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
517  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
518  | 
\begin{filecontents}{s-grammar1.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
519  | 
1 0.01152  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
520  | 
51 0.07973  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
521  | 
101 0.09726  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
522  | 
151 0.09320  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
523  | 
201 0.10010  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
524  | 
251 0.16997  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
525  | 
301 0.26662  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
526  | 
351 0.46118  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
527  | 
401 0.62516  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
528  | 
451 0.87247  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
529  | 
501 1.16334  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
530  | 
551 1.71152  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
531  | 
601 2.10958  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
532  | 
651 2.44360  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
533  | 
701 2.98488  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
534  | 
751 3.50326  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
535  | 
801 4.11036  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
536  | 
851 4.93394  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
537  | 
901 5.77465  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
538  | 
951 7.39123  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
539  | 
\end{filecontents}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
540  | 
|
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
541  | 
\begin{filecontents}{s-grammar2.data}
 | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
542  | 
1 0.01280  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
543  | 
2 0.00064  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
544  | 
3 0.00173  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
545  | 
4 0.00355  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
546  | 
5 0.00965  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
547  | 
6 0.02674  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
548  | 
7 0.06953  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
549  | 
8 0.11166  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
550  | 
9 0.18707  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
551  | 
10 0.09189  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
552  | 
11 0.12724  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
553  | 
12 0.24337  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
554  | 
13 0.59304  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
555  | 
14 1.53594  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
556  | 
15 4.01195  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
557  | 
16 10.73582  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
558  | 
17 29.51587  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
559  | 
#18 73.14163  | 
| 
 
8f3f8d82da8b
added two new packages
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
560  | 
\end{filecontents}
 | 
| 966 | 561  | 
|
562  | 
||
563  | 
%  | 
|
564  | 
% Example (abcdef){n} in Rust and Scala
 | 
|
565  | 
%  | 
|
566  | 
||
567  | 
\begin{filecontents}{re-rust2.data}
 | 
|
568  | 
0 0  | 
|
569  | 
10000 2.655  | 
|
570  | 
15000 6.146  | 
|
571  | 
20000 11.268  | 
|
572  | 
25000 18.251  | 
|
573  | 
30000 27.739  | 
|
574  | 
35000 38.441  | 
|
575  | 
40000 51.953  | 
|
576  | 
\end{filecontents}
 | 
|
577  | 
||
578  | 
\begin{filecontents}{re-scala2.data}
 | 
|
579  | 
0 0.00019  | 
|
580  | 
5000 0.01527  | 
|
581  | 
10000 0.00634  | 
|
582  | 
15000 0.00671  | 
|
583  | 
20000 0.01144  | 
|
584  | 
25000 0.00835  | 
|
585  | 
30000 0.00885  | 
|
586  | 
35000 0.02456  | 
|
587  | 
40000 0.01786  | 
|
588  | 
\end{filecontents} |