randGraph/iso/vf2pIso100_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 91	1.08833
     2 338	6.11567
     3 394	7.28833
     4 536	10.3657
     5 697	14.1443
     6 724	14.75
     7 956	20.388
     8 1167	26.529
     9 1456	34.0203
    10 1504	34.231
    11 1829	45.5837
    12 2052	50.555
    13 2077	53.5503
    14 2160	56.4827
    15 2384	63.9643
    16 2405	65.0017
    17 2493	67.616
    18 2741	72.3953
    19 2743	74.0677
    20 2835	77.836
    21 2959	84.2507
    22 3014	84.1323
    23 3083	90.649
    24 3097	87.8843
    25 3311	95.6327
    26 3527	106.306
    27 3666	108.645
    28 3693	112.026
    29 3785	118.908
    30 3794	113.779
    31 3946	123.122
    32 4134	136.734
    33 4159	132.431
    34 4298	142.579
    35 4304	142.895
    36 4334	142.756
    37 4532	149.643
    38 4690	159.618
    39 4837	173.229
    40 4898	171.443
    41 5151	186.274
    42 5483	216.96
    43 5597	212.2
    44 5642	214.346
    45 6236	257.877
    46 6311	255.037
    47 6324	258.594
    48 6663	285.598
    49 7273	320.402
    50 7317	332.526
    51 7370	335.625
    52 7898	370.01
    53 7911	367.479
    54 8097	386.562
    55 8123	390.304
    56 8412	408.048
    57 8556	420.135
    58 8710	431.012
    59 8758	435.149
    60 8777	437.838
    61 8817	443.84
    62 8894	446.719
    63 8914	450.318
    64 8937	463.288
    65 8975	454.932
    66 9003	461.43
    67 9008	461.497
    68 9023	455.363
    69 9194	469.333
    70 9315	478.856
    71 9384	484.936
    72 9581	506.079
    73 9906	538.191
    74 10061	550.113
    75 10234	565.127
    76 10436	588.116
    77 10568	608.76
    78 10570	597.874
    79 10830	622.351
    80 10867	624.599
    81 10934	629.65
    82 10951	634.455
    83 11003	636.137
    84 11084	643.818
    85 11419	688.217
    86 11476	688.784
    87 11517	688.985
    88 11752	717.832
    89 11847	727.182
    90 11867	726.529
    91 11868	734.337
    92 11953	732.28
    93 11966	742.812
    94 12140	756.818
    95 12383	780.244
    96 12433	816.963
    97 12500	804.578
    98 12578	802.743
    99 12630	806.738
   100 12666	808.474
   101 12827	828.823
   102 12962	841.036
   103 12993	851.445
   104 13034	851.426
   105 13078	855.43
   106 13713	927.174
   107 13769	928.31
   108 13966	954.907
   109 14110	971.738
   110 14203	976.326
   111 15260	1108.17
   112 15439	1132.28
   113 15572	1154.65
   114 15717	1167.33
   115 15829	1181.8
   116 15880	1191.49
   117 15885	1195.2
   118 15921	1199.02
   119 15950	1199.69
   120 16146	1222.97
   121 16217	1235.66
   122 16276	1250.55
   123 16293	1257.41
   124 16358	1258.08
   125 16423	1255.02
   126 16598	1278.18
   127 16668	1290.93
   128 16881	1344.48
   129 16964	1326.39
   130 17009	1329.8
   131 17423	1390.28
   132 17518	1407.57
   133 17794	1437.97
   134 17946	1470.18
   135 18026	1481.86
   136 18105	1497.08
   137 18449	1553.36
   138 18685	1578.3
   139 18711	1572.14
   140 18993	1647.71
   141 19032	1620
   142 19137	1668.46
   143 19173	1632.03
   144 19210	1654.32
   145 19344	1672.77
   146 19480	1687.57
   147 19568	1701.33
   148 19641	1729.73
   149 19736	1724.86
   150 19821	1745.81