Analysis of xx-ph-00711175-12_12_19-base.sdk
Contents
Original Sudoku
level: deep
position: .......12....13.4....4.25........2.1..2..6.5.17....6....46....5.1..8....9...34... initial
Autosolve
position: .......12....13.4...14.25........2.1..21.6.5.17....6....46.1..5.1..8....9...341.. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000010
List of important HDP chains detected for G5,G8: 4..:
* DIS # G5: 4 # C6: 3,8 => CTR => C6: 5,9 * DIS # G5: 4 + C6: 5,9 # B5: 9 => CTR => B5: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 # A1: 3,8 => CTR => A1: 4,5,6,7 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 # A7: 3,8 => CTR => A7: 7 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 # A3: 6 => CTR => A3: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 # E4: 7,9 => CTR => E4: 5 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 # E1: 7,9 => CTR => E1: 6 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 # H7: 3,8 => CTR => H7: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 # D8: 5,7 => CTR => D8: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 # D1: 5,7 => CTR => D1: 8 * PRF # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 # H8: 3,7 => SOL * STA # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 + H8: 3,7 * CNT 11 HDP CHAINS / 17 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
| .......12....13.4....4.25........2.1..2..6.5.17....6....46....5.1..8....9...34... | initial |
| .......12....13.4...14.25........2.1..21.6.5.17....6....46.1..5.1..8....9...341.. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A2,B2: 2.. / A2 = 2 => 0 pairs (_) / B2 = 2 => 1 pairs (_) D6,E6: 2.. / D6 = 2 => 2 pairs (_) / E6 = 2 => 1 pairs (_) E6,E7: 2.. / E6 = 2 => 1 pairs (_) / E7 = 2 => 2 pairs (_) D4,D6: 3.. / D4 = 3 => 0 pairs (_) / D6 = 3 => 2 pairs (_) A1,B1: 4.. / A1 = 4 => 1 pairs (_) / B1 = 4 => 0 pairs (_) G8,I8: 4.. / G8 = 4 => 0 pairs (_) / I8 = 4 => 5 pairs (_) E6,I6: 4.. / E6 = 4 => 4 pairs (_) / I6 = 4 => 0 pairs (_) G5,G8: 4.. / G5 = 4 => 5 pairs (_) / G8 = 4 => 0 pairs (_) E1,E3: 6.. / E1 = 6 => 2 pairs (_) / E3 = 6 => 1 pairs (_) * DURATION: 0:00:06.238209 START: 04:44:37.181563 END: 04:44:43.419772 2020-12-30 * CP COUNT: (9) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) G5,G8: 4.. / G5 = 4 ==> 0 pairs (*) / G8 = 4 => 0 pairs (X) * DURATION: 0:00:20.162929 START: 04:44:43.420588 END: 04:45:03.583517 2020-12-30 * REASONING G5,G8: 4.. * DIS # G5: 4 # C6: 3,8 => CTR => C6: 5,9 * DIS # G5: 4 + C6: 5,9 # B5: 9 => CTR => B5: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 # A1: 3,8 => CTR => A1: 4,5,6,7 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 # A7: 3,8 => CTR => A7: 7 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 # A3: 6 => CTR => A3: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 # E4: 7,9 => CTR => E4: 5 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 # E1: 7,9 => CTR => E1: 6 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 # H7: 3,8 => CTR => H7: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 # D8: 5,7 => CTR => D8: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 # D1: 5,7 => CTR => D1: 8 * PRF # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 # H8: 3,7 => SOL * STA # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 + H8: 3,7 * CNT 11 HDP CHAINS / 17 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
711175;12_12_19;dob;24;11.30;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for G5,G8: 4..:
* INC # G5: 4 # B5: 3,8 => UNS * DIS # G5: 4 # C6: 3,8 => CTR => C6: 5,9 * INC # G5: 4 + C6: 5,9 # B5: 3,8 => UNS * DIS # G5: 4 + C6: 5,9 # B5: 9 => CTR => B5: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 # A1: 3,8 => CTR => A1: 4,5,6,7 * INC # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 # A3: 3,8 => UNS * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 # A7: 3,8 => CTR => A7: 7 * INC # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 # A3: 3,8 => UNS * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 # A3: 6 => CTR => A3: 3,8 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 # E4: 7,9 => CTR => E4: 5 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 # E1: 7,9 => CTR => E1: 6 * INC # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 # G7: 3,8 => UNS * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 # H7: 3,8 => CTR => H7: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 # D8: 5,7 => CTR => D8: 9 * DIS # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 # D1: 5,7 => CTR => D1: 8 * PRF # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 # H8: 3,7 => SOL * STA # G5: 4 + C6: 5,9 + B5: 3,8 + A1: 4,5,6,7 + A7: 7 + A3: 3,8 + E4: 5 + E1: 6 + H7: 9 + D8: 9 + D1: 8 + H8: 3,7 * CNT 16 HDP CHAINS / 17 HYP OPENED