weights: K5 15 pairs of disjoint edges, K3,3 18 pairs; solution spaces one-dimensional, entries +-1
control: random straight-line embeddings of K5: histogram of |L|: {1: 2999} -> all odd
control: random straight-line embeddings of K3,3: histogram of |L|: {1: 2923, 3: 74} -> all odd
4-simplex: |L| histogram over subdivisions: K5 {1: 1}, K3,3 {} -> all 1
prism over tetrahedron: |L| histogram over subdivisions: K5 {1: 8}, K3,3 {1: 24} -> all 1
3-3 duoprism: |L| histogram over subdivisions: K5 {1: 9}, K3,3 {1: 156} -> all 1
3-4 duoprism (capped): |L| histogram over subdivisions: K5 {1: 84}, K3,3 {1: 3840} -> all 1
cyclic C(6,4): |L| histogram over subdivisions: K5 {1: 66}, K3,3 {1: 10}
cyclic C(7,4): |L| histogram over subdivisions: K5 {1: 2730, 3: 21}, K3,3 {1: 693, 3: 7}
octahedral prism (capped): |L| histogram over subdivisions: K5 {1: 10704}, K3,3 {1: 20000}
seed 41: random polytopes with 7-9 vertices: without Petersen-family minor 168 (subdivisions of K5 and K3,3 tested: 475296, all with |L| = 1 unless an ALERT is printed); with minor 75 (subdivisions tested: 955970, polytopes containing a subdivision with |L| >= 3: 6); time 123 s
ALERTS: 0
