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