randGraph/ind/vf2ppInd15_0.6.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 136	0.165667
     2 1037	1.349
     3 1104	1.43567
     4 1198	1.58233
     5 1204	1.641
     6 1400	1.924
     7 1533	2.02433
     8 1669	2.29033
     9 1723	2.36067
    10 2230	3.12033
    11 3701	5.424
    12 4063	6.157
    13 4258	6.25533
    14 4476	6.64567
    15 5205	7.83367
    16 5304	8.06333
    17 5718	8.58367
    18 6123	9.443
    19 6141	9.535
    20 6192	9.48433
    21 6711	10.6077
    22 6973	11.155
    23 7075	11.1143
    24 7294	11.6163
    25 7653	12.2893
    26 7869	12.6847
    27 7878	12.678
    28 8668	13.8913
    29 8726	14.3277
    30 9523	15.6823