randGraph/iso/vf2ppIso45_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 386	2.542
     2 447	3.06967
     3 519	3.58833
     4 529	3.66733
     5 573	4.11933
     6 656	4.77867
     7 666	4.731
     8 748	5.85233
     9 824	6.41767
    10 922	7.21567
    11 1000	7.95267
    12 1044	8.385
    13 1143	9.17133
    14 1265	10.399
    15 1633	13.701
    16 1658	13.8607
    17 1958	16.752
    18 2003	17.3643
    19 2540	21.608
    20 2617	22.2823
    21 2623	22.2627
    22 2717	23.422
    23 2755	23.3937
    24 3021	24.8107
    25 3236	27.6603
    26 3491	30.058
    27 3495	28.8753
    28 3697	32.0207
    29 3784	34.1997
    30 3973	33.984
    31 4083	36.3937
    32 4598	41.8657
    33 4620	40.525
    34 4794	40.224
    35 4801	42.983
    36 4806	42.5337
    37 4844	42.922
    38 5005	44.4673
    39 5118	45.377
    40 5228	47.362
    41 5476	45.476
    42 5548	49.9933
    43 5720	48.2123
    44 5845	50.216
    45 5982	51.036
    46 6046	50.8907
    47 6234	53.3823
    48 6714	59.6077
    49 6745	56.9887
    50 6979	59.9963
    51 7260	63.0767
    52 7265	67.1907
    53 7287	62.1577
    54 7300	62.5583
    55 7551	65.0023
    56 7984	68.5653
    57 8093	72.5283
    58 8098	70.9267
    59 8126	71.3093
    60 8224	71.42
    61 8352	73.3487
    62 8690	76.6893
    63 8994	78.681
    64 8995	80.6277
    65 9106	84.12
    66 9306	83.453
    67 9359	81.658
    68 9684	87.0203
    69 9867	90.55
    70 10038	89.1807
    71 10061	92.03
    72 10064	89.1423
    73 10130	92.8637
    74 10344	94.725
    75 10490	95.698
    76 11260	105.728
    77 11353	107.034
    78 11457	110.525
    79 11476	107.358
    80 11504	108.17
    81 11580	110.867
    82 11685	109.285
    83 11705	106.056
    84 11767	111.383
    85 11788	116.458
    86 11932	111.177
    87 12075	112.778
    88 12293	117.659
    89 12513	118.144
    90 12648	117.483
    91 12688	119.751
    92 12785	120.686
    93 12821	120.596
    94 12830	122.465
    95 12843	122.015
    96 13117	126.955
    97 13182	125.939
    98 13202	124.822
    99 13290	128.903
   100 13444	126.294
   101 13503	127.737
   102 14053	135.99
   103 14056	138.915
   104 14132	145.058
   105 14195	137.105
   106 14242	138.253
   107 14592	145.791
   108 14882	146.966
   109 14890	143.528
   110 14946	147.583
   111 14970	144.826
   112 15017	147.341
   113 15137	153.822
   114 15331	153.573
   115 15393	162.484
   116 15717	177.78
   117 16082	158.906
   118 16279	165.31
   119 16482	165.283
   120 16497	168.915
   121 16598	167.114
   122 16791	166.55
   123 16815	169.977
   124 16832	172.134
   125 16909	171.687
   126 16915	169.77
   127 17049	173.033
   128 17282	176.967
   129 17472	176.418
   130 17490	183.3
   131 17501	176.996
   132 17587	179.129
   133 17764	187.491
   134 17765	183.393
   135 17933	193.004
   136 18063	192.825
   137 18132	198.313
   138 18211	185.996
   139 18484	192.175
   140 18556	196.38
   141 18581	191.751
   142 18719	209.56
   143 18853	203.674
   144 18892	197.347
   145 18969	200.302
   146 19108	205.495
   147 19248	204.536
   148 19283	203.116
   149 19819	220.642
   150 19884	210.157