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 %% example a?{n} a{n} |
3 \begin{filecontents}{re-python.data} |
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 |
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 |
|
25 |
24 \begin{filecontents}{re-python2.data} |
26 \begin{filecontents}{re-python2.data} |
25 1 0.033 |
27 1 0.033 |
26 5 0.036 |
28 5 0.036 |
27 10 0.034 |
29 10 0.034 |
28 15 0.036 |
30 15 0.036 |
37 26 7.08 |
39 26 7.08 |
38 27 14.12 |
40 27 14.12 |
39 28 26.69 |
41 28 26.69 |
40 \end{filecontents} |
42 \end{filecontents} |
41 |
43 |
42 |
44 %% example a?{n} a{n} |
43 \begin{filecontents}{re-ruby.data} |
45 \begin{filecontents}{re-ruby.data} |
44 1 0.00006 |
46 1 0.00006 |
45 #2 0.00003 |
47 #2 0.00003 |
46 #3 0.00001 |
48 #3 0.00001 |
47 #4 0.00001 |
49 #4 0.00001 |
69 26 8.42479 |
71 26 8.42479 |
70 27 16.88678 |
72 27 16.88678 |
71 28 34.79653 |
73 28 34.79653 |
72 \end{filecontents} |
74 \end{filecontents} |
73 |
75 |
|
76 % Java 8, example (a*)*b |
74 \begin{filecontents}{re-java.data} |
77 \begin{filecontents}{re-java.data} |
75 5 0.00298 |
78 5 0.00298 |
76 10 0.00418 |
79 10 0.00418 |
77 15 0.00996 |
80 15 0.00996 |
78 16 0.01710 |
81 16 0.01710 |
86 24 1.70251 |
89 24 1.70251 |
87 25 3.36112 |
90 25 3.36112 |
88 26 6.63998 |
91 26 6.63998 |
89 27 13.35120 |
92 27 13.35120 |
90 28 29.81185 |
93 28 29.81185 |
|
94 \end{filecontents} |
|
95 |
|
96 % Java 9+, example (a*)*b |
|
97 \begin{filecontents}{re-java9.data} |
|
98 1000 0.01871 |
|
99 3000 0.16727 |
|
100 5000 0.44669 |
|
101 7000 0.87708 |
|
102 9000 1.46304 |
|
103 11000 2.21094 |
|
104 13000 3.08650 |
|
105 15000 4.23359 |
|
106 17000 4.97240 |
|
107 19000 6.50150 |
|
108 21000 8.43740 |
|
109 23000 9.66842 |
|
110 25000 10.93754 |
|
111 27000 13.51069 |
|
112 29000 14.73643 |
|
113 31000 16.69299 |
|
114 33000 19.04270 |
|
115 35000 21.08329 |
|
116 37000 23.75398 |
|
117 39000 26.15787 |
91 \end{filecontents} |
118 \end{filecontents} |
92 |
119 |
93 %% re1.scala: example a?{n} a{n} |
120 %% re1.scala: example a?{n} a{n} |
94 \begin{filecontents}{re1.data} |
121 \begin{filecontents}{re1.data} |
95 1 0.00179 |
122 1 0.00179 |