VF2PPLabel/ContactMaps.32.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
     1 99	0.0319
     2 102	0.0274389
     3 104	0.027381
     4 105	0.0229333
     5 107	0.0347333
     6 114	0.0230667
     7 117	0.02285
     8 120	0.0233583
     9 122	0.0266111
    10 123	0.0244333
    11 124	0.0239333
    12 125	0.0318167
    13 130	0.0240833
    14 133	0.0253778
    15 136	0.0235833
    16 137	0.0274833
    17 138	0.0295083
    18 140	0.0270833
    19 141	0.02385
    20 144	0.0229833
    21 146	0.0232167
    22 147	0.0244
    23 149	0.0250667
    24 150	0.0248333
    25 151	0.0235222
    26 156	0.0233
    27 157	0.0249083
    28 158	0.028075
    29 159	0.0233833
    30 162	0.0245741
    31 164	0.0236667
    32 169	0.023
    33 181	0.0250167
    34 185	0.0259833
    35 186	0.0262333
    36 187	0.02605
    37 190	0.0271833
    38 191	0.0277167
    39 192	0.0282333
    40 193	0.0277333
    41 197	0.02325
    42 198	0.0233667
    43 199	0.0313667
    44 214	0.0289833
    45 220	0.0286833
    46 221	0.027525
    47 222	0.0289167
    48 224	0.02765
    49 225	0.0287333
    50 226	0.02915
    51 228	0.0292833
    52 237	0.0271167
    53 252	0.0277667
    54 264	0.02955
    55 265	0.0288167
    56 271	0.0280167
    57 274	0.0285333
    58 275	0.02865
    59 276	0.03445
    60 277	0.0312583
    61 280	0.0351667
    62 286	0.0354833
    63 302	0.0359167
    64 327	0.0329
    65 330	0.03155
    66 334	0.0306667
    67 336	0.0313
    68 359	0.0327167
    69 360	0.0303167
    70 385	0.03236
    71 387	0.032575
    72 388	0.0324667
    73 393	0.0312
    74 395	0.0314
    75 414	0.0391667
    76 428	0.0397667
    77 457	0.0333333
    78 484	0.0381
    79 501	0.0363167
    80 556	0.0352333
    81 558	0.0343
    82 564	0.0473333
    83 585	0.0320333
    84 599	0.0328833
    85 600	0.0333167
    86 611	0.044
    87 617	0.04865
    88 694	0.0386833
    89 741	0.0404167
    90 773	0.0341