equal
deleted
inserted
replaced
|
1 % The data files, written on the first run. |
|
2 |
|
3 %% example a?{n} a{n} |
|
4 \begin{filecontents}{re-python.data} |
|
5 1 0.029 |
|
6 5 0.029 |
|
7 10 0.029 |
|
8 15 0.032 |
|
9 16 0.042 |
|
10 17 0.042 |
|
11 18 0.055 |
|
12 19 0.084 |
|
13 20 0.136 |
|
14 21 0.248 |
|
15 22 0.464 |
|
16 23 0.899 |
|
17 24 1.773 |
|
18 25 3.505 |
|
19 26 6.993 |
|
20 27 14.503 |
|
21 28 29.307 |
|
22 #29 58.886 |
|
23 \end{filecontents} |
|
24 |
|
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} |
|
46 1 0.00006 |
|
47 #2 0.00003 |
|
48 #3 0.00001 |
|
49 #4 0.00001 |
|
50 5 0.00001 |
|
51 #6 0.00002 |
|
52 #7 0.00002 |
|
53 #8 0.00004 |
|
54 #9 0.00007 |
|
55 10 0.00013 |
|
56 #11 0.00026 |
|
57 #12 0.00055 |
|
58 #13 0.00106 |
|
59 #14 0.00196 |
|
60 15 0.00378 |
|
61 16 0.00764 |
|
62 17 0.01606 |
|
63 18 0.03094 |
|
64 19 0.06508 |
|
65 20 0.12420 |
|
66 21 0.25393 |
|
67 22 0.51449 |
|
68 23 1.02174 |
|
69 24 2.05998 |
|
70 25 4.22514 |
|
71 26 8.42479 |
|
72 27 16.88678 |
|
73 28 34.79653 |
|
74 \end{filecontents} |
|
75 |
|
76 % JavaScript, example (a*)*b |
|
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 |