Analysis of xx-ph-00247934-12_12_03-base.sdk
Contents
Original Sudoku
level: deep
position: ........1.....2.34..3.4.5....1.3...5.2.6.....7....8.....9.1..4..8.....5.6..7..9.. initial
Autosolve
position: ........1.....2.34..3.4.5....1.3...5.2.6.....7....8.....9.1..4..8.....5.6..7..9.. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000006
List of important HDP chains detected for D7,E9: 8..:
* DIS # D7: 8 # A3: 1,9 => CTR => A3: 2,8 * PRF # E9: 8 # I8: 2,3 => SOL * STA # E9: 8 + I8: 2,3 * CNT 2 HDP CHAINS / 42 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.....2.34..3.4.5....1.3...5.2.6.....7....8.....9.1..4..8.....5.6..7..9.. | initial |
| ........1.....2.34..3.4.5....1.3...5.2.6.....7....8.....9.1..4..8.....5.6..7..9.. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) F5,D6: 1.. / F5 = 1 => 0 pairs (_) / D6 = 1 => 1 pairs (_) A8,B9: 1.. / A8 = 1 => 0 pairs (_) / B9 = 1 => 1 pairs (_) G8,H9: 1.. / G8 = 1 => 1 pairs (_) / H9 = 1 => 0 pairs (_) A8,G8: 1.. / A8 = 1 => 0 pairs (_) / G8 = 1 => 1 pairs (_) B9,H9: 1.. / B9 = 1 => 1 pairs (_) / H9 = 1 => 0 pairs (_) F3,F5: 1.. / F3 = 1 => 1 pairs (_) / F5 = 1 => 0 pairs (_) D1,F1: 3.. / D1 = 3 => 0 pairs (_) / F1 = 3 => 2 pairs (_) A5,B6: 3.. / A5 = 3 => 1 pairs (_) / B6 = 3 => 1 pairs (_) B7,C8: 7.. / B7 = 7 => 1 pairs (_) / C8 = 7 => 1 pairs (_) D7,E9: 8.. / D7 = 8 => 2 pairs (_) / E9 = 8 => 2 pairs (_) * DURATION: 0:00:05.681001 START: 08:24:27.490939 END: 08:24:33.171940 2020-10-01 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) D7,E9: 8.. / D7 = 8 ==> 3 pairs (_) / E9 = 8 ==> 0 pairs (*) * DURATION: 0:00:22.896025 START: 08:24:33.172513 END: 08:24:56.068538 2020-10-01 * REASONING D7,E9: 8.. * DIS # D7: 8 # A3: 1,9 => CTR => A3: 2,8 * PRF # E9: 8 # I8: 2,3 => SOL * STA # E9: 8 + I8: 2,3 * CNT 2 HDP CHAINS / 42 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
247934;12_12_03;dob;22;11.50;11.50;11.10
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for D7,E9: 8..:
* INC # D7: 8 # D2: 1,9 => UNS * INC # D7: 8 # F3: 1,9 => UNS * DIS # D7: 8 # A3: 1,9 => CTR => A3: 2,8 * INC # D7: 8 + A3: 2,8 # B3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 6,7 => UNS * INC # D7: 8 + A3: 2,8 # D6: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # D6: 2,4,5 => UNS * INC # D7: 8 + A3: 2,8 # D2: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # F3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 6,7 => UNS * INC # D7: 8 + A3: 2,8 # D6: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # D6: 2,4,5 => UNS * INC # D7: 8 + A3: 2,8 # C9: 2,5 => UNS * INC # D7: 8 + A3: 2,8 # C9: 4 => UNS * INC # D7: 8 + A3: 2,8 # E6: 2,5 => UNS * INC # D7: 8 + A3: 2,8 # E6: 9 => UNS * INC # D7: 8 + A3: 2,8 # A1: 2,8 => UNS * INC # D7: 8 + A3: 2,8 # C1: 2,8 => UNS * INC # D7: 8 + A3: 2,8 # H3: 2,8 => UNS * INC # D7: 8 + A3: 2,8 # I3: 2,8 => UNS * INC # D7: 8 + A3: 2,8 # D2: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # F3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # B3: 6,7 => UNS * INC # D7: 8 + A3: 2,8 # D6: 1,9 => UNS * INC # D7: 8 + A3: 2,8 # D6: 2,4,5 => UNS * INC # D7: 8 + A3: 2,8 # C9: 2,5 => UNS * INC # D7: 8 + A3: 2,8 # C9: 4 => UNS * INC # D7: 8 + A3: 2,8 # E6: 2,5 => UNS * INC # D7: 8 + A3: 2,8 # E6: 9 => UNS * INC # D7: 8 + A3: 2,8 => UNS * INC # E9: 8 # G8: 1,2 => UNS * INC # E9: 8 # G8: 3,6,7 => UNS * INC # E9: 8 # H6: 1,2 => UNS * INC # E9: 8 # H6: 6,9 => UNS * INC # E9: 8 # G7: 2,3 => UNS * INC # E9: 8 # I7: 2,3 => UNS * INC # E9: 8 # G8: 2,3 => UNS * PRF # E9: 8 # I8: 2,3 => SOL * STA # E9: 8 + I8: 2,3 * CNT 41 HDP CHAINS / 42 HYP OPENED