randGraph/iso/vf2pIso80_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	7.11433
     2 1133	20.6937
     3 1988	43.029
     4 2419	52.139
     5 2865	68.0847
     6 4604	131.703
     7 4770	138.382
     8 5861	203.565
     9 6314	222.171
    10 7278	290.621
    11 7672	305.5
    12 8665	391.168
    13 9691	454.354
    14 10150	495.209
    15 10575	546.87
    16 11432	600.796
    17 11832	638.647
    18 11871	651.784
    19 13337	807.127
    20 13880	845.07
    21 14328	890.973
    22 14680	937.279
    23 16107	1134.06
    24 16527	1151.75
    25 17538	1303
    26 18692	1455.55
    27 18757	1465.22
    28 19043	1480.94
    29 19207	1530.19
    30 19547	1555.68