VF2PPLabel/ContactMaps.16.txt
author Madarasi Peter
Wed, 23 Nov 2016 20:59:40 +0100
changeset 11 e73184c3928f
parent 2 20d1b0e5838f
child 18 e9f28d631c8b
permissions -rw-r--r--
Proof of distinctness of cutting rules in case of IND and SUB
madarasip@6
     1
99	0.0192167
madarasip@6
     2
102	0.0150389
madarasip@6
     3
104	0.0237095
madarasip@6
     4
105	0.011425
madarasip@6
     5
107	0.0191333
madarasip@6
     6
114	0.0113167
madarasip@6
     7
117	0.00963333
madarasip@6
     8
120	0.0153333
madarasip@6
     9
122	0.0137889
madarasip@6
    10
123	0.0201167
madarasip@6
    11
124	0.0114667
madarasip@6
    12
125	0.0147833
madarasip@6
    13
130	0.0147
madarasip@6
    14
133	0.0176667
madarasip@6
    15
136	0.0159167
madarasip@6
    16
137	0.0158389
madarasip@6
    17
138	0.0174556
madarasip@6
    18
140	0.01535
madarasip@6
    19
141	0.0132444
madarasip@6
    20
144	0.0133833
madarasip@6
    21
146	0.00996667
madarasip@6
    22
147	0.0123667
madarasip@6
    23
149	0.0121333
madarasip@6
    24
150	0.0136667
madarasip@6
    25
151	0.0206
madarasip@6
    26
156	0.0132667
madarasip@6
    27
157	0.0167667
madarasip@6
    28
158	0.0151667
madarasip@6
    29
159	0.0154833
madarasip@6
    30
162	0.0167667
madarasip@6
    31
164	0.0119667
madarasip@6
    32
169	0.00968333
madarasip@6
    33
181	0.0142167
madarasip@6
    34
185	0.0154167
madarasip@6
    35
186	0.0146
madarasip@6
    36
187	0.0229167
madarasip@6
    37
190	0.0150667
madarasip@6
    38
191	0.0140333
madarasip@6
    39
192	0.0158667
madarasip@6
    40
193	0.0142833
madarasip@6
    41
197	0.0119333
madarasip@6
    42
198	0.013
madarasip@6
    43
199	0.01485
madarasip@6
    44
214	0.021
madarasip@6
    45
220	0.0234417
madarasip@6
    46
221	0.0224917
madarasip@6
    47
222	0.0239333
madarasip@6
    48
224	0.0208167
madarasip@6
    49
225	0.0228167
madarasip@6
    50
226	0.0259333
madarasip@6
    51
228	0.0311333
madarasip@6
    52
237	0.0143833
madarasip@6
    53
252	0.0314667
madarasip@6
    54
264	0.0351833
madarasip@6
    55
265	0.0208833
madarasip@6
    56
271	0.0313583
madarasip@6
    57
274	0.0190333
madarasip@6
    58
275	0.0184833
madarasip@6
    59
276	0.0325833
madarasip@6
    60
277	0.0312833
madarasip@6
    61
280	0.0375667
madarasip@6
    62
286	0.0384667
madarasip@6
    63
302	0.079
madarasip@6
    64
327	0.0256667
madarasip@6
    65
330	0.0279667
madarasip@6
    66
334	0.0335
madarasip@6
    67
336	0.0285667
madarasip@6
    68
359	0.0305333
madarasip@6
    69
360	0.0397167
madarasip@6
    70
385	0.0371967
madarasip@6
    71
387	0.0379083
madarasip@6
    72
388	0.03805
madarasip@6
    73
393	0.0357381
madarasip@6
    74
395	0.0356667
madarasip@6
    75
414	0.03195
madarasip@6
    76
428	0.0407
madarasip@6
    77
457	0.0779467
madarasip@6
    78
484	0.04285
madarasip@6
    79
501	0.048725
madarasip@6
    80
556	0.0457
madarasip@6
    81
558	0.0403833
madarasip@6
    82
564	0.0576333
madarasip@6
    83
585	0.0395167
madarasip@6
    84
599	0.0381167
madarasip@6
    85
600	0.0545667
madarasip@6
    86
611	0.0756167
madarasip@6
    87
617	0.0943
madarasip@6
    88
694	0.0547
madarasip@6
    89
741	0.0485
madarasip@6
    90
773	0.0365