randGraph/iso/vf2pIso7_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	1.44967
     2 1133	5.47133
     3 1988	14.5803
     4 2419	20.771
     5 2865	28.3207
     6 4604	68.6683
     7 4770	73.1507
     8 5861	116.754
     9 6314	124.661
    10 7278	163.618
    11 7672	180.995
    12 8665	228.984
    13 9691	286.655
    14 10150	312.198
    15 10575	336.376
    16 11432	394.625
    17 11832	419.331
    18 11871	421.697
    19 13337	531.397
    20 13880	576.889
    21 14328	615.249
    22 14680	643.1
    23 16107	773.629
    24 16527	808.381
    25 17538	917.554
    26 18692	1041.04
    27 18757	1047.7
    28 19043	1078.65
    29 19207	1098.73
    30 19547	1133.21