equal
deleted
inserted
replaced
1 % The data files, written on the first run. |
1 % The data files, written on the first run. |
2 |
2 |
3 \begin{filecontents}{data/re-python.data} |
3 %% example a?{n} a{n} |
|
4 \begin{filecontents}{re-python.data} |
4 1 0.029 |
5 1 0.029 |
5 5 0.029 |
6 5 0.029 |
6 10 0.029 |
7 10 0.029 |
7 15 0.032 |
8 15 0.032 |
8 16 0.042 |
9 16 0.042 |
19 27 14.503 |
20 27 14.503 |
20 28 29.307 |
21 28 29.307 |
21 #29 58.886 |
22 #29 58.886 |
22 \end{filecontents} |
23 \end{filecontents} |
23 |
24 |
24 \begin{filecontents}{data/re-ruby.data} |
25 |
|
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 |
|
44 %% example a?{n} a{n} |
|
45 \begin{filecontents}{re-ruby.data} |
25 1 0.00006 |
46 1 0.00006 |
26 #2 0.00003 |
47 #2 0.00003 |
27 #3 0.00001 |
48 #3 0.00001 |
28 #4 0.00001 |
49 #4 0.00001 |
29 5 0.00001 |
50 5 0.00001 |
50 26 8.42479 |
71 26 8.42479 |
51 27 16.88678 |
72 27 16.88678 |
52 28 34.79653 |
73 28 34.79653 |
53 \end{filecontents} |
74 \end{filecontents} |
54 |
75 |
55 |
76 % JavaScript, example (a*)*b |
56 \begin{filecontents}{data/re1.data} |
77 \begin{filecontents}{re-js.data} |
|
78 5 0.061 |
|
79 10 0.061 |
|
80 15 0.061 |
|
81 20 0.070 |
|
82 23 0.131 |
|
83 25 0.308 |
|
84 26 0.564 |
|
85 28 1.994 |
|
86 30 7.648 |
|
87 31 15.881 |
|
88 32 32.190 |
|
89 \end{filecontents} |
|
90 |
|
91 % Java 8, example (a*)*b |
|
92 \begin{filecontents}{re-java.data} |
|
93 5 0.00298 |
|
94 10 0.00418 |
|
95 15 0.00996 |
|
96 16 0.01710 |
|
97 17 0.03492 |
|
98 18 0.03303 |
|
99 19 0.05084 |
|
100 20 0.10177 |
|
101 21 0.19960 |
|
102 22 0.41159 |
|
103 23 0.82234 |
|
104 24 1.70251 |
|
105 25 3.36112 |
|
106 26 6.63998 |
|
107 27 13.35120 |
|
108 28 29.81185 |
|
109 \end{filecontents} |
|
110 |
|
111 % Java 9+, example (a*)*b |
|
112 \begin{filecontents}{re-java9.data} |
|
113 1000 0.01871 |
|
114 3000 0.16727 |
|
115 5000 0.44669 |
|
116 7000 0.87708 |
|
117 9000 1.46304 |
|
118 11000 2.21094 |
|
119 13000 3.08650 |
|
120 15000 4.23359 |
|
121 17000 4.97240 |
|
122 19000 6.50150 |
|
123 21000 8.43740 |
|
124 23000 9.66842 |
|
125 25000 10.93754 |
|
126 27000 13.51069 |
|
127 29000 14.73643 |
|
128 31000 16.69299 |
|
129 33000 19.04270 |
|
130 35000 21.08329 |
|
131 37000 23.75398 |
|
132 39000 26.15787 |
|
133 \end{filecontents} |
|
134 |
|
135 |
|
136 |
|
137 %% re1.scala: example a?{n} a{n} |
|
138 \begin{filecontents}{re1.data} |
57 1 0.00179 |
139 1 0.00179 |
58 2 0.00011 |
140 2 0.00011 |
59 3 0.00014 |
141 3 0.00014 |
60 4 0.00026 |
142 4 0.00026 |
61 5 0.00050 |
143 5 0.00050 |
75 19 2.11360 |
157 19 2.11360 |
76 20 6.31606 |
158 20 6.31606 |
77 21 21.46013 |
159 21 21.46013 |
78 \end{filecontents} |
160 \end{filecontents} |
79 |
161 |
80 \begin{filecontents}{data/re2a.data} |
162 |
81 1 0.00227 |
163 %% re1.scala: example (a*)* b |
82 5 0.00027 |
164 \begin{filecontents}{re1a.data} |
83 10 0.00075 |
165 1 0.00003 |
84 15 0.00178 |
166 2 0.00002 |
85 20 0.00102 |
167 3 0.00004 |
86 25 0.00028 |
168 4 0.00023 |
87 30 0.00040 |
169 5 0.00012 |
88 35 0.00052 |
170 6 0.00016 |
89 40 0.00075 |
171 7 0.00036 |
90 45 0.00125 |
172 8 0.00100 |
91 50 0.00112 |
173 9 0.00158 |
92 55 0.00099 |
174 10 0.00271 |
93 60 0.00113 |
175 11 0.00420 |
94 65 0.00137 |
176 12 0.01034 |
95 70 0.00170 |
177 13 0.01629 |
96 \end{filecontents} |
178 14 0.03469 |
97 |
179 15 0.08800 |
98 \begin{filecontents}{data/re2b.data} |
180 16 0.12071 |
99 1 0.00020 |
181 17 0.27164 |
100 51 0.00080 |
182 18 0.53962 |
101 101 0.00678 |
183 19 1.05733 |
102 151 0.01792 |
184 20 2.34022 |
103 201 0.04815 |
185 \end{filecontents} |
104 251 0.09648 |
186 |
105 301 0.23195 |
187 %% re2.scala example a?{n} a{n} |
106 351 0.52646 |
188 \begin{filecontents}{re2.data} |
107 401 0.96277 |
189 1 0.00050 |
108 451 1.57726 |
190 101 0.02030 |
109 501 2.00166 |
191 201 0.10587 |
110 551 2.98341 |
192 301 0.31188 |
111 601 4.81181 |
193 401 0.32794 |
112 651 6.57054 |
194 501 0.64490 |
113 701 9.73973 |
195 601 1.16738 |
114 751 14.25762 |
196 701 2.10815 |
115 801 14.80760 |
197 801 3.47144 |
116 851 19.60958 |
198 901 6.80621 |
117 901 25.43550 |
199 1001 12.35611 |
118 951 31.96038 |
200 1101 23.80084 |
119 \end{filecontents} |
201 \end{filecontents} |
120 |
202 |
121 \begin{filecontents}{data/re3.data} |
203 %% re2.scala: example (a*)* b |
122 1 0.001605 |
204 \begin{filecontents}{re2a.data} |
123 501 0.131066 |
205 1 0.00004 |
124 1001 0.057885 |
206 2 0.00003 |
125 1501 0.136875 |
207 3 0.00004 |
126 2001 0.176238 |
208 4 0.00014 |
127 2501 0.254363 |
209 5 0.00017 |
128 3001 0.37262 |
210 6 0.00029 |
129 3501 0.500946 |
211 7 0.00046 |
130 4001 0.638384 |
212 8 0.00084 |
131 4501 0.816605 |
213 9 0.00137 |
132 5001 1.00491 |
214 10 0.00203 |
133 5501 1.232505 |
215 11 0.00379 |
134 6001 1.525672 |
216 12 0.00783 |
135 6501 1.757502 |
217 13 0.01583 |
136 7001 2.092784 |
218 14 0.04725 |
137 7501 2.429224 |
219 15 0.06672 |
138 8001 2.803037 |
220 16 0.16228 |
139 8501 3.463045 |
221 17 0.25493 |
140 9001 3.609 |
222 18 0.53676 |
141 9501 4.081504 |
223 19 1.09052 |
142 10001 4.54569 |
224 20 2.56922 |
143 10501 6.17789 |
225 \end{filecontents} |
144 11001 6.77242 |
226 |
145 11501 7.95864 |
227 %% re3.scala: example a?{n} a{n} |
146 \end{filecontents} |
228 \begin{filecontents}{re3.data} |
147 |
229 1 0.00003 |
|
230 1001 0.03887 |
|
231 2001 0.15666 |
|
232 3001 0.35910 |
|
233 4001 0.63950 |
|
234 5001 1.00241 |
|
235 6001 1.50480 |
|
236 7001 2.11568 |
|
237 8001 2.71208 |
|
238 9001 3.41157 |
|
239 10001 4.19962 |
|
240 11001 5.70387 |
|
241 \end{filecontents} |
|
242 |
|
243 %% re3.scala: example (a*)* b |
|
244 \begin{filecontents}{re3a.data} |
|
245 1 0.00003 |
|
246 500001 0.22527 |
|
247 1000001 0.62752 |
|
248 1500001 0.88485 |
|
249 2000001 1.39815 |
|
250 2500001 1.68619 |
|
251 3000001 1.94957 |
|
252 3500001 2.15878 |
|
253 4000001 2.59918 |
|
254 4500001 5.90679 |
|
255 5000001 13.11295 |
|
256 5500001 19.15376 |
|
257 6000001 40.16373 |
|
258 \end{filecontents} |
|
259 \begin{filecontents}{re3b.data} |
|
260 1 0.00015 |
|
261 500001 0.28337 |
|
262 1000001 0.53271 |
|
263 1500001 0.84478 |
|
264 2000001 1.11763 |
|
265 2500001 1.76656 |
|
266 3000001 2.13310 |
|
267 3500001 2.39576 |
|
268 4000001 2.98624 |
|
269 4500001 5.96529 |
|
270 5000001 13.56911 |
|
271 5500001 18.43089 |
|
272 6000001 40.33704 |
|
273 \end{filecontents} |
|
274 |
|
275 %% re4.scala example a?{n} a{n} |
|
276 \begin{filecontents}{re4.data} |
|
277 1 0.01399 |
|
278 500001 1.43645 |
|
279 1000001 2.59394 |
|
280 1500001 4.07990 |
|
281 2000001 5.22473 |
|
282 2500001 6.41714 |
|
283 3000001 7.60118 |
|
284 3500001 9.02056 |
|
285 4000001 10.50393 |
|
286 4500001 11.56631 |
|
287 5000001 13.72020 |
|
288 5500001 15.09634 |
|
289 6000001 29.26990 |
|
290 6500001 33.41039 |
|
291 7000001 39.06532 |
|
292 \end{filecontents} |
|
293 |
|
294 %% re4.scala example (a*)* b |
|
295 \begin{filecontents}{re4a.data} |
|
296 1 0.00015 |
|
297 500001 2.57302 |
|
298 1000001 5.58966 |
|
299 1500001 8.16531 |
|
300 2000001 10.85055 |
|
301 2500001 13.42080 |
|
302 3000001 16.08712 |
|
303 3500001 18.58433 |
|
304 4000001 21.23788 |
|
305 4500001 23.72459 |
|
306 5000001 27.47479 |
|
307 5500001 31.85240 |
|
308 6000001 37.12461 |
|
309 6500001 39.90294 |
|
310 7000001 53.50961 |
|
311 \end{filecontents} |
|
312 |
|
313 \begin{filecontents}{nfa.data} |
|
314 0 0.00099 |
|
315 5 0.01304 |
|
316 10 0.05350 |
|
317 15 0.10152 |
|
318 20 0.10876 |
|
319 25 0.06984 |
|
320 30 0.09693 |
|
321 35 0.04805 |
|
322 40 0.07512 |
|
323 45 0.07624 |
|
324 50 0.10451 |
|
325 55 0.13285 |
|
326 60 0.15748 |
|
327 65 0.19982 |
|
328 70 0.24075 |
|
329 75 0.28963 |
|
330 80 0.35734 |
|
331 85 0.43735 |
|
332 90 0.49692 |
|
333 95 0.59551 |
|
334 100 0.72236 |
|
335 \end{filecontents} |
|
336 |
|
337 \begin{filecontents}{nfasearch.data} |
|
338 0 0.00009 |
|
339 1 0.00147 |
|
340 2 0.00030 |
|
341 3 0.00062 |
|
342 4 0.00132 |
|
343 5 0.00177 |
|
344 6 0.00487 |
|
345 7 0.00947 |
|
346 8 0.01757 |
|
347 9 0.02050 |
|
348 10 0.02091 |
|
349 11 0.04002 |
|
350 12 0.08662 |
|
351 13 0.17269 |
|
352 14 0.37255 |
|
353 15 0.81935 |
|
354 16 1.76254 |
|
355 17 3.89442 |
|
356 18 8.42263 |
|
357 19 17.89661 |
|
358 20 38.21481 |
|
359 \end{filecontents} |
|
360 |
|
361 \begin{filecontents}{compiled.data} |
|
362 %1 0.234146 |
|
363 %5000 0.227539 |
|
364 %10000 0.280748 |
|
365 50000 1.087897 |
|
366 100000 3.713165 |
|
367 250000 21.6624545 |
|
368 500000 85.872613 |
|
369 750000 203.6408015 |
|
370 1000000 345.736574 |
|
371 \end{filecontents} |
|
372 |
|
373 \begin{filecontents}{interpreted.data} |
|
374 200 1.005863 |
|
375 400 7.8296765 |
|
376 500 15.43106 |
|
377 600 27.2321885 |
|
378 800 65.249271 |
|
379 1000 135.4493445 |
|
380 1200 232.134097 |
|
381 1400 382.527227 |
|
382 \end{filecontents} |
|
383 |
|
384 \begin{filecontents}{interpreted2.data} |
|
385 0 0 |
|
386 200 1.005863 |
|
387 400 7.8296765 |
|
388 600 27.2321885 |
|
389 800 65.249271 |
|
390 1000 135.4493445 |
|
391 1200 232.134097 |
|
392 1400 382.527227 |
|
393 \end{filecontents} |
|
394 |
|
395 \begin{filecontents}{compiled2.data} |
|
396 0 0 |
|
397 200 0.222058 |
|
398 400 0.215204 |
|
399 600 0.202031 |
|
400 800 0.21986 |
|
401 1000 0.205934 |
|
402 1200 0.1981615 |
|
403 1400 0.207116 |
|
404 \end{filecontents} |
|
405 |
|
406 |
|
407 \begin{filecontents}{s-grammar1.data} |
|
408 1 0.01152 |
|
409 51 0.07973 |
|
410 101 0.09726 |
|
411 151 0.09320 |
|
412 201 0.10010 |
|
413 251 0.16997 |
|
414 301 0.26662 |
|
415 351 0.46118 |
|
416 401 0.62516 |
|
417 451 0.87247 |
|
418 501 1.16334 |
|
419 551 1.71152 |
|
420 601 2.10958 |
|
421 651 2.44360 |
|
422 701 2.98488 |
|
423 751 3.50326 |
|
424 801 4.11036 |
|
425 851 4.93394 |
|
426 901 5.77465 |
|
427 951 7.39123 |
|
428 \end{filecontents} |
|
429 |
|
430 \begin{filecontents}{s-grammar2.data} |
|
431 1 0.01280 |
|
432 2 0.00064 |
|
433 3 0.00173 |
|
434 4 0.00355 |
|
435 5 0.00965 |
|
436 6 0.02674 |
|
437 7 0.06953 |
|
438 8 0.11166 |
|
439 9 0.18707 |
|
440 10 0.09189 |
|
441 11 0.12724 |
|
442 12 0.24337 |
|
443 13 0.59304 |
|
444 14 1.53594 |
|
445 15 4.01195 |
|
446 16 10.73582 |
|
447 17 29.51587 |
|
448 #18 73.14163 |
|
449 \end{filecontents} |