ecp/data.sty
author Chengsong
Tue, 25 Jun 2019 18:56:52 +0100
changeset 17 3241b1e71633
child 18 4a9c9085fb85
permissions -rw-r--r--
hi
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17
Chengsong
parents:
diff changeset
     1
% The data files, written on the first run.
Chengsong
parents:
diff changeset
     2
Chengsong
parents:
diff changeset
     3
%% example a?{n} a{n}
Chengsong
parents:
diff changeset
     4
\begin{filecontents}{re-python.data}
Chengsong
parents:
diff changeset
     5
1 0.029
Chengsong
parents:
diff changeset
     6
5 0.029
Chengsong
parents:
diff changeset
     7
10 0.029
Chengsong
parents:
diff changeset
     8
15 0.032
Chengsong
parents:
diff changeset
     9
16 0.042
Chengsong
parents:
diff changeset
    10
17 0.042
Chengsong
parents:
diff changeset
    11
18 0.055
Chengsong
parents:
diff changeset
    12
19 0.084
Chengsong
parents:
diff changeset
    13
20 0.136
Chengsong
parents:
diff changeset
    14
21 0.248
Chengsong
parents:
diff changeset
    15
22 0.464
Chengsong
parents:
diff changeset
    16
23 0.899
Chengsong
parents:
diff changeset
    17
24 1.773
Chengsong
parents:
diff changeset
    18
25 3.505
Chengsong
parents:
diff changeset
    19
26 6.993
Chengsong
parents:
diff changeset
    20
27 14.503
Chengsong
parents:
diff changeset
    21
28 29.307
Chengsong
parents:
diff changeset
    22
#29 58.886
Chengsong
parents:
diff changeset
    23
\end{filecontents}
Chengsong
parents:
diff changeset
    24
Chengsong
parents:
diff changeset
    25
Chengsong
parents:
diff changeset
    26
\begin{filecontents}{re-python2.data}
Chengsong
parents:
diff changeset
    27
1 0.033
Chengsong
parents:
diff changeset
    28
5 0.036
Chengsong
parents:
diff changeset
    29
10 0.034
Chengsong
parents:
diff changeset
    30
15 0.036
Chengsong
parents:
diff changeset
    31
18 0.059
Chengsong
parents:
diff changeset
    32
19 0.084
Chengsong
parents:
diff changeset
    33
20 0.141
Chengsong
parents:
diff changeset
    34
21 0.248
Chengsong
parents:
diff changeset
    35
22 0.485
Chengsong
parents:
diff changeset
    36
23 0.878
Chengsong
parents:
diff changeset
    37
24 1.71
Chengsong
parents:
diff changeset
    38
25 3.40
Chengsong
parents:
diff changeset
    39
26 7.08
Chengsong
parents:
diff changeset
    40
27 14.12
Chengsong
parents:
diff changeset
    41
28 26.69
Chengsong
parents:
diff changeset
    42
\end{filecontents}
Chengsong
parents:
diff changeset
    43
Chengsong
parents:
diff changeset
    44
%% example a?{n} a{n}
Chengsong
parents:
diff changeset
    45
\begin{filecontents}{re-ruby.data}
Chengsong
parents:
diff changeset
    46
1 0.00006
Chengsong
parents:
diff changeset
    47
#2 0.00003
Chengsong
parents:
diff changeset
    48
#3 0.00001
Chengsong
parents:
diff changeset
    49
#4 0.00001
Chengsong
parents:
diff changeset
    50
5 0.00001
Chengsong
parents:
diff changeset
    51
#6 0.00002
Chengsong
parents:
diff changeset
    52
#7 0.00002
Chengsong
parents:
diff changeset
    53
#8 0.00004
Chengsong
parents:
diff changeset
    54
#9 0.00007
Chengsong
parents:
diff changeset
    55
10 0.00013
Chengsong
parents:
diff changeset
    56
#11 0.00026
Chengsong
parents:
diff changeset
    57
#12 0.00055
Chengsong
parents:
diff changeset
    58
#13 0.00106
Chengsong
parents:
diff changeset
    59
#14 0.00196
Chengsong
parents:
diff changeset
    60
15 0.00378
Chengsong
parents:
diff changeset
    61
16 0.00764
Chengsong
parents:
diff changeset
    62
17 0.01606
Chengsong
parents:
diff changeset
    63
18 0.03094
Chengsong
parents:
diff changeset
    64
19 0.06508
Chengsong
parents:
diff changeset
    65
20 0.12420
Chengsong
parents:
diff changeset
    66
21 0.25393
Chengsong
parents:
diff changeset
    67
22 0.51449
Chengsong
parents:
diff changeset
    68
23 1.02174
Chengsong
parents:
diff changeset
    69
24 2.05998
Chengsong
parents:
diff changeset
    70
25 4.22514
Chengsong
parents:
diff changeset
    71
26 8.42479
Chengsong
parents:
diff changeset
    72
27 16.88678
Chengsong
parents:
diff changeset
    73
28 34.79653
Chengsong
parents:
diff changeset
    74
\end{filecontents}
Chengsong
parents:
diff changeset
    75
Chengsong
parents:
diff changeset
    76
% JavaScript, example (a*)*b  
Chengsong
parents:
diff changeset
    77
\begin{filecontents}{re-js.data}
Chengsong
parents:
diff changeset
    78
5   0.061
Chengsong
parents:
diff changeset
    79
10  0.061
Chengsong
parents:
diff changeset
    80
15  0.061
Chengsong
parents:
diff changeset
    81
20  0.070
Chengsong
parents:
diff changeset
    82
23  0.131
Chengsong
parents:
diff changeset
    83
25  0.308
Chengsong
parents:
diff changeset
    84
26  0.564
Chengsong
parents:
diff changeset
    85
28  1.994
Chengsong
parents:
diff changeset
    86
30  7.648
Chengsong
parents:
diff changeset
    87
31  15.881 
Chengsong
parents:
diff changeset
    88
32  32.190
Chengsong
parents:
diff changeset
    89
\end{filecontents}
Chengsong
parents:
diff changeset
    90
Chengsong
parents:
diff changeset
    91
% Java 8, example (a*)*b  
Chengsong
parents:
diff changeset
    92
\begin{filecontents}{re-java.data}
Chengsong
parents:
diff changeset
    93
5  0.00298
Chengsong
parents:
diff changeset
    94
10  0.00418
Chengsong
parents:
diff changeset
    95
15  0.00996
Chengsong
parents:
diff changeset
    96
16  0.01710
Chengsong
parents:
diff changeset
    97
17  0.03492
Chengsong
parents:
diff changeset
    98
18  0.03303
Chengsong
parents:
diff changeset
    99
19  0.05084
Chengsong
parents:
diff changeset
   100
20  0.10177
Chengsong
parents:
diff changeset
   101
21  0.19960
Chengsong
parents:
diff changeset
   102
22  0.41159
Chengsong
parents:
diff changeset
   103
23  0.82234
Chengsong
parents:
diff changeset
   104
24  1.70251
Chengsong
parents:
diff changeset
   105
25  3.36112
Chengsong
parents:
diff changeset
   106
26  6.63998
Chengsong
parents:
diff changeset
   107
27  13.35120
Chengsong
parents:
diff changeset
   108
28  29.81185
Chengsong
parents:
diff changeset
   109
\end{filecontents}
Chengsong
parents:
diff changeset
   110
Chengsong
parents:
diff changeset
   111