unlinked polytopes with 13-15 vertices in results_named.jsonl : 7
pyramid_hexagonal_prism              f = [13, 30, 26, 9]  minors found: 0 of 7  (7 x UNSAT)  25.3 s
dual_stacked_8v_0                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  49.0 s
dual_stacked_8v_1                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  60.2 s
dual_bipyramid_hexagonal_pyramid     f = [14, 31, 26, 9]  minors found: 0 of 7  (7 x UNSAT)  148.2 s
prism_hexagonal_pyramid              f = [14, 31, 26, 9]  minors found: 0 of 7  (7 x UNSAT)  174.5 s
dual_stacked_8v_2                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  45.7 s
duoprism_3_5                         f = [15, 30, 23, 8]  minors found: 0 of 7  (7 x UNSAT)  908.2 s
