Analysis of xx-ph-00001046-H53-base.sdk
Contents
Original Sudoku
level: deep
position: 1.......5.2.4...6...3...7...4...6.......49.8...28.........5.1...6.9...2...7.....3 initial
Autosolve
position: 1.......5.2.4...6...3...7...4...6.......49.8...28.........5.1...6.9...2...7.....3 autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000024
List of important HDP chains detected for B1,A2: 7..:
* PRF # A2: 7 # B7: 8,9 => SOL * STA # A2: 7 + B7: 8,9 * CNT 1 HDP CHAINS / 6 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
This sudoku is deep. Here is some information that may be helpful on how to proceed.
Positions
| 1.......5.2.4...6...3...7...4...6.......49.8...28.........5.1...6.9...2...7.....3 | initial |
| 1.......5.2.4...6...3...7...4...6.......49.8...28.........5.1...6.9...2...7.....3 | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * PAIRS (2) C1: 4,6 A3: 4,6 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) C8,B9: 1.. / C8 = 1 => 3 pairs (_) / B9 = 1 => 3 pairs (_) G1,I3: 2.. / G1 = 2 => 2 pairs (_) / I3 = 2 => 2 pairs (_) A7,A9: 2.. / A7 = 2 => 2 pairs (_) / A9 = 2 => 3 pairs (_) C1,A3: 4.. / C1 = 4 => 2 pairs (_) / A3 = 4 => 2 pairs (_) C1,A3: 6.. / C1 = 6 => 2 pairs (_) / A3 = 6 => 2 pairs (_) I7,G9: 6.. / I7 = 6 => 2 pairs (_) / G9 = 6 => 3 pairs (_) D7,I7: 6.. / D7 = 6 => 3 pairs (_) / I7 = 6 => 2 pairs (_) C1,C5: 6.. / C1 = 6 => 2 pairs (_) / C5 = 6 => 2 pairs (_) B1,A2: 7.. / B1 = 7 => 2 pairs (_) / A2 = 7 => 3 pairs (_) A4,C4: 8.. / A4 = 8 => 2 pairs (_) / C4 = 8 => 4 pairs (_) * DURATION: 0:00:08.999006 START: 14:20:18.984091 END: 14:20:27.983097 2020-11-24 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) A4,C4: 8.. / A4 = 8 ==> 2 pairs (_) / C4 = 8 ==> 4 pairs (_) C8,B9: 1.. / C8 = 1 ==> 3 pairs (_) / B9 = 1 ==> 3 pairs (_) B1,A2: 7.. / B1 = 7 => 0 pairs (X) / A2 = 7 ==> 0 pairs (*) * DURATION: 0:00:24.500120 START: 14:20:28.930061 END: 14:20:53.430181 2020-11-24 * REASONING B1,A2: 7.. * PRF # A2: 7 # B7: 8,9 => SOL * STA # A2: 7 + B7: 8,9 * CNT 1 HDP CHAINS / 6 HYP OPENED * DCP COUNT: (3) * SOLUTION FOUND
Header Info
1046;H53;col;21;11.30;11.30;3.40
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for A4,C4: 8..:
* INC # C4: 8 # A2: 5,9 => UNS * INC # C4: 8 # B3: 5,9 => UNS * INC # C4: 8 # A7: 4,9 => UNS * INC # C4: 8 # A9: 4,9 => UNS * INC # C4: 8 # H7: 4,9 => UNS * INC # C4: 8 # I7: 4,9 => UNS * INC # C4: 8 => UNS * INC # A4: 8 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
Full list of HDP chains traversed for C8,B9: 1..:
* INC # C8: 1 # A5: 5,6 => UNS * INC # C8: 1 # A6: 5,6 => UNS * INC # C8: 1 # G5: 5,6 => UNS * INC # C8: 1 # G5: 2,3 => UNS * INC # C8: 1 => UNS * INC # B9: 1 # D7: 2,6 => UNS * INC # B9: 1 # E9: 2,6 => UNS * INC # B9: 1 # D1: 2,6 => UNS * INC # B9: 1 # D3: 2,6 => UNS * INC # B9: 1 => UNS * CNT 10 HDP CHAINS / 10 HYP OPENED
Full list of HDP chains traversed for B1,A2: 7..:
* INC # A2: 7 # C2: 8,9 => UNS * INC # A2: 7 # B3: 8,9 => UNS * INC # A2: 7 # E1: 8,9 => UNS * INC # A2: 7 # G1: 8,9 => UNS * PRF # A2: 7 # B7: 8,9 => SOL * STA # A2: 7 + B7: 8,9 * CNT 5 HDP CHAINS / 6 HYP OPENED