VF2PPLabel/Molecules.8.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
10	0.00268889
madarasip@6
     2
11	0.00311333
madarasip@6
     3
12	0.00300741
madarasip@6
     4
13	0.00275455
madarasip@6
     5
14	0.00347619
madarasip@6
     6
15	0.00285
madarasip@6
     7
16	0.00397317
madarasip@6
     8
17	0.00317895
madarasip@6
     9
18	0.00372043
madarasip@6
    10
19	0.00317701
madarasip@6
    11
20	0.00351549
madarasip@6
    12
21	0.00370491
madarasip@6
    13
22	0.00390819
madarasip@6
    14
23	0.00415897
madarasip@6
    15
24	0.00395653
madarasip@6
    16
25	0.00401021
madarasip@6
    17
26	0.0039662
madarasip@6
    18
27	0.00438016
madarasip@6
    19
28	0.00426438
madarasip@6
    20
29	0.00455394
madarasip@6
    21
30	0.00436043
madarasip@6
    22
31	0.00443926
madarasip@6
    23
32	0.00439726
madarasip@6
    24
33	0.00409953
madarasip@6
    25
34	0.00434766
madarasip@6
    26
35	0.00441468
madarasip@6
    27
36	0.00464174
madarasip@6
    28
37	0.00485131
madarasip@6
    29
38	0.00506186
madarasip@6
    30
39	0.00463572
madarasip@6
    31
40	0.00482958
madarasip@6
    32
41	0.00421406
madarasip@6
    33
42	0.00581503
madarasip@6
    34
43	0.00590348
madarasip@6
    35
44	0.00588113
madarasip@6
    36
45	0.00746381
madarasip@6
    37
46	0.00546576
madarasip@6
    38
47	0.00634474
madarasip@6
    39
48	0.00709465
madarasip@6
    40
49	0.00751358
madarasip@6
    41
50	0.00494902
madarasip@6
    42
51	0.00618944
madarasip@6
    43
52	0.00712787
madarasip@6
    44
53	0.00823842
madarasip@6
    45
54	0.00843052
madarasip@6
    46
55	0.00854762
madarasip@6
    47
56	0.0067
madarasip@6
    48
57	0.00733455
madarasip@6
    49
58	0.00828023
madarasip@6
    50
59	0.0115672
madarasip@6
    51
60	0.0094
madarasip@6
    52
61	0.0141952
madarasip@6
    53
62	0.0179063
madarasip@6
    54
63	0.0120853
madarasip@6
    55
64	0.00972326
madarasip@6
    56
65	0.0117267
madarasip@6
    57
66	0.0115026
madarasip@6
    58
67	0.00774259
madarasip@6
    59
68	0.0044848
madarasip@6
    60
69	0.00668095
madarasip@6
    61
70	0.00728889
madarasip@6
    62
71	0.00632381
madarasip@6
    63
72	0.00620667
madarasip@6
    64
73	0.00831667
madarasip@6
    65
74	0.00392731
madarasip@6
    66
75	0.00767778
madarasip@6
    67
76	0.0103606
madarasip@6
    68
77	0.00719091
madarasip@6
    69
78	0.00593333
madarasip@6
    70
79	0.00659394
madarasip@6
    71
80	0.00830952
madarasip@6
    72
81	0.0142133
madarasip@6
    73
82	0.0136857
madarasip@6
    74
83	0.0112467
madarasip@6
    75
84	0.00721667
madarasip@6
    76
85	0.0127667
madarasip@6
    77
86	0.0188
madarasip@6
    78
87	0.01675
madarasip@6
    79
88	0.0148333
madarasip@6
    80
89	0.00346
madarasip@6
    81
90	0.0152056
madarasip@6
    82
91	0.0116359
madarasip@6
    83
92	0.0207833
madarasip@6
    84
93	0.0168917
madarasip@6
    85
94	0.00346667
madarasip@6
    86
95	0.00527778
madarasip@6
    87
96	0.0147467
madarasip@6
    88
97	0.0151556
madarasip@6
    89
98	0.0199667
madarasip@6
    90
99	0.00536667