duoprism5x5            f=(25, 50, 35, 10)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 1, 0, 0, 0, 0, 0, 0, 0, 0]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True  (1 s)
duoprism5x6            f=(30, 60, 41, 11)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 0, 1, 0, 0, 0, 0, 0, 0, 0]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True  (0 s)
duoprism6x6            f=(36, 72, 48, 12)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 0, 0, 0, 0, -1, 0, 0, 0, 0]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True  (10 s)
duoprism4x4            f=(16, 32, 24, 8)  K6 minor (SAT): SAT; lk of the 10 pairs of the model: [0, 0, 0, 0, 0, 0, 1, 0, 0, 0]; odd: 1 (Conway-Gordon parity OK); nonzero pairs confirmed by M2: True; complete partition search: linked pair found (partitions tested 1393)  (0 s)
