table of the paper: 40 f-vectors, 1294 polytopes with 8 vertices, 495 of them with at most 22 edges
8-vertex types already analysed in the given result files: 1289
9-vertex polytopes used for deletions: 30266 with at most 26 edges + 15000 others
phase 1: 407394 point sets, 258 not full-dimensional, 5 new types  (101 s)
phase 2: 5 new types analysed  (101 s)
phase 3: distinct types with 8 vertices: 1294 (the paper: 1294)
f-vector            paper   mine  unlinked   linked  other statuses
(8, 16, 14, 6)          1      1         1        0  
(8, 18, 17, 7)          4      4         4        0  
(8, 19, 18, 7)          1      1         1        0  
(8, 19, 19, 8)         13     13        13        0  
(8, 20, 20, 8)         12     12        12        0  
(8, 21, 21, 8)          2      2         2        0  
(8, 19, 20, 9)          1      1         1        0  
(8, 20, 21, 9)         31     31        28        3  
(8, 21, 22, 9)         37     37        28        9  
(8, 22, 23, 9)          7      7         6        1  
(8, 20, 22, 10)         7      7         7        0  
(8, 21, 23, 10)        71     71        52       19  
(8, 22, 24, 10)        56     56        29       27  
(8, 23, 25, 10)         3      3         0        3  
(8, 21, 24, 11)        26     26        19        7  
(8, 22, 25, 11)       128    128        50       78  
(8, 23, 26, 11)        51     51         0       51  
(8, 21, 25, 12)         4      4         4        0  
(8, 22, 26, 12)        75     75        32       43  
(8, 23, 27, 12)       129    129         0      129  
(8, 24, 28, 12)        17     17         0       17  
(8, 22, 27, 13)        16     16        10        6  
(8, 23, 28, 13)       112    112         0      112  
(8, 24, 29, 13)        90     90         0       90  
(8, 22, 28, 14)         3      3         3        0  
(8, 23, 29, 14)        30     30         0       30  
(8, 24, 30, 14)       103    103         0      103  
(8, 25, 31, 14)        30     30         0       30  
(8, 23, 30, 15)         5      5         0        5  
(8, 24, 31, 15)        39     39         0       39  
(8, 25, 32, 15)        73     73         0       73  
(8, 24, 32, 16)         8      8         0        8  
(8, 25, 33, 16)        32     32         0       32  
(8, 26, 34, 16)        25     25         0       25  
(8, 25, 34, 17)         8      8         0        8  
(8, 26, 35, 17)        23     23         0       23  
(8, 26, 36, 18)         6      6         0        6  
(8, 27, 37, 18)         8      8         0        8  
(8, 27, 38, 19)         4      4         0        4  
(8, 28, 40, 20)         3      3         0        3  
TOTAL: paper 1294, mine 1294; unlinked+no_minor 302, linked+minor 992
at most 22 edges: paper 495, mine 495; unlinked+no_minor 302, linked+minor 193
more than 22 edges: paper 799, mine 799; unlinked+no_minor 0, linked+minor 799
f-vectors with more types than in the paper: 0
ALERTS among 8-vertex types: 0
wall time 101 s
