randGraph/iso/vf2pIso15_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
     1 176	0.564333
     2 201	0.680333
     3 248	0.867
     4 526	2.36667
     5 773	4.571
     6 909	5.37467
     7 959	5.516
     8 1023	6.28967
     9 1048	6.43433
    10 1186	7.972
    11 1211	7.93233
    12 1401	10.1643
    13 1498	11.476
    14 1557	12.0227
    15 1696	15.4357
    16 1732	14.1733
    17 1747	14.9837
    18 2030	18.6953
    19 2056	19.0063
    20 2172	20.641
    21 2345	23.4693
    22 2551	27.3363
    23 2813	33.0293
    24 2915	34.5197
    25 2979	36.213
    26 3450	46.0727
    27 3497	47.4427
    28 3626	50.8307
    29 3660	51.666
    30 3877	57.375
    31 4246	67.732
    32 4430	79.4417
    33 4445	72.8763
    34 4449	73.146
    35 4734	82.0657
    36 4961	88.574
    37 5009	91.247
    38 5109	93.131
    39 5259	98.3897
    40 5661	112.654
    41 5722	115.168
    42 5810	118.769
    43 5836	118.441
    44 5904	123.274
    45 5966	124.405
    46 5968	124.203
    47 6410	142.027
    48 6706	153.247
    49 6895	167.227
    50 6995	166.15
    51 7176	175.387
    52 7215	196.121
    53 7270	179.878
    54 7545	193.7
    55 7546	193.551
    56 7988	213.504
    57 8205	225.142
    58 8511	238.828
    59 8620	245.955
    60 8962	265.485
    61 8975	269.972
    62 9238	285.401
    63 9266	283.003
    64 9370	288.884
    65 9491	298.718
    66 9503	295.833
    67 9643	305.211
    68 9686	332.11
    69 9804	313.36
    70 9870	318.998
    71 9879	316.66
    72 10302	346.194
    73 10362	353.277
    74 10497	355.628
    75 10555	366.525
    76 10719	372.788
    77 10879	382.273
    78 11121	401.462
    79 11229	410.057
    80 11526	427.02
    81 11666	443.838
    82 11673	438.011
    83 11857	451.918
    84 12133	471.437
    85 12140	469.867
    86 12320	488.854
    87 12342	488.445
    88 12434	493.137
    89 12539	500.608
    90 12771	523.495
    91 12789	528.406
    92 12794	519.898
    93 13102	552.178
    94 13109	546.069
    95 13154	549.888
    96 13212	559.664
    97 13510	580.194
    98 13728	599.956
    99 13820	613.271
   100 14302	648.661
   101 14425	657.463
   102 14767	690.373
   103 15008	713.249
   104 15062	712.821
   105 15066	717.789
   106 15105	724.236
   107 15111	721.013
   108 15134	777.968
   109 15217	727.95
   110 15493	754.124
   111 15571	771.355
   112 15631	781.681
   113 15664	861.288
   114 15957	861.274
   115 16007	871.911
   116 16026	812.203
   117 16029	816.717
   118 16171	827.481
   119 16365	846.433
   120 16432	849.503
   121 16503	934.303
   122 16614	864.238
   123 16691	905.426
   124 16714	878.326
   125 16992	915.639
   126 17014	914.313
   127 17139	1025.43
   128 17140	935.065
   129 17163	930.383
   130 17317	947.252
   131 17362	976.425
   132 17395	960.898
   133 17637	999.306
   134 17717	989.295
   135 17953	1026.75
   136 18103	1028.22
   137 18150	1033.33
   138 18198	1041.62
   139 18201	1035.62
   140 18244	1134.24
   141 18263	1050.58
   142 18711	1106.11
   143 18740	1096.77
   144 19082	1155.23
   145 19175	1149.44
   146 19205	1154.88
   147 19546	1203.89
   148 19571	1201.74
   149 19790	1236.07
   150 19849	1231