Analysis of xx-mith-te3-00064312-base.sdk
Contents
Original Sudoku
level: hard
position: ...4..78..56.89......13.5...675...98......6.5...86.27..98....5...2..89..67....82. initial
Autosolve
position: ...4..78..56.89......13.5...675...98......6.5...86.27..98....5...2..89..67....82. autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* DIS # F1: 2,5 => CTR => F1: 6 * DIS # F3: 6 => CTR => F3: 2,7 * CNT 2 HDP CHAINS / 18 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* DIS # F1: 2,5 => CTR => F1: 6 * STA F1: 6 * CNT 1 HDP CHAINS / 31 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction Position
position: ...45678..56.89......13.5...675...98......6.59.586.27..98....5.5.2..89..67...582. pair_reduction
See section Pair Reduction for the HDP chains leading to this result.
Deep Pair Reduction
Time used: 0:00:41.013909
The following important HDP chains were detected:
* DIS # I3: 4,6 # G7: 1,3 => CTR => G7: 4 * PRF # I3: 4,6 + G7: 4 # H5: 1,3 => SOL * STA # I3: 4,6 + G7: 4 + H5: 1,3 * CNT 2 HDP CHAINS / 204 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| ...4..78..56.89......13.5...675...98......6.5...86.27..98....5...2..89..67....82. | initial |
| ...4..78..56.89......13.5...675...98......6.5...86.27..98....5...2..89..67....82. | autosolve |
| ...45678..56.89......13.5...675...98......6.59.586.27..98....5.5.2..89..67...582. | pair_reduction |
| 123456789456789132789132546267514398834297615915863274398621457542378961671945823 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (7) C3: 4,9 E1: 2,5 D2: 2,7 H3: 4,6 A6: 5,9 C6: 5,9 D9: 3,9 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) E1,F1: 5.. / E1 = 5 => 5 pairs (_) / F1 = 5 => 0 pairs (X) A6,C6: 5.. / A6 = 5 => 0 pairs (X) / C6 = 5 => 5 pairs (_) A8,C9: 5.. / A8 = 5 => 5 pairs (_) / C9 = 5 => 0 pairs (X) A8,E8: 5.. / A8 = 5 => 5 pairs (_) / E8 = 5 => 0 pairs (X) A6,A8: 5.. / A6 = 5 => 0 pairs (X) / A8 = 5 => 5 pairs (_) C6,C9: 5.. / C6 = 5 => 5 pairs (_) / C9 = 5 => 0 pairs (X) F1,F9: 5.. / F1 = 5 => 0 pairs (X) / F9 = 5 => 5 pairs (_) F1,F3: 6.. / F1 = 6 => 5 pairs (_) / F3 = 6 => 0 pairs (X) D7,D8: 6.. / D7 = 6 => 8 pairs (_) / D8 = 6 => 5 pairs (_) F1,I1: 6.. / F1 = 6 => 5 pairs (_) / I1 = 6 => 0 pairs (X) D7,I7: 6.. / D7 = 6 => 8 pairs (_) / I7 = 6 => 5 pairs (_) H3,H8: 6.. / H3 = 6 => 6 pairs (_) / H8 = 6 => 13 pairs (_) A2,A3: 7.. / A2 = 7 => 8 pairs (_) / A3 = 7 => 8 pairs (_) D2,F3: 7.. / D2 = 7 => 8 pairs (_) / F3 = 7 => 8 pairs (_) I7,I8: 7.. / I7 = 7 => 8 pairs (_) / I8 = 7 => 8 pairs (_) A2,D2: 7.. / A2 = 7 => 8 pairs (_) / D2 = 7 => 8 pairs (_) A3,F3: 7.. / A3 = 7 => 8 pairs (_) / F3 = 7 => 8 pairs (_) A3,B3: 8.. / A3 = 8 => 10 pairs (_) / B3 = 8 => 7 pairs (_) A5,B5: 8.. / A5 = 8 => 7 pairs (_) / B5 = 8 => 10 pairs (_) A3,A5: 8.. / A3 = 8 => 10 pairs (_) / A5 = 8 => 7 pairs (_) B3,B5: 8.. / B3 = 8 => 7 pairs (_) / B5 = 8 => 10 pairs (_) I1,I3: 9.. / I1 = 9 => 7 pairs (_) / I3 = 9 => 8 pairs (_) A6,C6: 9.. / A6 = 9 => 5 pairs (_) / C6 = 9 => 0 pairs (X) D5,E5: 9.. / D5 = 9 => 8 pairs (_) / E5 = 9 => 7 pairs (_) D9,E9: 9.. / D9 = 9 => 7 pairs (_) / E9 = 9 => 8 pairs (_) D5,D9: 9.. / D5 = 9 => 8 pairs (_) / D9 = 9 => 7 pairs (_) E5,E9: 9.. / E5 = 9 => 7 pairs (_) / E9 = 9 => 8 pairs (_) * DURATION: 0:00:07.069415 START: 09:42:37.316834 END: 09:42:44.386249 2025-04-06 * CP COUNT: (27) * CLUE FOUND * DEEP PAIR REDUCTION * DURATION: 0:00:40.569550 START: 09:42:52.774282 END: 09:43:33.343832 2025-04-06 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00064312-base-pr-002.dot * REASONING * DIS # I3: 4,6 # G7: 1,3 => CTR => G7: 4 * PRF # I3: 4,6 + G7: 4 # H5: 1,3 => SOL * STA # I3: 4,6 + G7: 4 + H5: 1,3 * CNT 2 HDP CHAINS / 204 HYP OPENED
Header Info
rating: 14268; r2: 420952; index: 64312
Solution
position: 123456789456789132789132546267514398834297615915863274398621457542378961671945823 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 # A3: 4,9 => UNS * INC # A3: 2,7,8 => UNS * INC # I3: 4,9 => UNS * INC # I3: 2,6 => UNS * DIS # F1: 2,5 => CTR => F1: 6 * INC # F1: 6 => UNS * INC # F3: 2,7 => UNS * DIS # F3: 6 => CTR => F3: 2,7 * INC # A2: 2,7 => UNS * INC # A2: 1,3,4 => UNS * INC # D5: 2,7 => UNS * INC # D7: 2,7 => UNS * INC # I3: 4,6 => UNS * INC # I3: 2,9 => UNS * INC # H8: 4,6 => UNS * INC # H8: 1,3 => UNS * INC # D5: 3,9 => UNS * INC # D5: 2,7 => UNS * CNT 18 HDP CHAINS / 18 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # A3: 4,9 => UNS * INC # A3: 2,7,8 => UNS * INC # I3: 4,9 => UNS * INC # I3: 2,6 => UNS * DIS # F1: 2,5 => CTR => F1: 6 * INC F1: 6 # A2: 2,7 => UNS * INC F1: 6 # A2: 1,3,4 => UNS * INC F1: 6 # D5: 2,7 => UNS * INC F1: 6 # D7: 2,7 => UNS * INC F1: 6 # I3: 4,6 => UNS * INC F1: 6 # I3: 2,9 => UNS * INC F1: 6 # H8: 4,6 => UNS * INC F1: 6 # H8: 1,3 => UNS * INC F1: 6 # D5: 3,9 => UNS * INC F1: 6 # D5: 2,7 => UNS * INC F1: 6 # I3: 4,9 => UNS * INC F1: 6 # I3: 2,6 => UNS * INC F1: 6 # A2: 2,7 => UNS * INC F1: 6 # A2: 1,3,4 => UNS * INC F1: 6 # D5: 2,7 => UNS * INC F1: 6 # D7: 2,7 => UNS * INC F1: 6 # A3: 2,7 => UNS * INC F1: 6 # A3: 4,8 => UNS * INC F1: 6 # F5: 2,7 => UNS * INC F1: 6 # F7: 2,7 => UNS * INC F1: 6 # I3: 4,6 => UNS * INC F1: 6 # I3: 2,9 => UNS * INC F1: 6 # H8: 4,6 => UNS * INC F1: 6 # H8: 1,3 => UNS * INC F1: 6 # D5: 3,9 => UNS * INC F1: 6 # D5: 2,7 => UNS * STA F1: 6 * CNT 31 HDP CHAINS / 31 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # I3: 4,9 => UNS * INC # I3: 2,6 => UNS * INC # A2: 2,7 => UNS * INC # A2: 1,3,4 => UNS * INC # D5: 2,7 => UNS * INC # D7: 2,7 => UNS * INC # A3: 2,7 => UNS * INC # A3: 4,8 => UNS * INC # F5: 2,7 => UNS * INC # F7: 2,7 => UNS * INC # I3: 4,6 => UNS * INC # I3: 2,9 => UNS * INC # H8: 4,6 => UNS * INC # H8: 1,3 => UNS * INC # D5: 3,9 => UNS * INC # D5: 2,7 => UNS * INC # I3: 4,9 # A3: 2,8 => UNS * INC # I3: 4,9 # A3: 7 => UNS * INC # I3: 4,9 # B5: 2,8 => UNS * INC # I3: 4,9 # B5: 1,3,4 => UNS * INC # I3: 4,9 # A2: 2,7 => UNS * INC # I3: 4,9 # A2: 1,3,4 => UNS * INC # I3: 4,9 # D5: 2,7 => UNS * INC # I3: 4,9 # D7: 2,7 => UNS * INC # I3: 4,9 # A3: 2,7 => UNS * INC # I3: 4,9 # A3: 8 => UNS * INC # I3: 4,9 # F5: 2,7 => UNS * INC # I3: 4,9 # F7: 2,7 => UNS * INC # I3: 4,9 # D5: 3,9 => UNS * INC # I3: 4,9 # D5: 2,7 => UNS * INC # I3: 4,9 # D7: 6,7 => UNS * INC # I3: 4,9 # D7: 2,3 => UNS * INC # I3: 4,9 # D8: 6,7 => UNS * INC # I3: 4,9 # D8: 3 => UNS * INC # I3: 4,9 => UNS * INC # I3: 2,6 # A1: 1,3 => UNS * INC # I3: 2,6 # B1: 1,3 => UNS * INC # I3: 2,6 # C5: 1,3 => UNS * INC # I3: 2,6 # C9: 1,3 => UNS * INC # I3: 2,6 # A3: 4,7 => UNS * INC # I3: 2,6 # A3: 8 => UNS * INC # I3: 2,6 # A3: 4,8 => UNS * INC # I3: 2,6 # A3: 7 => UNS * INC # I3: 2,6 # B5: 4,8 => UNS * INC # I3: 2,6 # B5: 1,2,3 => UNS * INC # I3: 2,6 # D5: 2,7 => UNS * INC # I3: 2,6 # D7: 2,7 => UNS * INC # I3: 2,6 # F5: 2,7 => UNS * INC # I3: 2,6 # F7: 2,7 => UNS * INC # I3: 2,6 # H8: 4,6 => UNS * INC # I3: 2,6 # H8: 1,3 => UNS * INC # I3: 2,6 # D5: 3,9 => UNS * INC # I3: 2,6 # D5: 2,7 => UNS * INC # I3: 2,6 => UNS * INC # A2: 2,7 # A3: 2,7 => UNS * INC # A2: 2,7 # A3: 4,8 => UNS * INC # A2: 2,7 # D5: 2,7 => UNS * INC # A2: 2,7 # D7: 2,7 => UNS * INC # A2: 2,7 # A3: 2,7 => UNS * INC # A2: 2,7 # A3: 4,8 => UNS * INC # A2: 2,7 # F5: 2,7 => UNS * INC # A2: 2,7 # F7: 2,7 => UNS * INC # A2: 2,7 # D5: 3,9 => UNS * INC # A2: 2,7 # D5: 2,7 => UNS * INC # A2: 2,7 # D7: 6,7 => UNS * INC # A2: 2,7 # D7: 2,3 => UNS * INC # A2: 2,7 # D8: 6,7 => UNS * INC # A2: 2,7 # D8: 3 => UNS * INC # A2: 2,7 => UNS * INC # A2: 1,3,4 # I3: 4,9 => UNS * INC # A2: 1,3,4 # I3: 6 => UNS * INC # A2: 1,3,4 # I3: 4,6 => UNS * INC # A2: 1,3,4 # I3: 9 => UNS * INC # A2: 1,3,4 # H8: 4,6 => UNS * INC # A2: 1,3,4 # H8: 1,3 => UNS * INC # A2: 1,3,4 # D7: 3,6 => UNS * INC # A2: 1,3,4 # D7: 2 => UNS * INC # A2: 1,3,4 # H8: 3,6 => UNS * INC # A2: 1,3,4 # I8: 3,6 => UNS * INC # A2: 1,3,4 # D5: 3,9 => UNS * INC # A2: 1,3,4 # D5: 2 => UNS * INC # A2: 1,3,4 => UNS * INC # D5: 2,7 # I3: 4,9 => UNS * INC # D5: 2,7 # I3: 2,6 => UNS * INC # D5: 2,7 # A2: 2,7 => UNS * INC # D5: 2,7 # A2: 1,3,4 => UNS * INC # D5: 2,7 # A3: 2,7 => UNS * INC # D5: 2,7 # A3: 4,8 => UNS * INC # D5: 2,7 # F5: 2,7 => UNS * INC # D5: 2,7 # F5: 1,3,4 => UNS * INC # D5: 2,7 # I3: 4,6 => UNS * INC # D5: 2,7 # I3: 2,9 => UNS * INC # D5: 2,7 # H8: 4,6 => UNS * INC # D5: 2,7 # H8: 1,3 => UNS * INC # D5: 2,7 # F5: 2,7 => UNS * INC # D5: 2,7 # F5: 1,3,4 => UNS * INC # D5: 2,7 # I7: 3,6 => UNS * INC # D5: 2,7 # I7: 1,4,7 => UNS * INC # D5: 2,7 # H8: 3,6 => UNS * INC # D5: 2,7 # I8: 3,6 => UNS * INC # D5: 2,7 # E7: 1,4 => UNS * INC # D5: 2,7 # F7: 1,4 => UNS * INC # D5: 2,7 # E8: 1,4 => UNS * INC # D5: 2,7 # C9: 1,4 => UNS * INC # D5: 2,7 # I9: 1,4 => UNS * INC # D5: 2,7 # E4: 1,4 => UNS * INC # D5: 2,7 # E4: 2 => UNS * INC # D5: 2,7 => UNS * INC # D7: 2,7 # I3: 4,9 => UNS * INC # D7: 2,7 # I3: 2 => UNS * INC # D7: 2,7 # A2: 2,7 => UNS * INC # D7: 2,7 # A2: 1,3,4 => UNS * INC # D7: 2,7 # A3: 2,7 => UNS * INC # D7: 2,7 # A3: 4,8 => UNS * INC # D7: 2,7 # F5: 2,7 => UNS * INC # D7: 2,7 # F7: 2,7 => UNS * INC # D7: 2,7 # E7: 2,7 => UNS * INC # D7: 2,7 # F7: 2,7 => UNS * INC # D7: 2,7 # E7: 1,4 => UNS * INC # D7: 2,7 # F7: 1,4 => UNS * INC # D7: 2,7 # E9: 1,4 => UNS * INC # D7: 2,7 # B8: 1,4 => UNS * INC # D7: 2,7 # H8: 1,4 => UNS * INC # D7: 2,7 # E4: 1,4 => UNS * INC # D7: 2,7 # E5: 1,4 => UNS * INC # D7: 2,7 => UNS * INC # A3: 2,7 # A2: 2,7 => UNS * INC # A3: 2,7 # A2: 1,3,4 => UNS * INC # A3: 2,7 # I3: 4,9 => UNS * INC # A3: 2,7 # I3: 6 => UNS * INC # A3: 2,7 # A2: 2,7 => UNS * INC # A3: 2,7 # A2: 1,3,4 => UNS * INC # A3: 2,7 # D5: 2,7 => UNS * INC # A3: 2,7 # D7: 2,7 => UNS * INC # A3: 2,7 # F5: 2,7 => UNS * INC # A3: 2,7 # F7: 2,7 => UNS * INC # A3: 2,7 # I3: 4,6 => UNS * INC # A3: 2,7 # I3: 9 => UNS * INC # A3: 2,7 # H8: 4,6 => UNS * INC # A3: 2,7 # H8: 1,3 => UNS * INC # A3: 2,7 # D5: 3,9 => UNS * INC # A3: 2,7 # D5: 2,7 => UNS * INC # A3: 2,7 => UNS * INC # A3: 4,8 # B3: 4,8 => UNS * INC # A3: 4,8 # B3: 2 => UNS * INC # A3: 4,8 # A5: 4,8 => UNS * INC # A3: 4,8 # A5: 1,2,3 => UNS * INC # A3: 4,8 # D7: 6,7 => UNS * INC # A3: 4,8 # D7: 3 => UNS * INC # A3: 4,8 # D8: 6,7 => UNS * INC # A3: 4,8 # D8: 3 => UNS * INC # A3: 4,8 => UNS * INC # F5: 2,7 # I3: 4,9 => UNS * INC # F5: 2,7 # I3: 2,6 => UNS * INC # F5: 2,7 # A2: 2,7 => UNS * INC # F5: 2,7 # A2: 1,3,4 => UNS * INC # F5: 2,7 # D5: 2,7 => UNS * INC # F5: 2,7 # D7: 2,7 => UNS * INC # F5: 2,7 # A3: 2,7 => UNS * INC # F5: 2,7 # A3: 4,8 => UNS * INC # F5: 2,7 # I3: 4,6 => UNS * INC # F5: 2,7 # I3: 2,9 => UNS * INC # F5: 2,7 # H8: 4,6 => UNS * INC # F5: 2,7 # H8: 1,3 => UNS * INC # F5: 2,7 # D5: 2,7 => UNS * INC # F5: 2,7 # E5: 2,7 => UNS * INC # F5: 2,7 # D7: 2,7 => UNS * INC # F5: 2,7 # D7: 6 => UNS * INC # F5: 2,7 # E5: 2,7 => UNS * INC # F5: 2,7 # E5: 1,4,9 => UNS * INC # F5: 2,7 # D5: 3,9 => UNS * INC # F5: 2,7 # D5: 2,7 => UNS * INC # F5: 2,7 # I8: 6,7 => UNS * INC # F5: 2,7 # I8: 1,3,4 => UNS * INC # F5: 2,7 # D7: 6,7 => UNS * INC # F5: 2,7 # D7: 2 => UNS * INC # F5: 2,7 => UNS * INC # F7: 2,7 # I3: 4,9 => UNS * INC # F7: 2,7 # I3: 2,6 => UNS * INC # F7: 2,7 # A2: 2,7 => UNS * INC # F7: 2,7 # A2: 1,3,4 => UNS * INC # F7: 2,7 # D7: 2,7 => UNS * INC # F7: 2,7 # D7: 3,6 => UNS * INC # F7: 2,7 # A3: 2,7 => UNS * INC # F7: 2,7 # A3: 4,8 => UNS * INC # F7: 2,7 # I3: 4,6 => UNS * INC # F7: 2,7 # I3: 2,9 => UNS * INC # F7: 2,7 # H8: 4,6 => UNS * INC # F7: 2,7 # H8: 1,3 => UNS * INC # F7: 2,7 # A3: 2,8 => UNS * INC # F7: 2,7 # A3: 4,7 => UNS * INC # F7: 2,7 # B3: 2,8 => UNS * INC # F7: 2,7 # B3: 4 => UNS * INC # F7: 2,7 # D7: 2,7 => UNS * INC # F7: 2,7 # D7: 3,6 => UNS * INC # F7: 2,7 => UNS * INC # I3: 4,6 # A1: 1,3 => UNS * INC # I3: 4,6 # B1: 1,3 => UNS * INC # I3: 4,6 # C5: 1,3 => UNS * INC # I3: 4,6 # C9: 1,3 => UNS * INC # I3: 4,6 # G4: 1,3 => UNS * DIS # I3: 4,6 # G7: 1,3 => CTR => G7: 4 * PRF # I3: 4,6 + G7: 4 # H5: 1,3 => SOL * STA # I3: 4,6 + G7: 4 + H5: 1,3 * CNT 203 HDP CHAINS / 204 HYP OPENED