randGraph/iso/vf2ppIso100_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	0.910333
     2 338	5.41933
     3 394	6.30567
     4 536	8.72833
     5 697	11.7183
     6 724	12.262
     7 956	16.0133
     8 1167	20.4453
     9 1456	25.2583
    10 1504	25.2273
    11 1829	32.3647
    12 2052	34.59
    13 2077	37.1503
    14 2160	38.7707
    15 2384	43.018
    16 2405	43.4057
    17 2493	44.8643
    18 2741	46.1103
    19 2743	51.2477
    20 2835	50.488
    21 2959	56.805
    22 3014	56.2223
    23 3083	60.454
    24 3097	58.845
    25 3311	62.034
    26 3527	68.0963
    27 3666	67.2473
    28 3693	69.7457
    29 3785	73.7113
    30 3794	69.799
    31 3946	75.729
    32 4134	80.4433
    33 4159	79.902
    34 4298	84.844
    35 4304	82.5303
    36 4334	85.5907
    37 4532	86.816
    38 4690	92.7857
    39 4837	97.217
    40 4898	96.7003
    41 5151	104.311
    42 5483	116.671
    43 5597	116.558
    44 5642	115.869
    45 6236	130.99
    46 6311	132.306
    47 6324	134.405
    48 6663	145.457
    49 7273	157.632
    50 7317	171.193
    51 7370	169.643
    52 7898	176.822
    53 7911	176.109
    54 8097	182.915
    55 8123	187.343
    56 8412	190.87
    57 8556	198.791
    58 8710	198.183
    59 8758	200.223
    60 8777	201.663
    61 8817	204.111
    62 8894	204.226
    63 8914	207.159
    64 8937	211.951
    65 8975	206.805
    66 9003	212.264
    67 9008	220.787
    68 9023	205.624
    69 9194	211.01
    70 9315	214.598
    71 9384	217.545
    72 9581	225.443
    73 9906	238.643
    74 10061	241.66
    75 10234	263.429
    76 10436	256.51
    77 10568	265.842
    78 10570	257.344
    79 10830	267.554
    80 10867	266.718
    81 10934	270.64
    82 10951	271.464
    83 11003	270.406
    84 11084	273.465
    85 11419	288.818
    86 11476	294.134
    87 11517	290.001
    88 11752	300.905
    89 11847	303.587
    90 11867	303.265
    91 11868	305.229
    92 11953	304.768
    93 11966	312.188
    94 12140	311.585
    95 12383	322.585
    96 12433	339.647
    97 12500	340.274
    98 12578	329.861
    99 12630	331.318
   100 12666	330.646
   101 12827	340.896
   102 12962	342.306
   103 12993	345.308
   104 13034	351.315
   105 13078	349.718
   106 13713	372.454
   107 13769	373.007
   108 13966	379.592
   109 14110	384.738
   110 14203	379.43
   111 15260	425.335
   112 15439	434.097
   113 15572	441.33
   114 15717	439.883
   115 15829	444.319
   116 15880	450.11
   117 15885	454.421
   118 15921	451.732
   119 15950	451.867
   120 16146	455.79
   121 16217	461.736
   122 16276	468.217
   123 16293	462.08
   124 16358	468.584
   125 16423	468.44
   126 16598	472.301
   127 16668	475.421
   128 16881	490.242
   129 16964	486.617
   130 17009	485.934
   131 17423	500.609
   132 17518	506.959
   133 17794	517.713
   134 17946	521.965
   135 18026	524.018
   136 18105	532.395
   137 18449	542.708
   138 18685	549.002
   139 18711	549.413
   140 18993	568.714
   141 19032	554.677
   142 19137	571.891
   143 19173	559.943
   144 19210	564.167
   145 19344	575.91
   146 19480	573.341
   147 19568	573.158
   148 19641	585.854
   149 19736	589.563
   150 19821	587.744