Analysis of xx-mith-te3-00153399-base.sdk
Contents
Original Sudoku
level: hard
position: .2.4......5.....237.91.......8...35...1..82.4.......18.1.2.5....4.8...32....345.1 initial
Autosolve
position: .2.4......5.....237.91.......8...35...1..82.4.......18.1.2.5....4.8...32....345.1 autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:29.694732
The following important HDP chains were detected:
* DIS # A1: 3,6 # F2: 7,9 => CTR => F2: 6 * DIS # A1: 3,6 + F2: 6 # B5: 7,9 => CTR => B5: 3,6 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 # E5: 6 => CTR => E5: 7,9 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 # I4: 7,9 => CTR => I4: 6 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 + I4: 6 => CTR => A1: 1,8 * DIS A1: 1,8 # B3: 8 # D9: 7,9 => CTR => D9: 6 * DIS A1: 1,8 # B3: 8 + D9: 6 # H1: 7,9 => CTR => H1: 8 * PRF A1: 1,8 # B3: 8 + D9: 6 + H1: 8 # I4: 7,9 => SOL * STA A1: 1,8 # B3: 8 + D9: 6 + H1: 8 + I4: 7,9 * CNT 8 HDP CHAINS / 146 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| .2.4......5.....237.91.......8...35...1..82.4.......18.1.2.5....4.8...32....345.1 | initial |
| .2.4......5.....237.91.......8...35...1..82.4.......18.1.2.5....4.8...32....345.1 | autosolve |
| 123456789456789123789123465268941357571368294934572618317295846645817932892634571 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (7) C1: 3,6 C2: 4,6 I3: 5,6 A4: 2,4 F4: 1,2 D5: 3,5 D6: 3,5 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A1,A2: 1.. / A1 = 1 => 11 pairs (_) / A2 = 1 => 6 pairs (_) G1,G2: 1.. / G1 = 1 => 6 pairs (_) / G2 = 1 => 11 pairs (_) E4,F4: 1.. / E4 = 1 => 5 pairs (_) / F4 = 1 => 7 pairs (_) E8,F8: 1.. / E8 = 1 => 7 pairs (_) / F8 = 1 => 5 pairs (_) A1,G1: 1.. / A1 = 1 => 11 pairs (_) / G1 = 1 => 6 pairs (_) A2,G2: 1.. / A2 = 1 => 6 pairs (_) / G2 = 1 => 11 pairs (_) E4,E8: 1.. / E4 = 1 => 5 pairs (_) / E8 = 1 => 7 pairs (_) F4,F8: 1.. / F4 = 1 => 7 pairs (_) / F8 = 1 => 5 pairs (_) E3,F3: 2.. / E3 = 2 => 8 pairs (_) / F3 = 2 => 14 pairs (_) A9,C9: 2.. / A9 = 2 => 8 pairs (_) / C9 = 2 => 7 pairs (_) C6,C9: 2.. / C6 = 2 => 8 pairs (_) / C9 = 2 => 7 pairs (_) F1,F3: 3.. / F1 = 3 => 14 pairs (_) / F3 = 3 => 8 pairs (_) D5,D6: 3.. / D5 = 3 => 6 pairs (_) / D6 = 3 => 5 pairs (_) A7,C7: 3.. / A7 = 3 => 10 pairs (_) / C7 = 3 => 9 pairs (_) B3,F3: 3.. / B3 = 3 => 14 pairs (_) / F3 = 3 => 8 pairs (_) A2,C2: 4.. / A2 = 4 => 15 pairs (_) / C2 = 4 => 6 pairs (_) G3,H3: 4.. / G3 = 4 => 8 pairs (_) / H3 = 4 => 8 pairs (_) E4,E6: 4.. / E4 = 4 => 5 pairs (_) / E6 = 4 => 6 pairs (_) G7,H7: 4.. / G7 = 4 => 8 pairs (_) / H7 = 4 => 8 pairs (_) A4,E4: 4.. / A4 = 4 => 6 pairs (_) / E4 = 4 => 5 pairs (_) C2,C6: 4.. / C2 = 4 => 6 pairs (_) / C6 = 4 => 15 pairs (_) G3,G7: 4.. / G3 = 4 => 8 pairs (_) / G7 = 4 => 8 pairs (_) H3,H7: 4.. / H3 = 4 => 8 pairs (_) / H7 = 4 => 8 pairs (_) E1,E3: 5.. / E1 = 5 => 6 pairs (_) / E3 = 5 => 18 pairs (_) I1,I3: 5.. / I1 = 5 => 18 pairs (_) / I3 = 5 => 6 pairs (_) D5,D6: 5.. / D5 = 5 => 5 pairs (_) / D6 = 5 => 6 pairs (_) A8,C8: 5.. / A8 = 5 => 6 pairs (_) / C8 = 5 => 8 pairs (_) E1,I1: 5.. / E1 = 5 => 6 pairs (_) / I1 = 5 => 18 pairs (_) E3,I3: 5.. / E3 = 5 => 18 pairs (_) / I3 = 5 => 6 pairs (_) A5,D5: 5.. / A5 = 5 => 6 pairs (_) / D5 = 5 => 5 pairs (_) C6,C8: 5.. / C6 = 5 => 6 pairs (_) / C8 = 5 => 8 pairs (_) B3,B9: 8.. / B3 = 8 => 10 pairs (_) / B9 = 8 => 11 pairs (_) * DURATION: 0:00:08.536923 START: 15:16:14.036040 END: 15:16:22.572963 2025-04-05 * CP COUNT: (32) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:29.398725 START: 15:16:30.186000 END: 15:16:59.584725 2025-04-05 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00153399-base-pr-002.dot * REASONING * DIS # A1: 3,6 # F2: 7,9 => CTR => F2: 6 * DIS # A1: 3,6 + F2: 6 # B5: 7,9 => CTR => B5: 3,6 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 # E5: 6 => CTR => E5: 7,9 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 # I4: 7,9 => CTR => I4: 6 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 + I4: 6 => CTR => A1: 1,8 * DIS A1: 1,8 # B3: 8 # D9: 7,9 => CTR => D9: 6 * DIS A1: 1,8 # B3: 8 + D9: 6 # H1: 7,9 => CTR => H1: 8 * PRF A1: 1,8 # B3: 8 + D9: 6 + H1: 8 # I4: 7,9 => SOL * STA A1: 1,8 # B3: 8 + D9: 6 + H1: 8 + I4: 7,9 * CNT 8 HDP CHAINS / 146 HYP OPENED
Header Info
rating: 42229; r2: 762965; index: 153399
Solution
position: 123456789456789123789123465268941357571368294934572618317295846645817932892634571 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 # A1: 3,6 => UNS * INC # B3: 3,6 => UNS * INC # F1: 3,6 => UNS * INC # F1: 7,9 => UNS * INC # C6: 3,6 => UNS * INC # C7: 3,6 => UNS * INC # A2: 4,6 => UNS * INC # A2: 1,8 => UNS * INC # C6: 4,6 => UNS * INC # C6: 2,3,5,7 => UNS * INC # I1: 5,6 => UNS * INC # I1: 7,9 => UNS * INC # E3: 5,6 => UNS * INC # E3: 2,8 => UNS * INC # A6: 2,4 => UNS * INC # C6: 2,4 => UNS * INC # E4: 2,4 => UNS * INC # E4: 1 => UNS * INC # E4: 1,2 => UNS * INC # E4: 4 => UNS * INC # A5: 3,5 => UNS * INC # A5: 6,9 => UNS * INC # A6: 3,5 => UNS * INC # C6: 3,5 => UNS * CNT 24 HDP CHAINS / 24 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # A1: 3,6 => UNS * INC # B3: 3,6 => UNS * INC # F1: 3,6 => UNS * INC # F1: 7,9 => UNS * INC # C6: 3,6 => UNS * INC # C7: 3,6 => UNS * INC # A2: 4,6 => UNS * INC # A2: 1,8 => UNS * INC # C6: 4,6 => UNS * INC # C6: 2,3,5,7 => UNS * INC # I1: 5,6 => UNS * INC # I1: 7,9 => UNS * INC # E3: 5,6 => UNS * INC # E3: 2,8 => UNS * INC # A6: 2,4 => UNS * INC # C6: 2,4 => UNS * INC # E4: 2,4 => UNS * INC # E4: 1 => UNS * INC # E4: 1,2 => UNS * INC # E4: 4 => UNS * INC # A5: 3,5 => UNS * INC # A5: 6,9 => UNS * INC # A6: 3,5 => UNS * INC # C6: 3,5 => UNS * CNT 24 HDP CHAINS / 24 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # A1: 3,6 => UNS * INC # B3: 3,6 => UNS * INC # F1: 3,6 => UNS * INC # F1: 7,9 => UNS * INC # C6: 3,6 => UNS * INC # C7: 3,6 => UNS * INC # A2: 4,6 => UNS * INC # A2: 1,8 => UNS * INC # C6: 4,6 => UNS * INC # C6: 2,3,5,7 => UNS * INC # I1: 5,6 => UNS * INC # I1: 7,9 => UNS * INC # E3: 5,6 => UNS * INC # E3: 2,8 => UNS * INC # A6: 2,4 => UNS * INC # C6: 2,4 => UNS * INC # E4: 2,4 => UNS * INC # E4: 1 => UNS * INC # E4: 1,2 => UNS * INC # E4: 4 => UNS * INC # A5: 3,5 => UNS * INC # A5: 6,9 => UNS * INC # A6: 3,5 => UNS * INC # C6: 3,5 => UNS * INC # A1: 3,6 # A7: 3,6 => UNS * INC # A1: 3,6 # A7: 9 => UNS * INC # A1: 3,6 # C7: 3,6 => UNS * INC # A1: 3,6 # C7: 7 => UNS * INC # A1: 3,6 # D2: 7,9 => UNS * DIS # A1: 3,6 # F2: 7,9 => CTR => F2: 6 * INC # A1: 3,6 + F2: 6 # F6: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # F8: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # I4: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # I7: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # G6: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # G8: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # I4: 7,9 => UNS * INC # A1: 3,6 + F2: 6 # G6: 7,9 => UNS * DIS # A1: 3,6 + F2: 6 # B5: 7,9 => CTR => B5: 3,6 * INC # A1: 3,6 + F2: 6 + B5: 3,6 # E5: 7,9 => UNS * INC # A1: 3,6 + F2: 6 + B5: 3,6 # E5: 7,9 => UNS * DIS # A1: 3,6 + F2: 6 + B5: 3,6 # E5: 6 => CTR => E5: 7,9 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 # I4: 7,9 => CTR => I4: 6 * DIS # A1: 3,6 + F2: 6 + B5: 3,6 + E5: 7,9 + I4: 6 => CTR => A1: 1,8 * INC A1: 1,8 # A2: 1,8 => UNS * INC A1: 1,8 # A2: 4,6 => UNS * INC A1: 1,8 # G1: 1,8 => UNS * INC A1: 1,8 # G1: 6,7,9 => UNS * INC A1: 1,8 # B3: 3,6 => UNS * INC A1: 1,8 # B3: 8 => UNS * INC A1: 1,8 # F1: 3,6 => UNS * INC A1: 1,8 # F1: 7,9 => UNS * INC A1: 1,8 # C6: 3,6 => UNS * INC A1: 1,8 # C7: 3,6 => UNS * INC A1: 1,8 # A2: 4,6 => UNS * INC A1: 1,8 # A2: 1,8 => UNS * INC A1: 1,8 # C6: 4,6 => UNS * INC A1: 1,8 # C6: 2,3,5,7 => UNS * INC A1: 1,8 # I1: 5,6 => UNS * INC A1: 1,8 # I1: 7,9 => UNS * INC A1: 1,8 # E3: 5,6 => UNS * INC A1: 1,8 # E3: 2,8 => UNS * INC A1: 1,8 # A6: 2,4 => UNS * INC A1: 1,8 # C6: 2,4 => UNS * INC A1: 1,8 # E4: 2,4 => UNS * INC A1: 1,8 # E4: 1 => UNS * INC A1: 1,8 # E4: 1,2 => UNS * INC A1: 1,8 # E4: 4 => UNS * INC A1: 1,8 # A5: 3,5 => UNS * INC A1: 1,8 # A5: 6,9 => UNS * INC A1: 1,8 # A6: 3,5 => UNS * INC A1: 1,8 # C6: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # G1: 1,8 => UNS * INC A1: 1,8 # B3: 3,6 # G1: 6,7,9 => UNS * INC A1: 1,8 # B3: 3,6 # F1: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # F1: 7,9 => UNS * INC A1: 1,8 # B3: 3,6 # C6: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # C7: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # G2: 1,8 => UNS * INC A1: 1,8 # B3: 3,6 # G2: 6,7,9 => UNS * INC A1: 1,8 # B3: 3,6 # F3: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # F3: 2 => UNS * INC A1: 1,8 # B3: 3,6 # B5: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # B6: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # I1: 5,6 => UNS * INC A1: 1,8 # B3: 3,6 # I1: 7,9 => UNS * INC A1: 1,8 # B3: 3,6 # E3: 5,6 => UNS * INC A1: 1,8 # B3: 3,6 # E3: 2,8 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 2,4 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 3,5,6 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 2,4 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 1 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 1,2 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 4 => UNS * INC A1: 1,8 # B3: 3,6 # A5: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # A5: 6 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # C6: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # G3: 4,8 => UNS * INC A1: 1,8 # B3: 3,6 # G3: 6 => UNS * INC A1: 1,8 # B3: 3,6 # H3: 4,8 => UNS * INC A1: 1,8 # B3: 3,6 # H3: 6 => UNS * INC A1: 1,8 # B3: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # G1: 1,8 => UNS * INC A1: 1,8 # B3: 3,6 # G1: 6,7,9 => UNS * INC A1: 1,8 # B3: 3,6 # F1: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # F1: 7,9 => UNS * INC A1: 1,8 # B3: 3,6 # C6: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # C7: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # G2: 1,8 => UNS * INC A1: 1,8 # B3: 3,6 # G2: 6,7,9 => UNS * INC A1: 1,8 # B3: 3,6 # F3: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # F3: 2 => UNS * INC A1: 1,8 # B3: 3,6 # B5: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # B6: 3,6 => UNS * INC A1: 1,8 # B3: 3,6 # I1: 5,6 => UNS * INC A1: 1,8 # B3: 3,6 # I1: 7,9 => UNS * INC A1: 1,8 # B3: 3,6 # E3: 5,6 => UNS * INC A1: 1,8 # B3: 3,6 # E3: 2,8 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 2,4 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 3,5,6 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 2,4 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 1 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 1,2 => UNS * INC A1: 1,8 # B3: 3,6 # E4: 4 => UNS * INC A1: 1,8 # B3: 3,6 # A5: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # A5: 6 => UNS * INC A1: 1,8 # B3: 3,6 # A6: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # C6: 3,5 => UNS * INC A1: 1,8 # B3: 3,6 # G3: 4,8 => UNS * INC A1: 1,8 # B3: 3,6 # G3: 6 => UNS * INC A1: 1,8 # B3: 3,6 # H3: 4,8 => UNS * INC A1: 1,8 # B3: 3,6 # H3: 6 => UNS * INC A1: 1,8 # B3: 3,6 => UNS * INC A1: 1,8 # B3: 8 # A6: 4,6 => UNS * INC A1: 1,8 # B3: 8 # A6: 2,5,9 => UNS * INC A1: 1,8 # B3: 8 # C6: 4,6 => UNS * INC A1: 1,8 # B3: 8 # C6: 5,7 => UNS * INC A1: 1,8 # B3: 8 # D4: 7,9 => UNS * DIS A1: 1,8 # B3: 8 # D9: 7,9 => CTR => D9: 6 * INC A1: 1,8 # B3: 8 + D9: 6 # F6: 7,9 => UNS * INC A1: 1,8 # B3: 8 + D9: 6 # F8: 7,9 => UNS * INC A1: 1,8 # B3: 8 + D9: 6 # G1: 7,9 => UNS * DIS A1: 1,8 # B3: 8 + D9: 6 # H1: 7,9 => CTR => H1: 8 * PRF A1: 1,8 # B3: 8 + D9: 6 + H1: 8 # I4: 7,9 => SOL * STA A1: 1,8 # B3: 8 + D9: 6 + H1: 8 + I4: 7,9 * CNT 145 HDP CHAINS / 146 HYP OPENED