Analysis of xx-mith-te3-00079891-base.sdk
Contents
Original Sudoku
level: hard
position: 1...567.9...1.9.366..37.51......7.63....3195.........7.4..95....82..3....6....... initial
Autosolve
position: 1...567.9...1.9.366..37.51......7.63....3195.........7.4..95....82..3....6....... autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:34.909913
The following important HDP chains were detected:
* DIS # B6: 1,5,9 # C5: 4,8 => CTR => C5: 6,7 * DIS # B6: 2,9 # C5: 4,8 => CTR => C5: 6 * PRF # A5: 4,8 # C5: 4,8 => SOL * STA # A5: 4,8 + C5: 4,8 * CNT 3 HDP CHAINS / 197 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 1...567.9...1.9.366..37.51......7.63....3195.........7.4..95....82..3....6....... | initial |
| 1...567.9...1.9.366..37.51......7.63....3195.........7.4..95....82..3....6....... | autosolve |
| 123456789457189236698372514215947863874631952936528147341295678582763491769814325 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (7) B1: 2,3 B3: 2,9 B5: 2,7 D4: 5,9 D6: 5,9 A7: 3,7 G8: 4,6 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B4,B6: 1.. / B4 = 1 => 7 pairs (_) / B6 = 1 => 9 pairs (_) G4,G6: 1.. / G4 = 1 => 9 pairs (_) / G6 = 1 => 7 pairs (_) C7,C9: 1.. / C7 = 1 => 10 pairs (_) / C9 = 1 => 14 pairs (_) E8,E9: 1.. / E8 = 1 => 8 pairs (_) / E9 = 1 => 9 pairs (_) B4,G4: 1.. / B4 = 1 => 7 pairs (_) / G4 = 1 => 9 pairs (_) B6,G6: 1.. / B6 = 1 => 9 pairs (_) / G6 = 1 => 7 pairs (_) C7,I7: 1.. / C7 = 1 => 10 pairs (_) / I7 = 1 => 14 pairs (_) E8,I8: 1.. / E8 = 1 => 8 pairs (_) / I8 = 1 => 9 pairs (_) B1,C1: 3.. / B1 = 3 => 7 pairs (_) / C1 = 3 => 8 pairs (_) G7,G9: 3.. / G7 = 3 => 16 pairs (_) / G9 = 3 => 7 pairs (_) B1,B6: 3.. / B1 = 3 => 7 pairs (_) / B6 = 3 => 8 pairs (_) D4,D6: 5.. / D4 = 5 => 5 pairs (_) / D6 = 5 => 5 pairs (_) I8,I9: 5.. / I8 = 5 => 8 pairs (_) / I9 = 5 => 8 pairs (_) A8,I8: 5.. / A8 = 5 => 8 pairs (_) / I8 = 5 => 8 pairs (_) C5,C6: 6.. / C5 = 6 => 8 pairs (_) / C6 = 6 => 11 pairs (_) D5,E6: 6.. / D5 = 6 => 11 pairs (_) / E6 = 6 => 8 pairs (_) G7,G8: 6.. / G7 = 6 => 11 pairs (_) / G8 = 6 => 9 pairs (_) C5,D5: 6.. / C5 = 6 => 8 pairs (_) / D5 = 6 => 11 pairs (_) C6,E6: 6.. / C6 = 6 => 11 pairs (_) / E6 = 6 => 8 pairs (_) D7,G7: 6.. / D7 = 6 => 9 pairs (_) / G7 = 6 => 11 pairs (_) E6,E8: 6.. / E6 = 6 => 8 pairs (_) / E8 = 6 => 11 pairs (_) B2,B5: 7.. / B2 = 7 => 12 pairs (_) / B5 = 7 => 7 pairs (_) B3,C3: 9.. / B3 = 9 => 7 pairs (_) / C3 = 9 => 9 pairs (_) D4,D6: 9.. / D4 = 9 => 5 pairs (_) / D6 = 9 => 5 pairs (_) H8,H9: 9.. / H8 = 9 => 8 pairs (_) / H9 = 9 => 8 pairs (_) A8,H8: 9.. / A8 = 9 => 8 pairs (_) / H8 = 9 => 8 pairs (_) * DURATION: 0:00:07.129486 START: 11:00:51.957365 END: 11:00:59.086851 2025-04-06 * CP COUNT: (26) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:34.402922 START: 11:01:05.020905 END: 11:01:39.423827 2025-04-06 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00079891-base-pr-002.dot * REASONING * DIS # B6: 1,5,9 # C5: 4,8 => CTR => C5: 6,7 * DIS # B6: 2,9 # C5: 4,8 => CTR => C5: 6 * PRF # A5: 4,8 # C5: 4,8 => SOL * STA # A5: 4,8 + C5: 4,8 * CNT 3 HDP CHAINS / 197 HYP OPENED
Header Info
rating: 19052; r2: 756009; index: 79891
Solution
position: 123456789457189236698372514215947863874631952936528147341295678582763491769814325 solved
See section Deep 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 # B6: 2,3 => UNS * INC # B6: 1,5,9 => UNS * INC # B4: 2,9 => UNS * INC # B6: 2,9 => UNS * INC # A5: 2,7 => UNS * INC # A5: 4,8 => UNS * INC # B2: 2,7 => UNS * INC # B2: 5 => UNS * INC # A4: 5,9 => UNS * INC # B4: 5,9 => UNS * INC # C4: 5,9 => UNS * INC # A6: 5,9 => UNS * INC # B6: 5,9 => UNS * INC # C6: 5,9 => UNS * INC # C7: 3,7 => UNS * INC # A9: 3,7 => UNS * INC # C9: 3,7 => UNS * INC # D8: 4,6 => UNS * INC # E8: 4,6 => UNS * CNT 19 HDP CHAINS / 19 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # B6: 2,3 => UNS * INC # B6: 1,5,9 => UNS * INC # B4: 2,9 => UNS * INC # B6: 2,9 => UNS * INC # A5: 2,7 => UNS * INC # A5: 4,8 => UNS * INC # B2: 2,7 => UNS * INC # B2: 5 => UNS * INC # A4: 5,9 => UNS * INC # B4: 5,9 => UNS * INC # C4: 5,9 => UNS * INC # A6: 5,9 => UNS * INC # B6: 5,9 => UNS * INC # C6: 5,9 => UNS * INC # C7: 3,7 => UNS * INC # A9: 3,7 => UNS * INC # C9: 3,7 => UNS * INC # D8: 4,6 => UNS * INC # E8: 4,6 => UNS * CNT 19 HDP CHAINS / 19 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # B6: 2,3 => UNS * INC # B6: 1,5,9 => UNS * INC # B4: 2,9 => UNS * INC # B6: 2,9 => UNS * INC # A5: 2,7 => UNS * INC # A5: 4,8 => UNS * INC # B2: 2,7 => UNS * INC # B2: 5 => UNS * INC # A4: 5,9 => UNS * INC # B4: 5,9 => UNS * INC # C4: 5,9 => UNS * INC # A6: 5,9 => UNS * INC # B6: 5,9 => UNS * INC # C6: 5,9 => UNS * INC # C7: 3,7 => UNS * INC # A9: 3,7 => UNS * INC # C9: 3,7 => UNS * INC # D8: 4,6 => UNS * INC # E8: 4,6 => UNS * INC # B6: 2,3 # C1: 4,8 => UNS * INC # B6: 2,3 # A2: 4,8 => UNS * INC # B6: 2,3 # C2: 4,8 => UNS * INC # B6: 2,3 # F3: 4,8 => UNS * INC # B6: 2,3 # I3: 4,8 => UNS * INC # B6: 2,3 # C4: 4,8 => UNS * INC # B6: 2,3 # C5: 4,8 => UNS * INC # B6: 2,3 # C6: 4,8 => UNS * INC # B6: 2,3 # A6: 2,3 => UNS * INC # B6: 2,3 # A6: 4,5,8,9 => UNS * INC # B6: 2,3 # A4: 5,9 => UNS * INC # B6: 2,3 # C4: 5,9 => UNS * INC # B6: 2,3 # A6: 5,9 => UNS * INC # B6: 2,3 # C6: 5,9 => UNS * INC # B6: 2,3 # C7: 3,7 => UNS * INC # B6: 2,3 # A9: 3,7 => UNS * INC # B6: 2,3 # C9: 3,7 => UNS * INC # B6: 2,3 # D8: 4,6 => UNS * INC # B6: 2,3 # E8: 4,6 => UNS * INC # B6: 2,3 => UNS * INC # B6: 1,5,9 # A2: 4,8 => UNS * INC # B6: 1,5,9 # C2: 4,8 => UNS * INC # B6: 1,5,9 # C3: 4,8 => UNS * INC # B6: 1,5,9 # D1: 4,8 => UNS * INC # B6: 1,5,9 # H1: 4,8 => UNS * INC # B6: 1,5,9 # C4: 4,8 => UNS * DIS # B6: 1,5,9 # C5: 4,8 => CTR => C5: 6,7 * INC # B6: 1,5,9 + C5: 6,7 # C6: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A2: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C2: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C3: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # D1: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # H1: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C4: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C6: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 2,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 1,5 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A5: 2,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A5: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B2: 2,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B2: 5 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C7: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A9: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C9: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # D8: 4,6 => UNS * INC # B6: 1,5,9 + C5: 6,7 # E8: 4,6 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A2: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C2: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C3: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # D1: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # H1: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C4: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C6: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 2,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 1,5 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A5: 2,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A5: 4,8 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B2: 2,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B2: 5 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C4: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # B6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C6: 5,9 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C7: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # A9: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # C9: 3,7 => UNS * INC # B6: 1,5,9 + C5: 6,7 # D8: 4,6 => UNS * INC # B6: 1,5,9 + C5: 6,7 # E8: 4,6 => UNS * INC # B6: 1,5,9 + C5: 6,7 => UNS * INC # B4: 2,9 # A2: 4,8 => UNS * INC # B4: 2,9 # C3: 4,8 => UNS * INC # B4: 2,9 # D1: 4,8 => UNS * INC # B4: 2,9 # H1: 4,8 => UNS * INC # B4: 2,9 # C4: 4,8 => UNS * INC # B4: 2,9 # C4: 5,9 => UNS * INC # B4: 2,9 # C4: 5,9 => UNS * INC # B4: 2,9 # C4: 4,8 => UNS * INC # B4: 2,9 # A6: 5,9 => UNS * INC # B4: 2,9 # C6: 5,9 => UNS * INC # B4: 2,9 # A9: 3,7 => UNS * INC # B4: 2,9 # A9: 5,9 => UNS * INC # B4: 2,9 # C9: 1,3 => UNS * INC # B4: 2,9 # C9: 5,9 => UNS * INC # B4: 2,9 # E9: 1,4 => UNS * INC # B4: 2,9 # E9: 2,8 => UNS * INC # B4: 2,9 # I8: 1,4 => UNS * INC # B4: 2,9 # I8: 5 => UNS * INC # B4: 2,9 # D8: 4,6 => UNS * INC # B4: 2,9 # D8: 7 => UNS * INC # B4: 2,9 => UNS * INC # B6: 2,9 # A2: 4,8 => UNS * INC # B6: 2,9 # C2: 4,8 => UNS * INC # B6: 2,9 # C3: 4,8 => UNS * INC # B6: 2,9 # D1: 4,8 => UNS * INC # B6: 2,9 # H1: 4,8 => UNS * INC # B6: 2,9 # C4: 4,8 => UNS * DIS # B6: 2,9 # C5: 4,8 => CTR => C5: 6 * INC # B6: 2,9 + C5: 6 # C6: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # A2: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C2: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C3: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # D1: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # H1: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C4: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C6: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # A4: 2,9 => UNS * INC # B6: 2,9 + C5: 6 # A6: 2,9 => UNS * INC # B6: 2,9 + C5: 6 # A4: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C4: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # A6: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C6: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C7: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # A9: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # C9: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # D8: 4,6 => UNS * INC # B6: 2,9 + C5: 6 # D8: 7 => UNS * INC # B6: 2,9 + C5: 6 # A2: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C2: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C3: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # D1: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # H1: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C4: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # C6: 4,8 => UNS * INC # B6: 2,9 + C5: 6 # A4: 2,9 => UNS * INC # B6: 2,9 + C5: 6 # A6: 2,9 => UNS * INC # B6: 2,9 + C5: 6 # A4: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C4: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # A6: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C6: 5,9 => UNS * INC # B6: 2,9 + C5: 6 # C7: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # A9: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # C9: 3,7 => UNS * INC # B6: 2,9 + C5: 6 # E9: 1,4 => UNS * INC # B6: 2,9 + C5: 6 # E9: 2,8 => UNS * INC # B6: 2,9 + C5: 6 # I8: 1,4 => UNS * INC # B6: 2,9 + C5: 6 # I8: 5 => UNS * INC # B6: 2,9 + C5: 6 # D8: 4,6 => UNS * INC # B6: 2,9 + C5: 6 # D8: 7 => UNS * INC # B6: 2,9 + C5: 6 => UNS * INC # A5: 2,7 # A2: 2,7 => UNS * INC # A5: 2,7 # A2: 4,5,8 => UNS * INC # A5: 2,7 # B2: 2,7 => UNS * INC # A5: 2,7 # B2: 5 => UNS * INC # A5: 2,7 # A4: 5,9 => UNS * INC # A5: 2,7 # B4: 5,9 => UNS * INC # A5: 2,7 # C4: 5,9 => UNS * INC # A5: 2,7 # A6: 5,9 => UNS * INC # A5: 2,7 # B6: 5,9 => UNS * INC # A5: 2,7 # C6: 5,9 => UNS * INC # A5: 2,7 # G4: 4,8 => UNS * INC # A5: 2,7 # G6: 4,8 => UNS * INC # A5: 2,7 # H6: 4,8 => UNS * INC # A5: 2,7 # C5: 4,8 => UNS * INC # A5: 2,7 # D5: 4,8 => UNS * INC # A5: 2,7 # I3: 4,8 => UNS * INC # A5: 2,7 # I9: 4,8 => UNS * INC # A5: 2,7 # C7: 3,7 => UNS * INC # A5: 2,7 # A9: 3,7 => UNS * INC # A5: 2,7 # C9: 3,7 => UNS * INC # A5: 2,7 # D8: 4,6 => UNS * INC # A5: 2,7 # E8: 4,6 => UNS * INC # A5: 2,7 => UNS * INC # A5: 4,8 # B6: 2,3 => UNS * INC # A5: 4,8 # B6: 1,5,9 => UNS * INC # A5: 4,8 # B4: 2,9 => UNS * INC # A5: 4,8 # B6: 2,9 => UNS * INC # A5: 4,8 # A4: 4,8 => UNS * INC # A5: 4,8 # C4: 4,8 => UNS * PRF # A5: 4,8 # C5: 4,8 => SOL * STA # A5: 4,8 + C5: 4,8 * CNT 196 HDP CHAINS / 197 HYP OPENED