| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Sat, 11 Oct 2025 08:33:35 +0100 | |
| changeset 1007 | fe2edf2cbd74 | 
| parent 967 | ce5de01b9632 | 
| 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: 
218diff
changeset | 47 | #2 0.00003 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
changeset | 48 | #3 0.00001 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
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: 
218diff
changeset | 51 | #6 0.00002 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
changeset | 52 | #7 0.00002 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
changeset | 53 | #8 0.00004 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
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: 
218diff
changeset | 56 | #11 0.00026 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
changeset | 57 | #12 0.00055 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
changeset | 58 | #13 0.00106 | 
| 
35104ee14f87
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
218diff
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: 
433diff
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: 
415diff
changeset | 206 | |
| 434 
8664ff87cd77
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
433diff
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: 
433diff
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: 
433diff
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: 
433diff
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: 
433diff
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: 
433diff
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: 
433diff
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: 
242diff
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: 
242diff
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}
 | 
| 967 | 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} |