Analysis of xx-mith-te3-00005294-base.sdk
Contents
Original Sudoku
level: medium
position: ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 initial
Autosolve
position: ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* PRF # I3: 5 => SOL * DIS # H7: 2,8 => CTR => H7: 4,5 * DIS # I3: 8 => CTR => I3: 2,5 * DIS # H7: 2,8 => CTR => H7: 4,5 * PRF # I7: 2,8 => SOL * PRF # I3: 5 => SOL * CNT 6 HDP CHAINS / 20 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* PRF # I3: 5 => SOL * STA I3: 5 * CNT 1 HDP CHAINS / 2 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 | initial |
| ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 | autosolve |
| 123456789457189236869273415245831967698724351731695824312967548576348192984512673 | solved |
Classification
level: medium
Pairing Analysis
-------------------------------------------------- * PAIRS (3) H1: 2,8 G2: 2,5 I8: 2,8 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) C1,C3: 3.. / C1 = 3 => 3 pairs (_) / C3 = 3 => 4 pairs (_) F1,F3: 3.. / F1 = 3 => 4 pairs (_) / F3 = 3 => 3 pairs (_) C1,F1: 3.. / C1 = 3 => 3 pairs (_) / F1 = 3 => 4 pairs (_) C3,F3: 3.. / C3 = 3 => 4 pairs (_) / F3 = 3 => 3 pairs (_) A2,B2: 4.. / A2 = 4 => 5 pairs (_) / B2 = 4 => 8 pairs (_) H7,I7: 4.. / H7 = 4 => 10 pairs (_) / I7 = 4 => 3 pairs (_) B2,B4: 4.. / B2 = 4 => 8 pairs (_) / B4 = 4 => 5 pairs (_) B2,B3: 5.. / B2 = 5 => 0 pairs (*) / B3 = 5 => 0 pairs (X) G2,I3: 5.. / G2 = 5 => 6 pairs (_) / I3 = 5 => 0 pairs (*) H5,I5: 5.. / H5 = 5 => 4 pairs (_) / I5 = 5 => 6 pairs (_) D7,D9: 5.. / D7 = 5 => 0 pairs (X) / D9 = 5 => 3 pairs (_) B2,G2: 5.. / B2 = 5 => 0 pairs (*) / G2 = 5 => 0 pairs (X) B3,I3: 5.. / B3 = 5 => 6 pairs (_) / I3 = 5 => 0 pairs (*) D9,G9: 5.. / D9 = 5 => 3 pairs (_) / G9 = 5 => 0 pairs (X) H5,H7: 5.. / H5 = 5 => 4 pairs (_) / H7 = 5 => 6 pairs (_) E3,F3: 7.. / E3 = 7 => 3 pairs (_) / F3 = 7 => 4 pairs (_) A4,A6: 7.. / A4 = 7 => 3 pairs (_) / A6 = 7 => 4 pairs (_) I4,I6: 7.. / I4 = 7 => 4 pairs (_) / I6 = 7 => 3 pairs (_) E7,F7: 7.. / E7 = 7 => 4 pairs (_) / F7 = 7 => 3 pairs (_) A4,I4: 7.. / A4 = 7 => 3 pairs (_) / I4 = 7 => 4 pairs (_) A6,I6: 7.. / A6 = 7 => 4 pairs (_) / I6 = 7 => 3 pairs (_) E3,E7: 7.. / E3 = 7 => 3 pairs (_) / E7 = 7 => 4 pairs (_) F3,F7: 7.. / F3 = 7 => 4 pairs (_) / F7 = 7 => 3 pairs (_) H1,I3: 8.. / H1 = 8 => 3 pairs (_) / I3 = 8 => 0 pairs (X) F8,I8: 8.. / F8 = 8 => 0 pairs (*) / I8 = 8 => 0 pairs (X) H1,H7: 8.. / H1 = 8 => 3 pairs (_) / H7 = 8 => 0 pairs (X) C7,A9: 9.. / C7 = 9 => 3 pairs (_) / A9 = 9 => 5 pairs (_) C3,C7: 9.. / C3 = 9 => 5 pairs (_) / C7 = 9 => 3 pairs (_) * DURATION: 0:00:06.606935 START: 03:25:54.488908 END: 03:26:01.095843 2025-04-06 * CP COUNT: (28) * SOLUTION FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (G2,H1,I8) * ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 * PAIR H1: 2,8 BLK 3 I3: 2,8,5 # reduction candidate for 2,8 I3: 5 => SOLVED * 123456789457189236869273415245831967698724351731695824312967548576348192984512673 I3: 2,8 # 6 pairs * PAIR H1: 2,8 ROW 1 A1: 2,8,1,6 # reduction candidate for 2,8 A1: 2,8 # 5 pairs F1: 2,8,1,3,6 # reduction candidate for 2,8 F1: 2,8 # 9 pairs * PAIR H1: 2,8 COL H H7: 2,8,4,5 # reduction candidate for 2,8 H7: 2,8 => CTR * ...45.789457...2368.9..3415.4583.96..987.435..3..9584.3....7.2457.34..98984....73 H7: 4,5 # 5 pairs * PAIR G2: 2,5 BLK 3 I3: 2,5,8 # reduction candidate for 2,5 I3: 8 => CTR * ...45.7.9..7...536.5....418..583.9...987.43...3..958..3......8.57.34..9..84....73 I3: 2,5 # 3 pairs * PAIR G2: 2,5 ROW 2 B2: 2,5,1,4 # reduction candidate for 2,5 B2: 2,5 # 8 pairs B2: 1,4 # 7 pairs * PAIR G2: 2,5 COL G G7: 2,5,1,6 # reduction candidate for 2,5 G7: 2,5 # 6 pairs G9: 2,5,1,6 # reduction candidate for 2,5 G9: 2,5 # 6 pairs * PAIR I8: 2,8 BLK 9 H7: 2,8,4,5 # reduction candidate for 2,8 H7: 2,8 => CTR * ...45.789457...2368.9..3415.4583.96..987.435..3..9584.3....7.2457.34..98984....73 H7: 4,5 # 5 pairs I7: 2,8,4,5 # reduction candidate for 2,8 I7: 2,8 => SOLVED * 123456789457189236869273415245831967698724351731695824312967548576348192984512673 I7: 4,5 # 4 pairs * PAIR I8: 2,8 ROW 8 F8: 2,8,1,6 # reduction candidate for 2,8 F8: 2,8 # 6 pairs F8: 1,6 # 5 pairs * PAIR I8: 2,8 COL I I3: 2,8,5 # reduction candidate for 2,8 I3: 5 => SOLVED * 123456789457189236869273415245831967698724351731695824312967548576348192984512673 I3: 2,8 # 6 pairs * INCONCLUSIVE * SAVE PR GRAPH xx-mith-te3-00005294-base-pr-000.dot * REASONING * PRF # I3: 5 => SOL * DIS # H7: 2,8 => CTR => H7: 4,5 * DIS # I3: 8 => CTR => I3: 2,5 * DIS # H7: 2,8 => CTR => H7: 4,5 * PRF # I7: 2,8 => SOL * PRF # I3: 5 => SOL * CNT 6 HDP CHAINS / 20 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (G2,H1,I8) * ...45.7.9..7....36......41...583.9...987.43...3..958..3........57.34..9..84....73 * PAIR H1: 2,8 BLK 3 I3: 2,8,5 # reduction candidate for 2,8 I3: 5 => SOLVED * 123456789457189236869273415245831967698724351731695824312967548576348192984512673 * DURATION: 0:00:00.641640 START: 03:26:04.230471 END: 03:26:04.872111 2025-04-06 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00005294-base-pr-001.dot * REASONING * PRF # I3: 5 => SOL * STA I3: 5 * CNT 1 HDP CHAINS / 2 HYP OPENED
Header Info
rating: 1005; r2: 12768; index: 5294
Solution
position: 123456789457189236869273415245831967698724351731695824312967548576348192984512673 solved
See section Pair Reduction for the HDP chains leading to this result.
Appendix: Full HDP Chains
A1. Pair Reduction Analysis
Full list of HDP chains traversed:
* INC # I3: 2,8 => UNS * PRF # I3: 5 => SOL * INC # A1: 2,8 => UNS * INC # F1: 2,8 => UNS * DIS # H7: 2,8 => CTR => H7: 4,5 * INC # H7: 4,5 => UNS * INC # I3: 2,5 => UNS * DIS # I3: 8 => CTR => I3: 2,5 * INC # B2: 2,5 => UNS * INC # B2: 1,4 => UNS * INC # G7: 2,5 => UNS * INC # G9: 2,5 => UNS * DIS # H7: 2,8 => CTR => H7: 4,5 * INC # H7: 4,5 => UNS * PRF # I7: 2,8 => SOL * INC # I7: 4,5 => UNS * INC # F8: 2,8 => UNS * INC # F8: 1,6 => UNS * INC # I3: 2,8 => UNS * PRF # I3: 5 => SOL * CNT 20 HDP CHAINS / 20 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # I3: 2,8 => UNS * PRF # I3: 5 => SOL * STA I3: 5 * CNT 2 HDP CHAINS / 2 HYP OPENED