randGraph/iso/vf2ppIso35_1.txt
author Madarasi Peter
Wed, 23 Nov 2016 21:15:26 +0100
changeset 12 d35847f14178
permissions -rw-r--r--
All proofs of vf2pp' section removed
alpar@2
     1
26	0.077
alpar@2
     2
442	2.50867
alpar@2
     3
799	4.914
alpar@2
     4
912	5.52
alpar@2
     5
1000	6.26533
alpar@2
     6
1031	6.591
alpar@2
     7
1034	6.43033
alpar@2
     8
1126	7.35167
alpar@2
     9
1185	7.453
alpar@2
    10
1256	8.06933
alpar@2
    11
1363	8.99033
alpar@2
    12
1461	9.288
alpar@2
    13
1550	9.95567
alpar@2
    14
1569	10.1127
alpar@2
    15
1602	10.5247
alpar@2
    16
1678	10.84
alpar@2
    17
1882	12.0957
alpar@2
    18
2005	12.883
alpar@2
    19
2190	14.3587
alpar@2
    20
2238	14.7053
alpar@2
    21
2266	14.8173
alpar@2
    22
2291	15.0023
alpar@2
    23
2452	16.1017
alpar@2
    24
2515	16.309
alpar@2
    25
2537	16.4483
alpar@2
    26
2602	17.093
alpar@2
    27
2704	17.9393
alpar@2
    28
2752	18.184
alpar@2
    29
2947	19.2983
alpar@2
    30
3056	21.9477
alpar@2
    31
3254	21.6123
alpar@2
    32
3352	21.7217
alpar@2
    33
3366	21.7563
alpar@2
    34
3418	22.5123
alpar@2
    35
3463	23.0407
alpar@2
    36
3601	23.5653
alpar@2
    37
3716	25.9887
alpar@2
    38
4153	26.751
alpar@2
    39
4195	27.8617
alpar@2
    40
4285	27.8257
alpar@2
    41
4436	28.657
alpar@2
    42
4461	28.939
alpar@2
    43
4557	29.6107
alpar@2
    44
4640	30.375
alpar@2
    45
4719	30.8617
alpar@2
    46
4787	32.1797
alpar@2
    47
4856	31.3977
alpar@2
    48
4881	32.5457
alpar@2
    49
4976	32.2653
alpar@2
    50
5159	35.0043
alpar@2
    51
5206	33.623
alpar@2
    52
5268	34.1517
alpar@2
    53
5302	34.4293
alpar@2
    54
5409	35.1197
alpar@2
    55
5492	35.8633
alpar@2
    56
5563	35.8393
alpar@2
    57
5783	38.9637
alpar@2
    58
6024	39.713
alpar@2
    59
6050	39.4227
alpar@2
    60
6102	40.4507
alpar@2
    61
6193	40.072
alpar@2
    62
6279	41.4817
alpar@2
    63
6494	41.842
alpar@2
    64
6497	42.0333
alpar@2
    65
6764	44.8477
alpar@2
    66
7195	46.9697
alpar@2
    67
7338	51.709
alpar@2
    68
8172	57.4497
alpar@2
    69
8384	55.6
alpar@2
    70
8457	56.605
alpar@2
    71
8533	58.1627
alpar@2
    72
8563	59.454
alpar@2
    73
8721	58.173
alpar@2
    74
9259	67.7077
alpar@2
    75
9325	67.8053
alpar@2
    76
9401	66.8967
alpar@2
    77
9480	67.196
alpar@2
    78
9536	67.7077
alpar@2
    79
10414	72.192
alpar@2
    80
10542	72.7803
alpar@2
    81
10607	73.569
alpar@2
    82
10633	80.3677
alpar@2
    83
10661	78.0857
alpar@2
    84
11108	81.4237
alpar@2
    85
11194	83.2257
alpar@2
    86
11275	82.3177
alpar@2
    87
11295	87.6113
alpar@2
    88
11328	83.403
alpar@2
    89
12070	92.4137
alpar@2
    90
12167	90.6547
alpar@2
    91
12218	91.8017
alpar@2
    92
12243	92.0533
alpar@2
    93
12341	93.6583
alpar@2
    94
12481	94.461
alpar@2
    95
12489	94.1117
alpar@2
    96
12523	93.933
alpar@2
    97
12556	100.721
alpar@2
    98
12700	96.5863
alpar@2
    99
12820	99.859
alpar@2
   100
12888	98.734
alpar@2
   101
12901	102.914
alpar@2
   102
12923	112.891
alpar@2
   103
13242	101.758
alpar@2
   104
13318	103.185
alpar@2
   105
13419	103.468
alpar@2
   106
13436	102.987
alpar@2
   107
13704	106.974
alpar@2
   108
13850	108.169
alpar@2
   109
13884	107.727
alpar@2
   110
14050	111.306
alpar@2
   111
14352	113.103
alpar@2
   112
14430	112.981
alpar@2
   113
14441	120.451
alpar@2
   114
14485	114.615
alpar@2
   115
14617	118.104
alpar@2
   116
14770	119.14
alpar@2
   117
14848	118.077
alpar@2
   118
14913	118.202
alpar@2
   119
15383	125.555
alpar@2
   120
15413	131.999
alpar@2
   121
15504	125.287
alpar@2
   122
15517	126.886
alpar@2
   123
15950	131.498
alpar@2
   124
16097	131.951
alpar@2
   125
16134	133.346
alpar@2
   126
16230	140.328
alpar@2
   127
16324	135.845
alpar@2
   128
16329	134.236
alpar@2
   129
16342	134.317
alpar@2
   130
16728	140.073
alpar@2
   131
17286	145.706
alpar@2
   132
17405	145.403
alpar@2
   133
17468	144.804
alpar@2
   134
17619	145.933
alpar@2
   135
17625	147.113
alpar@2
   136
17840	148.07
alpar@2
   137
17870	148.472
alpar@2
   138
18250	153.789
alpar@2
   139
18612	164.447
alpar@2
   140
18616	156.911
alpar@2
   141
18655	162.553
alpar@2
   142
18951	165.779
alpar@2
   143
18980	160.143
alpar@2
   144
19122	163.148
alpar@2
   145
19285	165.125
alpar@2
   146
19311	169.478
alpar@2
   147
19523	163.851
alpar@2
   148
19743	168.437
alpar@2
   149
19862	175.334