randGraph/iso/vf2ppIso10_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 371	0.654667
     2 395	0.723
     3 817	1.63267
     4 896	1.727
     5 918	1.83033
     6 993	2.02267
     7 1130	2.278
     8 1209	2.40867
     9 1227	2.45767
    10 1236	2.44567
    11 1515	3.02033
    12 1601	3.30733
    13 1623	3.33867
    14 1693	3.55567
    15 1719	3.59767
    16 1720	3.53333
    17 2046	4.485
    18 2273	4.892
    19 2397	5.26333
    20 2438	5.518
    21 2469	5.49033
    22 2484	5.55433
    23 2556	5.77467
    24 2656	5.83833
    25 2678	5.898
    26 2697	6.058
    27 2761	6.08667
    28 2776	6.183
    29 2828	6.49067
    30 2921	6.57333
    31 2992	6.67233
    32 3116	7.142
    33 3198	7.28
    34 3231	7.54233
    35 3322	7.54567
    36 3325	7.665
    37 3381	7.622
    38 3391	7.84167
    39 3580	8.16733
    40 3643	8.334
    41 3775	8.61467
    42 3803	8.66567
    43 3854	8.91833
    44 4132	9.658
    45 4395	10.44
    46 4800	11.649
    47 4877	11.696
    48 4891	11.8513
    49 4894	11.5103
    50 4980	11.704
    51 5152	12.4037
    52 5157	12.1573
    53 5173	12.6347
    54 5258	12.4603
    55 5282	12.5583
    56 5314	13.0463
    57 5333	13.0997
    58 5453	12.9847
    59 5501	13.1403
    60 5746	13.8663
    61 6135	15.0813
    62 6323	15.315
    63 6363	15.431
    64 6400	15.7337
    65 6725	16.3833
    66 6762	16.2573
    67 6828	16.5913
    68 7183	17.51
    69 7189	17.842
    70 7237	18.067
    71 7582	18.57
    72 7590	18.63
    73 8169	20.4277
    74 8252	20.3863
    75 8258	20.264
    76 8784	21.8807
    77 8845	22.059
    78 8866	21.9297
    79 9011	22.6213
    80 9012	22.603
    81 9090	22.756
    82 9732	25.0337
    83 9814	26.2557
    84 9817	24.5653
    85 10313	26.9153
    86 10406	26.0777
    87 10506	27.2083
    88 10871	28.186
    89 11037	28.645
    90 11214	29.1933
    91 11315	28.5563
    92 11466	29.7577
    93 11675	30.7177
    94 11792	30.8507
    95 11895	30.2693
    96 12011	30.635
    97 12027	30.7167
    98 12215	31.0303
    99 12314	31.571
   100 12332	31.705
   101 12430	31.666
   102 12496	32.7127
   103 12629	32.3253
   104 12815	32.7243
   105 12834	34.3943
   106 12928	33.075
   107 13186	33.8287
   108 13354	34.0707
   109 13406	34.7667
   110 13482	34.4563
   111 13690	35.082
   112 13921	35.962
   113 13923	35.8927
   114 14052	36.8787
   115 14243	36.9937
   116 14309	38.4263
   117 14328	37.0423
   118 14369	39.0973
   119 14737	38.7327
   120 15239	39.595
   121 15273	42.0187
   122 15284	39.9757
   123 15348	40.104
   124 15908	42.8917
   125 16023	43.0453
   126 16133	42.662
   127 16292	42.6583
   128 16499	42.931
   129 16855	44.4327
   130 17320	46.7793
   131 18045	47.5993
   132 18086	46.5393
   133 18097	46.7527
   134 18107	47.9073
   135 18301	47.4087
   136 18330	48.5013
   137 18395	51.543
   138 18478	51.2177
   139 18538	47.9243
   140 18551	50.1217
   141 18563	48.8733
   142 18616	48.9117
   143 18650	49.7437
   144 18815	49.8673
   145 19241	50.5213
   146 19360	53.0213
   147 19364	53.9123
   148 19636	51.498
   149 19642	54.0663
   150 19907	52.0817