Analysis of xx-mith-te3-00013217-base.sdk
Contents
Original Sudoku
level: hard
position: .234..7..45.7.9..3....23...235...94........51......6....4..2.9..7.94.....923.5... initial
Autosolve
position: .2345.7.945.7.9..3....23...235...94....2...51...5..6....4..2.9..7.94.....923.5... autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:31.303129
The following important HDP chains were detected:
* PRF # H6: 7,8 # H9: 1 => SOL * STA # H6: 7,8 + H9: 1 * CNT 1 HDP CHAINS / 130 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| .234..7..45.7.9..3....23...235...94........51......6....4..2.9..7.94.....923.5... | initial |
| .2345.7.945.7.9..3....23...235...94....2...51...5..6....4..2.9..7.94.....923.5... | autosolve |
| 123456789456789123789123465235617948867294351941538672314862597578941236692375814 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (10) A3: 7,9 C3: 7,9 G3: 4,5 I3: 4,5 E5: 3,9 E6: 3,9 I4: 7,8 G5: 3,8 A7: 3,5 A8: 3,5 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G2,H2: 2.. / G2 = 2 => 12 pairs (_) / H2 = 2 => 11 pairs (_) H6,I6: 2.. / H6 = 2 => 9 pairs (_) / I6 = 2 => 10 pairs (_) G2,G8: 2.. / G2 = 2 => 12 pairs (_) / G8 = 2 => 11 pairs (_) I6,I8: 2.. / I6 = 2 => 10 pairs (_) / I8 = 2 => 9 pairs (_) E5,E6: 3.. / E5 = 3 => 12 pairs (_) / E6 = 3 => 5 pairs (_) G5,H6: 3.. / G5 = 3 => 5 pairs (_) / H6 = 3 => 12 pairs (_) A7,A8: 3.. / A7 = 3 => 8 pairs (_) / A8 = 3 => 11 pairs (_) E5,G5: 3.. / E5 = 3 => 12 pairs (_) / G5 = 3 => 5 pairs (_) E6,H6: 3.. / E6 = 3 => 5 pairs (_) / H6 = 3 => 12 pairs (_) A7,G7: 3.. / A7 = 3 => 8 pairs (_) / G7 = 3 => 11 pairs (_) H6,H8: 3.. / H6 = 3 => 12 pairs (_) / H8 = 3 => 5 pairs (_) G3,I3: 4.. / G3 = 4 => 10 pairs (_) / I3 = 4 => 8 pairs (_) B5,B6: 4.. / B5 = 4 => 12 pairs (_) / B6 = 4 => 12 pairs (_) F5,F6: 4.. / F5 = 4 => 12 pairs (_) / F6 = 4 => 12 pairs (_) G9,I9: 4.. / G9 = 4 => 8 pairs (_) / I9 = 4 => 10 pairs (_) B5,F5: 4.. / B5 = 4 => 12 pairs (_) / F5 = 4 => 12 pairs (_) B6,F6: 4.. / B6 = 4 => 12 pairs (_) / F6 = 4 => 12 pairs (_) G3,G9: 4.. / G3 = 4 => 10 pairs (_) / G9 = 4 => 8 pairs (_) I3,I9: 4.. / I3 = 4 => 8 pairs (_) / I9 = 4 => 10 pairs (_) G3,I3: 5.. / G3 = 5 => 8 pairs (_) / I3 = 5 => 10 pairs (_) A7,A8: 5.. / A7 = 5 => 11 pairs (_) / A8 = 5 => 8 pairs (_) A3,C3: 7.. / A3 = 7 => 8 pairs (_) / C3 = 7 => 8 pairs (_) E7,E9: 7.. / E7 = 7 => 10 pairs (_) / E9 = 7 => 0 pairs (*) F4,I4: 7.. / F4 = 7 => 13 pairs (_) / I4 = 7 => 12 pairs (_) E7,I7: 7.. / E7 = 7 => 10 pairs (_) / I7 = 7 => 0 pairs (*) H6,H9: 7.. / H6 = 7 => 20 pairs (_) / H9 = 7 => 10 pairs (_) A3,C3: 9.. / A3 = 9 => 8 pairs (_) / C3 = 9 => 8 pairs (_) E5,E6: 9.. / E5 = 9 => 5 pairs (_) / E6 = 9 => 12 pairs (_) * DURATION: 0:00:10.302385 START: 06:57:29.590957 END: 06:57:39.893342 2025-04-04 * CP COUNT: (28) * SOLUTION FOUND * DEEP PAIR REDUCTION * DURATION: 0:00:31.001814 START: 06:57:47.150934 END: 06:58:18.152748 2025-04-04 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00013217-base-pr-002.dot * REASONING * PRF # H6: 7,8 # H9: 1 => SOL * STA # H6: 7,8 + H9: 1 * CNT 1 HDP CHAINS / 130 HYP OPENED
Header Info
rating: 2983; r2: 51133; index: 13217
Solution
position: 123456789456789123789123465235617948867294351941538672314862597578941236692375814 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 # A5: 7,9 => UNS * INC # A6: 7,9 => UNS * INC # C5: 7,9 => UNS * INC # C6: 7,9 => UNS * INC # H6: 7,8 => UNS * INC # I6: 7,8 => UNS * INC # F4: 7,8 => UNS * INC # F4: 1,6 => UNS * INC # I7: 7,8 => UNS * INC # I9: 7,8 => UNS * INC # H6: 3,8 => UNS * INC # H6: 2,7 => UNS * INC # G7: 3,8 => UNS * INC # G8: 3,8 => UNS * INC # G7: 3,5 => UNS * INC # G7: 1,8 => UNS * INC # G8: 3,5 => UNS * INC # G8: 1,2,8 => UNS * CNT 18 HDP CHAINS / 18 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # A5: 7,9 => UNS * INC # A6: 7,9 => UNS * INC # C5: 7,9 => UNS * INC # C6: 7,9 => UNS * INC # H6: 7,8 => UNS * INC # I6: 7,8 => UNS * INC # F4: 7,8 => UNS * INC # F4: 1,6 => UNS * INC # I7: 7,8 => UNS * INC # I9: 7,8 => UNS * INC # H6: 3,8 => UNS * INC # H6: 2,7 => UNS * INC # G7: 3,8 => UNS * INC # G8: 3,8 => UNS * INC # G7: 3,5 => UNS * INC # G7: 1,8 => UNS * INC # G8: 3,5 => UNS * INC # G8: 1,2,8 => UNS * CNT 18 HDP CHAINS / 18 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # A5: 7,9 => UNS * INC # A6: 7,9 => UNS * INC # C5: 7,9 => UNS * INC # C6: 7,9 => UNS * INC # H6: 7,8 => UNS * INC # I6: 7,8 => UNS * INC # F4: 7,8 => UNS * INC # F4: 1,6 => UNS * INC # I7: 7,8 => UNS * INC # I9: 7,8 => UNS * INC # H6: 3,8 => UNS * INC # H6: 2,7 => UNS * INC # G7: 3,8 => UNS * INC # G8: 3,8 => UNS * INC # G7: 3,5 => UNS * INC # G7: 1,8 => UNS * INC # G8: 3,5 => UNS * INC # G8: 1,2,8 => UNS * INC # A5: 7,9 # C5: 7,9 => UNS * INC # A5: 7,9 # C6: 7,9 => UNS * INC # A5: 7,9 # C5: 7,9 => UNS * INC # A5: 7,9 # C6: 7,9 => UNS * INC # A5: 7,9 # B6: 1,8 => UNS * INC # A5: 7,9 # C6: 1,8 => UNS * INC # A5: 7,9 # A1: 1,8 => UNS * INC # A5: 7,9 # A9: 1,8 => UNS * INC # A5: 7,9 # H6: 7,8 => UNS * INC # A5: 7,9 # I6: 7,8 => UNS * INC # A5: 7,9 # F4: 7,8 => UNS * INC # A5: 7,9 # F4: 1,6 => UNS * INC # A5: 7,9 # I7: 7,8 => UNS * INC # A5: 7,9 # I9: 7,8 => UNS * INC # A5: 7,9 # H6: 3,8 => UNS * INC # A5: 7,9 # H6: 2,7 => UNS * INC # A5: 7,9 # G7: 3,8 => UNS * INC # A5: 7,9 # G8: 3,8 => UNS * INC # A5: 7,9 # G7: 3,5 => UNS * INC # A5: 7,9 # G7: 1,8 => UNS * INC # A5: 7,9 # G8: 3,5 => UNS * INC # A5: 7,9 # G8: 1,2,8 => UNS * INC # A5: 7,9 => UNS * INC # A6: 7,9 # C5: 7,9 => UNS * INC # A6: 7,9 # C6: 7,9 => UNS * INC # A6: 7,9 # B5: 6,8 => UNS * INC # A6: 7,9 # C5: 6,8 => UNS * INC # A6: 7,9 # A1: 6,8 => UNS * INC # A6: 7,9 # A9: 6,8 => UNS * INC # A6: 7,9 # C5: 7,9 => UNS * INC # A6: 7,9 # C6: 7,9 => UNS * INC # A6: 7,9 # H6: 7,8 => UNS * INC # A6: 7,9 # I6: 7,8 => UNS * INC # A6: 7,9 # F4: 7,8 => UNS * INC # A6: 7,9 # F4: 1,6 => UNS * INC # A6: 7,9 # I7: 7,8 => UNS * INC # A6: 7,9 # I9: 7,8 => UNS * INC # A6: 7,9 # H6: 3,8 => UNS * INC # A6: 7,9 # H6: 2,7 => UNS * INC # A6: 7,9 # G7: 3,8 => UNS * INC # A6: 7,9 # G8: 3,8 => UNS * INC # A6: 7,9 # G7: 3,5 => UNS * INC # A6: 7,9 # G7: 1,8 => UNS * INC # A6: 7,9 # G8: 3,5 => UNS * INC # A6: 7,9 # G8: 1,2,8 => UNS * INC # A6: 7,9 => UNS * INC # C5: 7,9 # A5: 7,9 => UNS * INC # C5: 7,9 # A6: 7,9 => UNS * INC # C5: 7,9 # A5: 7,9 => UNS * INC # C5: 7,9 # A6: 7,9 => UNS * INC # C5: 7,9 # A6: 1,8 => UNS * INC # C5: 7,9 # B6: 1,8 => UNS * INC # C5: 7,9 # C2: 1,8 => UNS * INC # C5: 7,9 # C8: 1,8 => UNS * INC # C5: 7,9 # H6: 7,8 => UNS * INC # C5: 7,9 # I6: 7,8 => UNS * INC # C5: 7,9 # F4: 7,8 => UNS * INC # C5: 7,9 # F4: 1,6 => UNS * INC # C5: 7,9 # I7: 7,8 => UNS * INC # C5: 7,9 # I9: 7,8 => UNS * INC # C5: 7,9 # H6: 3,8 => UNS * INC # C5: 7,9 # H6: 2,7 => UNS * INC # C5: 7,9 # G7: 3,8 => UNS * INC # C5: 7,9 # G8: 3,8 => UNS * INC # C5: 7,9 # G7: 3,5 => UNS * INC # C5: 7,9 # G7: 1,8 => UNS * INC # C5: 7,9 # G8: 3,5 => UNS * INC # C5: 7,9 # G8: 1,2,8 => UNS * INC # C5: 7,9 => UNS * INC # C6: 7,9 # A5: 7,9 => UNS * INC # C6: 7,9 # A6: 7,9 => UNS * INC # C6: 7,9 # A5: 6,8 => UNS * INC # C6: 7,9 # B5: 6,8 => UNS * INC # C6: 7,9 # C2: 6,8 => UNS * INC # C6: 7,9 # C8: 6,8 => UNS * INC # C6: 7,9 # A5: 7,9 => UNS * INC # C6: 7,9 # A6: 7,9 => UNS * INC # C6: 7,9 # H6: 7,8 => UNS * INC # C6: 7,9 # I6: 7,8 => UNS * INC # C6: 7,9 # F4: 7,8 => UNS * INC # C6: 7,9 # F4: 1,6 => UNS * INC # C6: 7,9 # I7: 7,8 => UNS * INC # C6: 7,9 # I9: 7,8 => UNS * INC # C6: 7,9 # H6: 3,8 => UNS * INC # C6: 7,9 # H6: 2,7 => UNS * INC # C6: 7,9 # G7: 3,8 => UNS * INC # C6: 7,9 # G8: 3,8 => UNS * INC # C6: 7,9 # G7: 3,5 => UNS * INC # C6: 7,9 # G7: 1,8 => UNS * INC # C6: 7,9 # G8: 3,5 => UNS * INC # C6: 7,9 # G8: 1,2,8 => UNS * INC # C6: 7,9 => UNS * INC # H6: 7,8 # A6: 7,9 => UNS * INC # H6: 7,8 # A6: 1,8 => UNS * INC # H6: 7,8 # C6: 7,9 => UNS * INC # H6: 7,8 # C6: 1,8 => UNS * INC # H6: 7,8 # H1: 1,8 => UNS * INC # H6: 7,8 # H3: 1,8 => UNS * INC # H6: 7,8 # C2: 1,8 => UNS * INC # H6: 7,8 # E2: 1,8 => UNS * INC # H6: 7,8 # G7: 1,8 => UNS * INC # H6: 7,8 # G9: 1,8 => UNS * INC # H6: 7,8 # F4: 7,8 => UNS * INC # H6: 7,8 # F4: 1,6 => UNS * INC # H6: 7,8 # I7: 7,8 => UNS * INC # H6: 7,8 # I9: 7,8 => UNS * INC # H6: 7,8 # A6: 7,8 => UNS * INC # H6: 7,8 # C6: 7,8 => UNS * INC # H6: 7,8 # F6: 7,8 => UNS * INC # H6: 7,8 # H9: 7,8 => UNS * PRF # H6: 7,8 # H9: 1 => SOL * STA # H6: 7,8 + H9: 1 * CNT 129 HDP CHAINS / 130 HYP OPENED