VF2PPLabel/contactMapsIso.txt
author Madarasi Peter
Wed, 23 Nov 2016 20:59:40 +0100
changeset 11 e73184c3928f
permissions -rw-r--r--
Proof of distinctness of cutting rules in case of IND and SUB
     1 99	0.0291
     2 102	0.0328
     3 104	0.0368
     4 105	0.0354
     5 107	0.0324
     6 114	0.0306
     7 117	0.035
     8 120	0.0411
     9 122	0.042
    10 123	0.039
    11 124	0.034
    12 125	0.0448
    13 130	0.047
    14 133	0.0468
    15 136	0.0497
    16 137	0.0474
    17 138	0.0486
    18 140	0.0554
    19 141	0.0523
    20 144	0.0502
    21 146	0.0251
    22 147	0.0468
    23 149	0.0398
    24 150	0.0492
    25 151	0.0467
    26 156	0.0567
    27 157	0.0584
    28 158	0.0573
    29 159	0.0572
    30 162	0.0556
    31 164	0.0497
    32 169	0.061
    33 181	0.0565
    34 185	0.0713
    35 186	0.0713
    36 187	0.0643
    37 190	0.0721
    38 191	0.0699
    39 192	0.0715
    40 193	0.1412
    41 197	0.0747
    42 198	0.0757
    43 199	0.0739
    44 214	0.0725
    45 220	0.083
    46 221	0.0828
    47 222	0.0868
    48 224	0.0831
    49 225	0.0857
    50 226	0.0844
    51 228	0.0893
    52 237	0.0897
    53 252	0.0963
    54 264	0.103
    55 265	0.0965
    56 271	0.1004
    57 274	0.1138
    58 275	0.1237
    59 276	0.109
    60 277	0.1116
    61 280	0.1106
    62 286	0.11
    63 302	0.124
    64 327	0.1235
    65 330	0.1251
    66 334	0.1409
    67 336	0.1261
    68 359	0.1459
    69 360	0.1512
    70 385	0.1452
    71 387	0.1501
    72 388	0.1469
    73 393	0.1488
    74 395	0.1523
    75 414	0.1563
    76 428	0.18
    77 457	0.1943
    78 484	0.2123
    79 501	0.1909
    80 556	0.2064
    81 558	0.2014
    82 564	0.2397
    83 585	0.2323
    84 599	0.2355
    85 600	0.2311
    86 611	0.2585
    87 617	0.2293
    88 694	0.3452
    89 741	0.3004
    90 773	0.2149