randGraph/ind/vf2ppInd15_0.3.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 262	0.135333
     2 598	0.309333
     3 694	0.366667
     4 722	0.370333
     5 752	0.379333
     6 1116	0.585667
     7 1224	0.645667
     8 1293	0.698333
     9 1314	0.681333
    10 1836	0.994333
    11 3127	1.80733
    12 3213	1.82233
    13 3390	2.109
    14 3613	2.00933
    15 4832	2.88533
    16 5319	3.144
    17 5330	3.16367
    18 5379	3.43933
    19 5394	3.18233
    20 5456	3.38367
    21 6354	4.65767
    22 6579	3.926
    23 6889	4.30833
    24 7096	4.39633
    25 8039	5.09067
    26 8436	5.38967
    27 8686	5.465
    28 9377	6.039
    29 9455	6.445
    30 9608	6.16967