etnms/data.sty
author Chengsong
Thu, 09 Jan 2020 22:21:04 +0000
changeset 94 2e2dca212fff
permissions -rw-r--r--
add
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
94
Chengsong
parents:
diff changeset
     1
% The data files, written on the first run.
Chengsong
parents:
diff changeset
     2
Chengsong
parents:
diff changeset
     3
Chengsong
parents:
diff changeset
     4
\begin{filecontents}{re-python2.data}
Chengsong
parents:
diff changeset
     5
1 0.033
Chengsong
parents:
diff changeset
     6
5 0.036
Chengsong
parents:
diff changeset
     7
10 0.034
Chengsong
parents:
diff changeset
     8
15 0.036
Chengsong
parents:
diff changeset
     9
18 0.059
Chengsong
parents:
diff changeset
    10
19 0.084
Chengsong
parents:
diff changeset
    11
20 0.141
Chengsong
parents:
diff changeset
    12
21 0.248
Chengsong
parents:
diff changeset
    13
22 0.485
Chengsong
parents:
diff changeset
    14
23 0.878
Chengsong
parents:
diff changeset
    15
24 1.71
Chengsong
parents:
diff changeset
    16
25 3.40
Chengsong
parents:
diff changeset
    17
26 7.08
Chengsong
parents:
diff changeset
    18
27 14.12
Chengsong
parents:
diff changeset
    19
28 26.69
Chengsong
parents:
diff changeset
    20
\end{filecontents}
Chengsong
parents:
diff changeset
    21
Chengsong
parents:
diff changeset
    22
Chengsong
parents:
diff changeset
    23
% JavaScript, example (a*)*b  
Chengsong
parents:
diff changeset
    24
\begin{filecontents}{re-js.data}
Chengsong
parents:
diff changeset
    25
5   0.061
Chengsong
parents:
diff changeset
    26
10  0.061
Chengsong
parents:
diff changeset
    27
15  0.061
Chengsong
parents:
diff changeset
    28
20  0.070
Chengsong
parents:
diff changeset
    29
23  0.131
Chengsong
parents:
diff changeset
    30
25  0.308
Chengsong
parents:
diff changeset
    31
26  0.564
Chengsong
parents:
diff changeset
    32
28  1.994
Chengsong
parents:
diff changeset
    33
30  7.648
Chengsong
parents:
diff changeset
    34
31  15.881 
Chengsong
parents:
diff changeset
    35
32  32.190
Chengsong
parents:
diff changeset
    36
\end{filecontents}
Chengsong
parents:
diff changeset
    37
Chengsong
parents:
diff changeset
    38
% Java 8, example (a*)*b  
Chengsong
parents:
diff changeset
    39
\begin{filecontents}{re-java.data}
Chengsong
parents:
diff changeset
    40
5  0.00298
Chengsong
parents:
diff changeset
    41
10  0.00418
Chengsong
parents:
diff changeset
    42
15  0.00996
Chengsong
parents:
diff changeset
    43
16  0.01710
Chengsong
parents:
diff changeset
    44
17  0.03492
Chengsong
parents:
diff changeset
    45
18  0.03303
Chengsong
parents:
diff changeset
    46
19  0.05084
Chengsong
parents:
diff changeset
    47
20  0.10177
Chengsong
parents:
diff changeset
    48
21  0.19960
Chengsong
parents:
diff changeset
    49
22  0.41159
Chengsong
parents:
diff changeset
    50
23  0.82234
Chengsong
parents:
diff changeset
    51
24  1.70251
Chengsong
parents:
diff changeset
    52
25  3.36112
Chengsong
parents:
diff changeset
    53
26  6.63998
Chengsong
parents:
diff changeset
    54
27  13.35120
Chengsong
parents:
diff changeset
    55
28  29.81185
Chengsong
parents:
diff changeset
    56
\end{filecontents}
Chengsong
parents:
diff changeset
    57
Chengsong
parents:
diff changeset
    58
% Java, example (a*)b  
Chengsong
parents:
diff changeset
    59
\begin{filecontents}{good-java.data}
Chengsong
parents:
diff changeset
    60
1 1.5633E-5
Chengsong
parents:
diff changeset
    61
2 1.299E-5
Chengsong
parents:
diff changeset
    62
3 1.1451E-5
Chengsong
parents:
diff changeset
    63
4 1.5846E-5
Chengsong
parents:
diff changeset
    64
5 1.9934E-5
Chengsong
parents:
diff changeset
    65
6 2.174E-5
Chengsong
parents:
diff changeset
    66
7 2.7669E-5
Chengsong
parents:
diff changeset
    67
8 2.8657E-5
Chengsong
parents:
diff changeset
    68
9 2.8161E-5
Chengsong
parents:
diff changeset
    69
10 2.8729E-5
Chengsong
parents:
diff changeset
    70
11 3.5367E-5
Chengsong
parents:
diff changeset
    71
12 3.701E-5
Chengsong
parents:
diff changeset
    72
13 3.84E-5
Chengsong
parents:
diff changeset
    73
14 4.1329E-5
Chengsong
parents:
diff changeset
    74
15 4.8116E-5
Chengsong
parents:
diff changeset
    75
16 5.3597E-5
Chengsong
parents:
diff changeset
    76
17 4.6792E-5
Chengsong
parents:
diff changeset
    77
18 5.8618E-5
Chengsong
parents:
diff changeset
    78
19 6.2078E-5
Chengsong
parents:
diff changeset
    79
20 6.4702E-5
Chengsong
parents:
diff changeset
    80
21 6.1464E-5
Chengsong
parents:
diff changeset
    81
22 6.4693E-5
Chengsong
parents:
diff changeset
    82
23 6.1667E-5
Chengsong
parents:
diff changeset
    83
24 7.1466E-5
Chengsong
parents:
diff changeset
    84
25 7.8089E-5
Chengsong
parents:
diff changeset
    85
26 7.4661E-5
Chengsong
parents:
diff changeset
    86
27 7.5628E-5
Chengsong
parents:
diff changeset
    87
28 8.9169E-5
Chengsong
parents:
diff changeset
    88
29 9.4161E-5
Chengsong
parents:
diff changeset
    89
30 9.8494E-5
Chengsong
parents:
diff changeset
    90
\end{filecontents}
Chengsong
parents:
diff changeset
    91
Chengsong
parents:
diff changeset
    92
\begin{filecontents}{bad-scala.data}
Chengsong
parents:
diff changeset
    93
1  0.048028
Chengsong
parents:
diff changeset
    94
2  0.126308
Chengsong
parents:
diff changeset
    95
3  0.169670
Chengsong
parents:
diff changeset
    96
4  0.264180
Chengsong
parents:
diff changeset
    97
5  0.384297
Chengsong
parents:
diff changeset
    98
6  0.612785
Chengsong
parents:
diff changeset
    99
7  0.817211
Chengsong
parents:
diff changeset
   100
8  1.089386
Chengsong
parents:
diff changeset
   101
9  1.363222
Chengsong
parents:
diff changeset
   102
10  1.644981
Chengsong
parents:
diff changeset
   103
11  1.987046
Chengsong
parents:
diff changeset
   104
12  2.416012
Chengsong
parents:
diff changeset
   105
13  2.920956
Chengsong
parents:
diff changeset
   106
14  3.398956
Chengsong
parents:
diff changeset
   107
15  3.739649
Chengsong
parents:
diff changeset
   108
16  4.329977
Chengsong
parents:
diff changeset
   109
17  4.932896
Chengsong
parents:
diff changeset
   110
18  5.633909
Chengsong
parents:
diff changeset
   111
19  6.436107
Chengsong
parents:
diff changeset
   112
20  6.927233
Chengsong
parents:
diff changeset
   113
21  7.441163
Chengsong
parents:
diff changeset
   114
22  8.242139
Chengsong
parents:
diff changeset
   115
23  8.901034
Chengsong
parents:
diff changeset
   116
24  9.680487
Chengsong
parents:
diff changeset
   117
25  10.496226
Chengsong
parents:
diff changeset
   118
26  11.385733
Chengsong
parents:
diff changeset
   119
27  12.247613
Chengsong
parents:
diff changeset
   120
28  13.990491
Chengsong
parents:
diff changeset
   121
29  14.245804
Chengsong
parents:
diff changeset
   122
30  15.206283
Chengsong
parents:
diff changeset
   123
\end{filecontents}