Slides/data.sty
author Christian Urban <urbanc@in.tum.de>
Sat, 04 Mar 2017 22:27:09 +0000
changeset 230 80e7a94f6670
parent 199 193a9fdcedd6
child 359 fedc16924b76
permissions -rw-r--r--
just for fun added the case for PLUS (was already proved as FROMNTIMES)

% The data files, written on the first run.

\begin{filecontents}{data/re-python.data}
1 0.029
5 0.029
10 0.029
15 0.032
16 0.042
17 0.042
18 0.055
19 0.084
20 0.136
21 0.248
22 0.464
23 0.899
24 1.773
25 3.505
26 6.993
27 14.503
28 29.307
#29 58.886
\end{filecontents}

\begin{filecontents}{data/re-ruby.data}
1 0.00006
#2 0.00003
#3 0.00001
#4 0.00001
5 0.00001
#6 0.00002
#7 0.00002
#8 0.00004
#9 0.00007
10 0.00013
#11 0.00026
#12 0.00055
#13 0.00106
#14 0.00196
15 0.00378
16 0.00764
17 0.01606
18 0.03094
19 0.06508
20 0.12420
21 0.25393
22 0.51449
23 1.02174
24 2.05998
25 4.22514
26 8.42479
27 16.88678
28 34.79653
\end{filecontents}


\begin{filecontents}{data/re1.data}
1 0.00179
2 0.00011
3 0.00014
4 0.00026
5 0.00050
6 0.00095
7 0.00190
8 0.00287
9 0.00779
10 0.01399
11 0.01894
12 0.03666
13 0.07994
14 0.08944
15 0.02377
16 0.07392
17 0.22798
18 0.65310
19 2.11360
20 6.31606
21 21.46013
\end{filecontents}

\begin{filecontents}{data/re2a.data}
1 0.00227
5 0.00027
10 0.00075
15 0.00178
20 0.00102
25 0.00028
30 0.00040
35 0.00052
40 0.00075
45 0.00125
50 0.00112
55 0.00099
60 0.00113
65 0.00137
70 0.00170
\end{filecontents}

\begin{filecontents}{data/re2b.data}
1 0.00020
51 0.00080
101 0.00678
151 0.01792
201 0.04815
251 0.09648
301 0.23195
351 0.52646
401 0.96277
451 1.57726
501 2.00166
551 2.98341
601 4.81181
651 6.57054
701 9.73973
751 14.25762
801 14.80760
851 19.60958
901 25.43550
951 31.96038
\end{filecontents}

\begin{filecontents}{data/re3.data}
1 0.001605
501 0.131066
1001 0.057885
1501 0.136875
2001 0.176238
2501 0.254363
3001 0.37262
3501 0.500946
4001 0.638384
4501 0.816605
5001 1.00491
5501 1.232505
6001 1.525672
6501 1.757502
7001 2.092784
7501 2.429224
8001 2.803037
8501 3.463045
9001 3.609
9501 4.081504
10001 4.54569
10501 6.17789
11001 6.77242
11501 7.95864
\end{filecontents}