Slides/data.sty
author Christian Urban <urbanc@in.tum.de>
Sat, 23 Feb 2019 21:52:06 +0000
changeset 313 3b8e3a156200
parent 199 193a9fdcedd6
child 359 fedc16924b76
permissions -rw-r--r--
adapted the Bitcoded correctness proof to using AALTs
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
% The data files, written on the first run.
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
     3
\begin{filecontents}{data/re-python.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
1 0.029
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
5 0.029
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
10 0.029
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
15 0.032
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
16 0.042
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
17 0.042
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
18 0.055
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
19 0.084
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
20 0.136
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
21 0.248
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
22 0.464
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    15
23 0.899
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    16
24 1.773
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    17
25 3.505
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    18
26 6.993
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    19
27 14.503
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    20
28 29.307
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    21
#29 58.886
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    22
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    23
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
    24
\begin{filecontents}{data/re-ruby.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    25
1 0.00006
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    26
#2 0.00003
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    27
#3 0.00001
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    28
#4 0.00001
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    29
5 0.00001
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    30
#6 0.00002
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    31
#7 0.00002
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    32
#8 0.00004
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    33
#9 0.00007
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    34
10 0.00013
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    35
#11 0.00026
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    36
#12 0.00055
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    37
#13 0.00106
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    38
#14 0.00196
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    39
15 0.00378
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    40
16 0.00764
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    41
17 0.01606
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    42
18 0.03094
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    43
19 0.06508
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    44
20 0.12420
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    45
21 0.25393
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
22 0.51449
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
23 1.02174
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
24 2.05998
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
25 4.22514
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
26 8.42479
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
27 16.88678
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    52
28 34.79653
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    53
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    54
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    55
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
    56
\begin{filecontents}{data/re1.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    57
1 0.00179
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    58
2 0.00011
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    59
3 0.00014
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
4 0.00026
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    61
5 0.00050
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    62
6 0.00095
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    63
7 0.00190
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    64
8 0.00287
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    65
9 0.00779
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    66
10 0.01399
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    67
11 0.01894
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    68
12 0.03666
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    69
13 0.07994
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    70
14 0.08944
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
15 0.02377
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    72
16 0.07392
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    73
17 0.22798
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    74
18 0.65310
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    75
19 2.11360
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    76
20 6.31606
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    77
21 21.46013
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    78
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    79
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
    80
\begin{filecontents}{data/re2a.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
1 0.00227
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
5 0.00027
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    83
10 0.00075
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    84
15 0.00178
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    85
20 0.00102
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    86
25 0.00028
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
30 0.00040
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    88
35 0.00052
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
40 0.00075
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    90
45 0.00125
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    91
50 0.00112
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    92
55 0.00099
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    93
60 0.00113
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    94
65 0.00137
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    95
70 0.00170
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    96
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    97
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
    98
\begin{filecontents}{data/re2b.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    99
1 0.00020
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   100
51 0.00080
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   101
101 0.00678
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   102
151 0.01792
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   103
201 0.04815
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   104
251 0.09648
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   105
301 0.23195
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   106
351 0.52646
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   107
401 0.96277
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   108
451 1.57726
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   109
501 2.00166
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   110
551 2.98341
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   111
601 4.81181
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   112
651 6.57054
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   113
701 9.73973
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   114
751 14.25762
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   115
801 14.80760
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   116
851 19.60958
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   117
901 25.43550
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   118
951 31.96038
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   119
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   120
199
193a9fdcedd6 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 198
diff changeset
   121
\begin{filecontents}{data/re3.data}
198
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   122
1 0.001605
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   123
501 0.131066
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   124
1001 0.057885
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   125
1501 0.136875
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   126
2001 0.176238
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   127
2501 0.254363
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   128
3001 0.37262
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   129
3501 0.500946
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   130
4001 0.638384
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   131
4501 0.816605
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   132
5001 1.00491
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   133
5501 1.232505
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   134
6001 1.525672
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   135
6501 1.757502
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   136
7001 2.092784
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   137
7501 2.429224
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   138
8001 2.803037
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   139
8501 3.463045
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   140
9001 3.609
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   141
9501 4.081504
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   142
10001 4.54569
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   143
10501 6.17789
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   144
11001 6.77242
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   145
11501 7.95864
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   146
\end{filecontents}
1f961c9e4dd6 added data plots
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   147