ecp/data.sty
author Christian Urban <urbanc@in.tum.de>
Tue, 25 Jun 2019 22:43:21 +0100
changeset 18 4a9c9085fb85
parent 17 3241b1e71633
child 22 feffec3af1a1
permissions -rw-r--r--
deleted data-files and further unnecessary parts in data.sty
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
18
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset
     3
17
Chengsong
parents:
diff changeset
     4
Chengsong
parents:
diff changeset
     5
Chengsong
parents:
diff changeset
     6
\begin{filecontents}{re-python2.data}
Chengsong
parents:
diff changeset
     7
1 0.033
Chengsong
parents:
diff changeset
     8
5 0.036
Chengsong
parents:
diff changeset
     9
10 0.034
Chengsong
parents:
diff changeset
    10
15 0.036
Chengsong
parents:
diff changeset
    11
18 0.059
Chengsong
parents:
diff changeset
    12
19 0.084
Chengsong
parents:
diff changeset
    13
20 0.141
Chengsong
parents:
diff changeset
    14
21 0.248
Chengsong
parents:
diff changeset
    15
22 0.485
Chengsong
parents:
diff changeset
    16
23 0.878
Chengsong
parents:
diff changeset
    17
24 1.71
Chengsong
parents:
diff changeset
    18
25 3.40
Chengsong
parents:
diff changeset
    19
26 7.08
Chengsong
parents:
diff changeset
    20
27 14.12
Chengsong
parents:
diff changeset
    21
28 26.69
Chengsong
parents:
diff changeset
    22
\end{filecontents}
Chengsong
parents:
diff changeset
    23
18
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset
    24
17
Chengsong
parents:
diff changeset
    25
Chengsong
parents:
diff changeset
    26
% JavaScript, example (a*)*b  
Chengsong
parents:
diff changeset
    27
\begin{filecontents}{re-js.data}
Chengsong
parents:
diff changeset
    28
5   0.061
Chengsong
parents:
diff changeset
    29
10  0.061
Chengsong
parents:
diff changeset
    30
15  0.061
Chengsong
parents:
diff changeset
    31
20  0.070
Chengsong
parents:
diff changeset
    32
23  0.131
Chengsong
parents:
diff changeset
    33
25  0.308
Chengsong
parents:
diff changeset
    34
26  0.564
Chengsong
parents:
diff changeset
    35
28  1.994
Chengsong
parents:
diff changeset
    36
30  7.648
Chengsong
parents:
diff changeset
    37
31  15.881 
Chengsong
parents:
diff changeset
    38
32  32.190
Chengsong
parents:
diff changeset
    39
\end{filecontents}
Chengsong
parents:
diff changeset
    40
Chengsong
parents:
diff changeset
    41
% Java 8, example (a*)*b  
Chengsong
parents:
diff changeset
    42
\begin{filecontents}{re-java.data}
Chengsong
parents:
diff changeset
    43
5  0.00298
Chengsong
parents:
diff changeset
    44
10  0.00418
Chengsong
parents:
diff changeset
    45
15  0.00996
Chengsong
parents:
diff changeset
    46
16  0.01710
Chengsong
parents:
diff changeset
    47
17  0.03492
Chengsong
parents:
diff changeset
    48
18  0.03303
Chengsong
parents:
diff changeset
    49
19  0.05084
Chengsong
parents:
diff changeset
    50
20  0.10177
Chengsong
parents:
diff changeset
    51
21  0.19960
Chengsong
parents:
diff changeset
    52
22  0.41159
Chengsong
parents:
diff changeset
    53
23  0.82234
Chengsong
parents:
diff changeset
    54
24  1.70251
Chengsong
parents:
diff changeset
    55
25  3.36112
Chengsong
parents:
diff changeset
    56
26  6.63998
Chengsong
parents:
diff changeset
    57
27  13.35120
Chengsong
parents:
diff changeset
    58
28  29.81185
Chengsong
parents:
diff changeset
    59
\end{filecontents}
Chengsong
parents:
diff changeset
    60
Chengsong
parents:
diff changeset
    61