Analysis of xx-mith-te3-00081991-base.sdk
Contents
Original Sudoku
level: hard
position: .2345....45..892..9.82.35....58......943.5..8.....2.5......8.75.....4.61..9...3.2 initial
Autosolve
position: .2345....45..892..9.82.35....58......943.5..8.....2.5......8.75.....4.61..9...3.2 autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* DIS # H4: 1,2 => CTR => H4: 3,4,9 * CNT 1 HDP CHAINS / 14 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* DIS # H4: 1,2 => CTR => H4: 3,4,9 * STA H4: 3,4,9 * CNT 1 HDP CHAINS / 17 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction Position
position: .2345....45..892..9.82.35..2.58......943.5.28.....2.5......8.75.....4.61..9...3.2 pair_reduction
See section Pair Reduction for the HDP chains leading to this result.
Deep Pair Reduction
Time used: 0:00:04.202420
The following important HDP chains were detected:
* PRF # H4: 4,9 # I4: 6,7 => SOL * STA # H4: 4,9 + I4: 6,7 * CNT 1 HDP CHAINS / 13 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| .2345....45..892..9.82.35....58......943.5..8.....2.5......8.75.....4.61..9...3.2 | initial |
| .2345....45..892..9.82.35....58......943.5..8.....2.5......8.75.....4.61..9...3.2 | autosolve |
| .2345....45..892..9.82.35..2.58......943.5.28.....2.5......8.75.....4.61..9...3.2 | pair_reduction |
| 123456789457189236968273514235841697794365128816792453341628975572934861689517342 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (11) H2: 1,3 H3: 1,4 E4: 4,9 E6: 4,9 H5: 1,2 C8: 2,7 E7: 2,3 E8: 2,3 G7: 4,9 G8: 8,9 H9: 4,8 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A4,A5: 2.. / A4 = 2 => 10 pairs (_) / A5 = 2 => 0 pairs (X) H4,H5: 2.. / H4 = 2 => 0 pairs (X) / H5 = 2 => 10 pairs (_) C7,C8: 2.. / C7 = 2 => 13 pairs (_) / C8 = 2 => 10 pairs (_) E7,E8: 2.. / E7 = 2 => 10 pairs (_) / E8 = 2 => 13 pairs (_) A4,H4: 2.. / A4 = 2 => 10 pairs (_) / H4 = 2 => 0 pairs (X) A5,H5: 2.. / A5 = 2 => 0 pairs (X) / H5 = 2 => 10 pairs (_) C7,E7: 2.. / C7 = 2 => 13 pairs (_) / E7 = 2 => 10 pairs (_) C8,E8: 2.. / C8 = 2 => 10 pairs (_) / E8 = 2 => 13 pairs (_) H2,I2: 3.. / H2 = 3 => 11 pairs (_) / I2 = 3 => 15 pairs (_) E7,E8: 3.. / E7 = 3 => 13 pairs (_) / E8 = 3 => 10 pairs (_) H2,H4: 3.. / H2 = 3 => 11 pairs (_) / H4 = 3 => 15 pairs (_) H3,I3: 4.. / H3 = 4 => 14 pairs (_) / I3 = 4 => 13 pairs (_) E4,E6: 4.. / E4 = 4 => 9 pairs (_) / E6 = 4 => 12 pairs (_) B7,B9: 4.. / B7 = 4 => 9 pairs (_) / B9 = 4 => 13 pairs (_) G7,H9: 4.. / G7 = 4 => 13 pairs (_) / H9 = 4 => 9 pairs (_) B7,G7: 4.. / B7 = 4 => 9 pairs (_) / G7 = 4 => 13 pairs (_) B9,H9: 4.. / B9 = 4 => 13 pairs (_) / H9 = 4 => 9 pairs (_) A8,A9: 5.. / A8 = 5 => 12 pairs (_) / A9 = 5 => 11 pairs (_) D8,D9: 5.. / D8 = 5 => 11 pairs (_) / D9 = 5 => 12 pairs (_) A8,D8: 5.. / A8 = 5 => 12 pairs (_) / D8 = 5 => 11 pairs (_) A9,D9: 5.. / A9 = 5 => 11 pairs (_) / D9 = 5 => 12 pairs (_) G1,H1: 8.. / G1 = 8 => 13 pairs (_) / H1 = 8 => 9 pairs (_) A6,B6: 8.. / A6 = 8 => 12 pairs (_) / B6 = 8 => 14 pairs (_) G8,H9: 8.. / G8 = 8 => 9 pairs (_) / H9 = 8 => 13 pairs (_) G1,G8: 8.. / G1 = 8 => 13 pairs (_) / G8 = 8 => 9 pairs (_) H1,H9: 8.. / H1 = 8 => 9 pairs (_) / H9 = 8 => 13 pairs (_) H1,I1: 9.. / H1 = 9 => 14 pairs (_) / I1 = 9 => 9 pairs (_) E4,E6: 9.. / E4 = 9 => 12 pairs (_) / E6 = 9 => 9 pairs (_) D7,D8: 9.. / D7 = 9 => 13 pairs (_) / D8 = 9 => 9 pairs (_) G7,G8: 9.. / G7 = 9 => 9 pairs (_) / G8 = 9 => 13 pairs (_) E6,I6: 9.. / E6 = 9 => 9 pairs (_) / I6 = 9 => 12 pairs (_) D7,G7: 9.. / D7 = 9 => 13 pairs (_) / G7 = 9 => 9 pairs (_) D8,G8: 9.. / D8 = 9 => 9 pairs (_) / G8 = 9 => 13 pairs (_) H1,H4: 9.. / H1 = 9 => 14 pairs (_) / H4 = 9 => 9 pairs (_) * DURATION: 0:00:10.618465 START: 21:30:29.874469 END: 21:30:40.492934 2025-04-04 * CP COUNT: (34) * CLUE FOUND * DEEP PAIR REDUCTION * DURATION: 0:00:04.089377 START: 21:30:46.699892 END: 21:30:50.789269 2025-04-04 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00081991-base-pr-002.dot * REASONING * PRF # H4: 4,9 # I4: 6,7 => SOL * STA # H4: 4,9 + I4: 6,7 * CNT 1 HDP CHAINS / 13 HYP OPENED
Header Info
rating: 19896; r2: 407448; index: 81991
Solution
position: 123456789457189236968273514235841697794365128816792453341628975572934861689517342 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 # H4: 1,3 => UNS * INC # H4: 2,4,9 => UNS * INC # H4: 1,4 => UNS * INC # H4: 2,3,9 => UNS * INC # H4: 4,9 => UNS * INC # I4: 4,9 => UNS * INC # I6: 4,9 => UNS * INC # I6: 3,6,7 => UNS * DIS # H4: 1,2 => CTR => H4: 3,4,9 * INC # H4: 3,4,9 => UNS * INC # A5: 1,2 => UNS * INC # A5: 6,7 => UNS * INC # B9: 4,8 => UNS * INC # B9: 1,6,7 => UNS * CNT 14 HDP CHAINS / 14 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # H4: 1,3 => UNS * INC # H4: 2,4,9 => UNS * INC # H4: 1,4 => UNS * INC # H4: 2,3,9 => UNS * INC # H4: 4,9 => UNS * INC # I4: 4,9 => UNS * INC # I6: 4,9 => UNS * INC # I6: 3,6,7 => UNS * DIS # H4: 1,2 => CTR => H4: 3,4,9 * INC H4: 3,4,9 # B9: 4,8 => UNS * INC H4: 3,4,9 # B9: 1,6,7 => UNS * INC H4: 3,4,9 # H4: 4,9 => UNS * INC H4: 3,4,9 # I4: 4,9 => UNS * INC H4: 3,4,9 # I6: 4,9 => UNS * INC H4: 3,4,9 # I6: 3,6,7 => UNS * INC H4: 3,4,9 # B9: 4,8 => UNS * INC H4: 3,4,9 # B9: 1,6,7 => UNS * STA H4: 3,4,9 * CNT 17 HDP CHAINS / 17 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # H4: 4,9 => UNS * INC # I4: 4,9 => UNS * INC # I6: 4,9 => UNS * INC # I6: 3,6,7 => UNS * INC # B9: 4,8 => UNS * INC # B9: 1,6,7 => UNS * INC # H4: 4,9 # G1: 6,7 => UNS * INC # H4: 4,9 # I1: 6,7 => UNS * INC # H4: 4,9 # I3: 6,7 => UNS * INC # H4: 4,9 # C2: 6,7 => UNS * INC # H4: 4,9 # D2: 6,7 => UNS * PRF # H4: 4,9 # I4: 6,7 => SOL * STA # H4: 4,9 + I4: 6,7 * CNT 12 HDP CHAINS / 13 HYP OPENED