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)  32.7 s
dual_stacked_8v_0                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  90.2 s
dual_stacked_8v_2                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  90.6 s
dual_stacked_8v_1                    f = [14, 28, 22, 8]  minors found: 0 of 7  (7 x UNSAT)  121.4 s
dual_bipyramid_hexagonal_pyramid     f = [14, 31, 26, 9]  minors found: 0 of 7  (7 x UNSAT)  305.6 s
prism_hexagonal_pyramid              f = [14, 31, 26, 9]  minors found: 0 of 7  (7 x UNSAT)  375.5 s
duoprism_3_5                         f = [15, 30, 23, 8]  minors found: 0 of 7  (7 x UNSAT)  1591.8 s
