VF2PPLabel/Proteins.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
     1 535	0.128633
     2 554	0.125333
     3 571	0.125633
     4 614	0.138211
     5 634	0.1356
     6 636	0.139333
     7 639	0.1551
     8 730	0.174333
     9 731	0.1531
    10 734	0.1686
    11 735	0.174067
    12 737	0.1753
    13 755	0.176233
    14 760	0.163667
    15 788	0.178267
    16 794	0.177492
    17 795	0.1799
    18 802	0.191867
    19 816	0.178933
    20 819	0.190633
    21 831	0.182133
    22 833	0.187733
    23 838	0.185633
    24 858	0.195633
    25 861	0.196667
    26 874	0.2006
    27 877	0.195933
    28 879	0.190533
    29 886	0.1976
    30 899	0.192267
    31 957	0.2213
    32 982	0.2146
    33 995	0.227667
    34 1019	0.2356
    35 1022	0.2394
    36 1046	0.233378
    37 1049	0.2593
    38 1060	0.244889
    39 1073	0.248033
    40 1076	0.2504
    41 1097	0.2311
    42 1140	0.250467
    43 1156	0.278833
    44 1183	0.269133
    45 1192	0.277533
    46 1202	0.280033
    47 1227	0.281867
    48 1271	0.283
    49 1300	0.311444
    50 1304	0.275333
    51 1312	0.2959
    52 1356	0.3339
    53 1494	0.354833
    54 1502	0.357183
    55 1559	0.3506
    56 1568	0.3662
    57 1576	0.378033
    58 1605	0.365067
    59 1608	0.359667
    60 1625	0.382233
    61 1632	0.386867
    62 1635	0.377667
    63 1648	0.378656
    64 1674	0.3749
    65 1684	0.379022
    66 1732	0.3824
    67 1744	0.392267
    68 1750	0.413867
    69 1754	0.3819
    70 1764	0.4163
    71 1775	0.408467
    72 1826	0.409733
    73 1844	0.430333
    74 1886	0.434833
    75 1930	0.4532
    76 1938	0.442533
    77 1948	0.449
    78 1995	0.453633
    79 2000	0.4489
    80 2020	0.4686
    81 2044	0.4674
    82 2086	0.472022
    83 2115	0.4818
    84 2123	0.486067
    85 2126	0.4774
    86 2138	0.482833
    87 2168	0.4376
    88 2190	0.4894
    89 2222	0.495867
    90 2250	0.524083
    91 2298	0.543567
    92 2314	0.5235
    93 2316	0.523167
    94 2325	0.551267
    95 2327	0.540633
    96 2329	0.527167
    97 2344	0.5421
    98 2348	0.560167
    99 2355	0.556067
   100 2379	0.5377
   101 2383	0.5214
   102 2413	0.5553
   103 2423	0.575833
   104 2464	0.582833
   105 2466	0.556533
   106 2512	0.573033
   107 2546	0.5508
   108 2553	0.583233
   109 2593	0.613467
   110 2604	0.582033
   111 2605	0.614233
   112 2607	0.597883
   113 2610	0.604783
   114 2611	0.582867
   115 2612	0.611867
   116 2613	0.584167
   117 2616	0.621033
   118 2620	0.585067
   119 2622	0.587267
   120 2625	0.585333
   121 2648	0.6115
   122 2651	0.586733
   123 2716	0.642333
   124 2733	0.6347
   125 2775	0.6474
   126 2812	0.669067
   127 2838	0.648033
   128 2857	0.647233
   129 2872	0.679333
   130 2887	0.6454
   131 2916	0.678133
   132 2920	0.6886
   133 2928	0.683467
   134 2949	0.671667
   135 2966	0.6813
   136 2977	0.675367
   137 2991	0.6511
   138 3104	0.709544
   139 3130	0.7378
   140 3131	0.7331
   141 3134	0.7496
   142 3135	0.7538
   143 3172	0.7221
   144 3182	0.732267
   145 3209	0.752767
   146 3243	0.762733
   147 3255	0.709133
   148 3310	0.765
   149 3366	0.80885
   150 3429	0.809933
   151 3459	0.860567
   152 3469	0.841633
   153 3483	0.834011
   154 3497	0.818133
   155 3502	0.818367
   156 3505	0.8243
   157 3515	0.826167
   158 3517	0.845533
   159 3522	0.825433
   160 3523	0.823167
   161 3526	0.827233
   162 3529	0.827467
   163 3560	0.8279
   164 3563	0.8399
   165 3566	0.839067
   166 3574	0.83895
   167 3582	0.8408
   168 3584	0.838067
   169 3618	0.833633
   170 3619	0.8764
   171 3623	0.858333
   172 3703	0.8585
   173 3711	0.891367
   174 3819	0.861033
   175 3829	0.8609
   176 3839	0.850067
   177 3870	0.909733
   178 3906	0.8963
   179 4025	0.919
   180 4083	0.969533
   181 4156	0.9474
   182 4194	0.976217
   183 4220	0.98675
   184 4244	0.9662
   185 4283	0.970183
   186 4353	0.967467
   187 4382	1.00597
   188 4389	1.0236
   189 4421	1.02913
   190 4446	0.982433
   191 4521	1.05567
   192 4531	1.02023
   193 4532	1.02248
   194 4568	1.01017
   195 4573	1.0253
   196 4582	1.0681
   197 4604	1.0779
   198 4629	1.08339
   199 4710	1.10423
   200 4713	1.10362
   201 4797	1.0833
   202 4879	1.12597
   203 4970	1.17603
   204 5059	1.1819
   205 5126	1.18323
   206 5241	1.17293
   207 5254	1.18397
   208 5271	1.25023
   209 5318	1.18757
   210 5346	1.23625
   211 5455	1.28927
   212 5492	1.2759
   213 5608	1.3077
   214 5735	1.31547
   215 5775	1.3592
   216 5777	1.35997
   217 5795	1.37487
   218 5845	1.32348
   219 5859	1.3162
   220 5877	1.38992
   221 5945	1.3715
   222 5974	1.37558
   223 5976	1.3787
   224 5983	1.38133
   225 6261	1.47005
   226 6606	1.5094
   227 6713	1.5673
   228 6778	1.54487
   229 6883	1.581
   230 7349	1.70577
   231 7453	1.6619
   232 9114	2.1342
   233 9174	2.0999
   234 10081	2.2661