Analysis of xx-mith-te3-00093275-base.sdk
Contents
Original Sudoku
level: hard
position: 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. initial
Autosolve
position: 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* DIS # C8: 5,6 => CTR => C8: 1,4,9 * CNT 1 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:
* DIS # C8: 5,6 => CTR => C8: 1,4,9 * STA C8: 1,4,9 * CNT 1 HDP CHAINS / 42 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction Position
position: 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. pair_reduction
See section Pair Reduction for the HDP chains leading to this result.
Deep Pair Reduction
Time used: 0:00:09.270824
The following important HDP chains were detected:
* PRF # A3: 7,9 # A7: 3 => SOL * STA # A3: 7,9 + A7: 3 * CNT 1 HDP CHAINS / 44 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. | initial |
| 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. | autosolve |
| 1.3....8.45..8.....8.....46....756.4.7.84...5.4.6.287...256.4.8....28..7......2.. | pair_reduction |
| 123456789456789132789231546238975614671843925945612873312567498594128367867394251 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (5) C3: 7,9 E1: 5,9 I1: 2,9 H8: 5,6 H9: 5,6 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B1,A3: 2.. / B1 = 2 => 13 pairs (_) / A3 = 2 => 7 pairs (_) I1,I2: 2.. / I1 = 2 => 6 pairs (_) / I2 = 2 => 11 pairs (_) H4,H5: 2.. / H4 = 2 => 0 pairs (X) / H5 = 2 => 5 pairs (_) D2,I2: 2.. / D2 = 2 => 6 pairs (_) / I2 = 2 => 11 pairs (_) A3,D3: 2.. / A3 = 2 => 7 pairs (_) / D3 = 2 => 13 pairs (_) A5,H5: 2.. / A5 = 2 => 0 pairs (X) / H5 = 2 => 5 pairs (_) B1,B4: 2.. / B1 = 2 => 13 pairs (_) / B4 = 2 => 7 pairs (_) D1,F1: 4.. / D1 = 4 => 5 pairs (_) / F1 = 4 => 10 pairs (_) C8,C9: 4.. / C8 = 4 => 5 pairs (_) / C9 = 4 => 0 pairs (X) C8,D8: 4.. / C8 = 4 => 5 pairs (_) / D8 = 4 => 0 pairs (X) F1,F9: 4.. / F1 = 4 => 10 pairs (_) / F9 = 4 => 5 pairs (_) E1,E3: 5.. / E1 = 5 => 5 pairs (_) / E3 = 5 => 17 pairs (_) G1,G3: 5.. / G1 = 5 => 17 pairs (_) / G3 = 5 => 5 pairs (_) A6,C6: 5.. / A6 = 5 => 9 pairs (_) / C6 = 5 => 6 pairs (_) H8,H9: 5.. / H8 = 5 => 8 pairs (_) / H9 = 5 => 3 pairs (_) E1,G1: 5.. / E1 = 5 => 5 pairs (_) / G1 = 5 => 17 pairs (_) E3,G3: 5.. / E3 = 5 => 17 pairs (_) / G3 = 5 => 5 pairs (_) B1,C2: 6.. / B1 = 6 => 12 pairs (_) / C2 = 6 => 7 pairs (_) F1,F2: 6.. / F1 = 6 => 7 pairs (_) / F2 = 6 => 12 pairs (_) A5,C5: 6.. / A5 = 6 => 6 pairs (_) / C5 = 6 => 13 pairs (_) H8,H9: 6.. / H8 = 6 => 3 pairs (_) / H9 = 6 => 8 pairs (_) B1,F1: 6.. / B1 = 6 => 12 pairs (_) / F1 = 6 => 7 pairs (_) C2,F2: 6.. / C2 = 6 => 7 pairs (_) / F2 = 6 => 12 pairs (_) A7,F7: 7.. / A7 = 7 => 6 pairs (_) / F7 = 7 => 0 pairs (*) A4,C4: 8.. / A4 = 8 => 8 pairs (_) / C4 = 8 => 5 pairs (_) A9,C9: 8.. / A9 = 8 => 5 pairs (_) / C9 = 8 => 8 pairs (_) A4,A9: 8.. / A4 = 8 => 8 pairs (_) / A9 = 8 => 5 pairs (_) C4,C9: 8.. / C4 = 8 => 5 pairs (_) / C9 = 8 => 8 pairs (_) * DURATION: 0:00:07.788466 START: 14:40:40.998811 END: 14:40:48.787277 2025-04-06 * CP COUNT: (28) * SOLUTION FOUND * DEEP PAIR REDUCTION * DURATION: 0:00:09.082412 START: 14:40:59.197141 END: 14:41:08.279553 2025-04-06 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00093275-base-pr-002.dot * REASONING * PRF # A3: 7,9 # A7: 3 => SOL * STA # A3: 7,9 + A7: 3 * CNT 1 HDP CHAINS / 44 HYP OPENED
Header Info
rating: 23620; r2: 610866; index: 93275
Solution
position: 123456789456789132789231546238975614671843925945612873312567498594128367867394251 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 # C2: 7,9 => UNS * INC # A3: 7,9 => UNS * INC # D3: 7,9 => UNS * INC # F3: 7,9 => UNS * INC # G3: 7,9 => UNS * INC # C9: 7,9 => UNS * INC # C9: 1,4,5,6,8 => UNS * INC # E3: 5,9 => UNS * INC # E3: 1,3 => UNS * INC # G1: 5,9 => UNS * INC # G1: 7 => UNS * INC # I2: 2,9 => UNS * INC # I2: 1,3 => UNS * INC # B1: 2,9 => UNS * INC # D1: 2,9 => UNS * INC # A8: 5,6 => UNS * DIS # C8: 5,6 => CTR => C8: 1,4,9 * INC # C8: 1,4,9 => UNS * INC # A9: 5,6 => UNS * INC # C9: 5,6 => UNS * CNT 20 HDP CHAINS / 20 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 7,9 => UNS * INC # A3: 7,9 => UNS * INC # D3: 7,9 => UNS * INC # F3: 7,9 => UNS * INC # G3: 7,9 => UNS * INC # C9: 7,9 => UNS * INC # C9: 1,4,5,6,8 => UNS * INC # E3: 5,9 => UNS * INC # E3: 1,3 => UNS * INC # G1: 5,9 => UNS * INC # G1: 7 => UNS * INC # I2: 2,9 => UNS * INC # I2: 1,3 => UNS * INC # B1: 2,9 => UNS * INC # D1: 2,9 => UNS * INC # A8: 5,6 => UNS * DIS # C8: 5,6 => CTR => C8: 1,4,9 * INC C8: 1,4,9 # A8: 5,6 => UNS * INC C8: 1,4,9 # A8: 3,9 => UNS * INC C8: 1,4,9 # A8: 5,6 => UNS * INC C8: 1,4,9 # A8: 3,9 => UNS * INC C8: 1,4,9 # A9: 5,6 => UNS * INC C8: 1,4,9 # C9: 5,6 => UNS * INC C8: 1,4,9 # C2: 7,9 => UNS * INC C8: 1,4,9 # A3: 7,9 => UNS * INC C8: 1,4,9 # D3: 7,9 => UNS * INC C8: 1,4,9 # F3: 7,9 => UNS * INC C8: 1,4,9 # G3: 7,9 => UNS * INC C8: 1,4,9 # C9: 7,9 => UNS * INC C8: 1,4,9 # C9: 1,4,5,6,8 => UNS * INC C8: 1,4,9 # E3: 5,9 => UNS * INC C8: 1,4,9 # E3: 1,3 => UNS * INC C8: 1,4,9 # G1: 5,9 => UNS * INC C8: 1,4,9 # G1: 7 => UNS * INC C8: 1,4,9 # I2: 2,9 => UNS * INC C8: 1,4,9 # I2: 1,3 => UNS * INC C8: 1,4,9 # B1: 2,9 => UNS * INC C8: 1,4,9 # D1: 2,9 => UNS * INC C8: 1,4,9 # A8: 5,6 => UNS * INC C8: 1,4,9 # A8: 3,9 => UNS * INC C8: 1,4,9 # A9: 5,6 => UNS * INC C8: 1,4,9 # C9: 5,6 => UNS * STA C8: 1,4,9 * CNT 42 HDP CHAINS / 42 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 7,9 => UNS * INC # A3: 7,9 => UNS * INC # D3: 7,9 => UNS * INC # F3: 7,9 => UNS * INC # G3: 7,9 => UNS * INC # C9: 7,9 => UNS * INC # C9: 1,4,5,6,8 => UNS * INC # E3: 5,9 => UNS * INC # E3: 1,3 => UNS * INC # G1: 5,9 => UNS * INC # G1: 7 => UNS * INC # I2: 2,9 => UNS * INC # I2: 1,3 => UNS * INC # B1: 2,9 => UNS * INC # D1: 2,9 => UNS * INC # A8: 5,6 => UNS * INC # A8: 3,9 => UNS * INC # A9: 5,6 => UNS * INC # C9: 5,6 => UNS * INC # C2: 7,9 # D2: 7,9 => UNS * INC # C2: 7,9 # G2: 7,9 => UNS * INC # C2: 7,9 # D3: 7,9 => UNS * INC # C2: 7,9 # F3: 7,9 => UNS * INC # C2: 7,9 # G3: 7,9 => UNS * INC # C2: 7,9 # E3: 5,9 => UNS * INC # C2: 7,9 # E3: 1,3 => UNS * INC # C2: 7,9 # G1: 5,9 => UNS * INC # C2: 7,9 # G1: 7 => UNS * INC # C2: 7,9 # I2: 2,9 => UNS * INC # C2: 7,9 # I2: 1,3 => UNS * INC # C2: 7,9 # D1: 2,9 => UNS * INC # C2: 7,9 # D1: 4,7 => UNS * INC # C2: 7,9 # A9: 5,6 => UNS * INC # C2: 7,9 # C9: 5,6 => UNS * INC # C2: 7,9 # D1: 4,7 => UNS * INC # C2: 7,9 # D1: 2,9 => UNS * INC # C2: 7,9 # F1: 4,7 => UNS * INC # C2: 7,9 # F1: 9 => UNS * INC # C2: 7,9 # A9: 5,6 => UNS * INC # C2: 7,9 # C9: 5,6 => UNS * INC # C2: 7,9 => UNS * INC # A3: 7,9 # A7: 7,9 => UNS * PRF # A3: 7,9 # A7: 3 => SOL * STA # A3: 7,9 + A7: 3 * CNT 43 HDP CHAINS / 44 HYP OPENED