P9 cubes: 48 {'UNSAT': 41, 'TIMEOUT': 4, 'MODEL_TIMEOUT': 3}
r131 pilot cubes (completed): 73 {'UNSAT': 73}
8-row P9: point 2440 thread-h; bootstrap 5% 908 50% 2337 95% 4386; P(>=3000) 0.283 P(<1000) 0.068
   Monte Carlo check, seeds 1-5 (5%, 95%): 889-4369, 897-4365, 907-4365, 897-4365, 907-4372
   per-row contributions: r243 1203, r215 519, r67 317, r140 180, r80 117, r216 45, r101 40, r69 19
9-row P9 + r131 pilot: point 2214 thread-h; bootstrap 5% 833 50% 2113 95% 3983; P(>=3000) 0.204 P(<1000) 0.093
   Monte Carlo check, seeds 1-5 (5%, 95%): 809-3978, 828-3944, 822-3967, 814-3968, 819-3993
   per-row contributions: r243 1069, r215 461, r67 282, r140 160, r80 104, r131 45, r216 40, r101 36, r69 17
static, 8 P9 rows: drop exact-s of K10 - K3 models (2226 s) -> 1860; + b = 0 routing on r243 c57 -> 1621; + drop deg-9 closed-twin K5 models (1295 s) -> 1169
distinct exact-tested models: 26; exact-test seconds (first occurrence): 5354
twin quotient size q (28 = no closed twins): [(14, 1), (15, 4), (16, 12), (17, 3), (19, 4), (20, 2)]
closed-twin K7 of degree 9: 16 of 26 models, 2858 of 5354 exact-s (53%)
contains K7 with >= 3 common nbrs (K10 - K3; KCUT fires): 17 of 26 models, 3298 of 5354 exact-s (62%)
closed-twin K5 of degree 9, no K10 - K3: 6 of 26 models, 1294 of 5354 exact-s (24%)
   K5 deg-9 model: P9 r215_c26 m 155 b 1 exact_sec 91.3
   K5 deg-9 model: P9 r215_c26 m 155 b 1 exact_sec 15.6
   K5 deg-9 model: P9 r215_c26 m 155 b 1 exact_sec 329.2
   K5 deg-9 model: P9 r215_c26 m 155 b 1 exact_sec 28.1
   K5 deg-9 model: P9 r215_c26 m 155 b 1 exact_sec 158.6
   K5 deg-9 model: P9 r243_c85 m 154 b 2 exact_sec 671.6
