randGraph/iso/vf2ppIso7_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	0.711667
     2 1133	1.702
     3 1988	3.14833
     4 2419	3.95133
     5 2865	4.776
     6 4604	8.03
     7 4770	8.35033
     8 5861	11.282
     9 6314	11.4307
    10 7278	13.3083
    11 7672	13.939
    12 8665	16.2047
    13 9691	18.14
    14 10150	19.1327
    15 10575	19.813
    16 11432	21.7783
    17 11832	22.9853
    18 11871	22.8443
    19 13337	25.7413
    20 13880	26.926
    21 14328	27.747
    22 14680	28.3803
    23 16107	31.4907
    24 16527	32.504
    25 17538	34.5537
    26 18692	37.4403
    27 18757	37.4073
    28 19043	37.9937
    29 19207	38.2977
    30 19547	38.751