randGraph/iso/vf2pIso30_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 431	2.79433
     2 1427	14.372
     3 1907	21.9707
     4 2207	27.3327
     5 2821	40.378
     6 2962	43.2867
     7 3218	49.5623
     8 3553	58.2343
     9 3789	64.7903
    10 4318	81.121
    11 4735	93.7133
    12 5023	103.343
    13 5039	103.272
    14 5340	115.846
    15 6476	163.966
    16 6655	168.633
    17 6880	178.643
    18 7063	186.107
    19 7149	190.327
    20 7525	209.674
    21 7532	209.284
    22 7790	228.302
    23 7926	231.419
    24 8163	255.66
    25 8196	242.812
    26 8348	250.875
    27 8694	277.269
    28 9183	303.451
    29 9292	306.609
    30 9327	309.754
    31 9580	325.144
    32 9640	326.323
    33 11211	438.273
    34 11390	447.947
    35 11427	452.046
    36 11469	454.352
    37 11529	458.106
    38 11578	470.117
    39 11731	472.158
    40 11828	480.679
    41 11835	483.293
    42 12073	499.352
    43 12783	557.565
    44 13286	596.93
    45 13550	617.476
    46 13594	636.049
    47 13761	642.147
    48 13907	650.99
    49 14023	661.275
    50 14090	673.737
    51 14400	695.074
    52 14476	701.143
    53 14510	719.181
    54 14761	736.055
    55 15631	824.767
    56 15829	836.491
    57 16433	893.111
    58 16642	924.982
    59 16805	937.985
    60 17136	966.686
    61 17139	965.419
    62 17211	980.675
    63 17231	986.482
    64 17455	1001.69
    65 17748	1040.39
    66 17871	1057.27
    67 18307	1094.26
    68 18432	1106.87
    69 18493	1136.26
    70 18499	1117.88
    71 18504	1136.65
    72 18861	1156.82
    73 18957	1176.25
    74 19080	1209.36
    75 19250	1217.55
    76 19656	1257.58
    77 19765	1272.94
    78 19992	1309.2