sampling (seed 1): 173856 point sets, 173094 full-dimensional, 420 s; types found: 5: 1, 6: 4, 7: 31, 8: 1178, 9: 7966; last new type with at most 7 vertices after 3.3 s
sampling (seed 2): 173997 point sets, 173211 full-dimensional, 420 s; types found: 5: 1, 6: 4, 7: 31, 8: 1171, 9: 7915; last new type with at most 7 vertices after 12.9 s
sampling (seed 3): 178258 point sets, 177404 full-dimensional, 420 s; types found: 5: 1, 6: 4, 7: 31, 8: 1182, 9: 7939; last new type with at most 7 vertices after 3.7 s
sampling (seed 4): 177250 point sets, 176473 full-dimensional, 420 s; types found: 5: 1, 6: 4, 7: 31, 8: 1175, 9: 7954; last new type with at most 7 vertices after 2.3 s
sampling (seed 5): 180450 point sets, 179622 full-dimensional, 420 s; types found: 5: 1, 6: 4, 7: 31, 8: 1199, 9: 8052; last new type with at most 7 vertices after 10.0 s
sampling (seed 11): 186153 point sets, 181758 full-dimensional, 420 s; types found: 5: 1, 6: 1, 7: 1, 8: 1240, 9: 2; last new type with at most 7 vertices after 0.0 s
sampling (seed 12): 187069 point sets, 182636 full-dimensional, 420 s; types found: 5: 1, 6: 1, 7: 1, 8: 1241, 9: 2; last new type with at most 7 vertices after 0.0 s
sampling (seed 13): 184822 point sets, 180509 full-dimensional, 420 s; types found: 5: 1, 6: 1, 7: 1, 8: 1234, 9: 2; last new type with at most 7 vertices after 0.0 s
sampling (seed 14): 188844 point sets, 184570 full-dimensional, 420 s; types found: 5: 1, 6: 1, 7: 1, 8: 1243, 9: 2; last new type with at most 7 vertices after 0.0 s
sampling (seed 15): 186522 point sets, 182187 full-dimensional, 420 s; types found: 5: 1, 6: 1, 7: 1, 8: 1240, 9: 2; last new type with at most 7 vertices after 0.0 s
part 0 of 5: 42876 deletions, 69 types with f-vector (8, 22, 26, 12)
part 1 of 5: 42876 deletions, 68 types with f-vector (8, 22, 26, 12)
part 2 of 5: 42876 deletions, 68 types with f-vector (8, 22, 26, 12)
part 3 of 5: 42876 deletions, 69 types with f-vector (8, 22, 26, 12)
part 4 of 5: 42876 deletions, 66 types with f-vector (8, 22, 26, 12)
Gale diagrams (seed 1): 214985 diagrams, 63391 polytopes with 8 vertices, 72 types kept (f-vector (8, 22, 26, 12)), 240 s
Gale diagrams (seed 2): 215494 diagrams, 63877 polytopes with 8 vertices, 71 types kept (f-vector (8, 22, 26, 12)), 240 s
Gale diagrams (seed 3): 216300 diagrams, 63812 polytopes with 8 vertices, 73 types kept (f-vector (8, 22, 26, 12)), 240 s
Gale diagrams (seed 4): 216583 diagrams, 64015 polytopes with 8 vertices, 73 types kept (f-vector (8, 22, 26, 12)), 240 s
Gale diagrams (seed 5): 216848 diagrams, 63962 polytopes with 8 vertices, 73 types kept (f-vector (8, 22, 26, 12)), 240 s
