randGraph/iso/vf2ppIso80_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 460	5.97667
     2 1133	15.4167
     3 1988	27.5997
     4 2419	34.2267
     5 2865	43.3543
     6 4604	67.9797
     7 4770	70.3437
     8 5861	97.6497
     9 6314	103.801
    10 7278	123.768
    11 7672	127.688
    12 8665	159.771
    13 9691	171.676
    14 10150	181.881
    15 10575	206.934
    16 11432	230.12
    17 11832	221.124
    18 11871	222.772
    19 13337	270.319
    20 13880	272.756
    21 14328	283.048
    22 14680	295.872
    23 16107	338.477
    24 16527	345.87
    25 17538	393.947
    26 18692	425.632
    27 18757	421.26
    28 19043	417.752
    29 19207	437.89
    30 19547	433.38