Analysis of xx-ph-00247917-12_12_03-base.sdk
Contents
Original Sudoku
level: deep
position: ........1....23.....45...2...3..5.6..7.4....8.9.6..1....6.5..1..8......91.....7.. initial
Autosolve
position: ........1....23.....45...2...3..5.6.67.4....8.9.6..1....6.5..1..8......91.....7.. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000008
List of important HDP chains detected for C2,C5: 1..:
* DIS # C2: 1 # C6: 2,5 => CTR => C6: 8 * DIS # C2: 1 + C6: 8 # C1: 2,5 => CTR => C1: 7,9 * DIS # C2: 1 + C6: 8 + C1: 7,9 # E1: 7,9 => CTR => E1: 4,6,8 * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 # F1: 7,9 => CTR => F1: 4,6,8 * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # B1: 3,6 => CTR => B1: 2,5 * PRF # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 # G3: 3,6 => SOL * STA # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 + G3: 3,6 * CNT 6 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....23.....45...2...3..5.6..7.4....8.9.6..1....6.5..1..8......91.....7.. | initial |
| ........1....23.....45...2...3..5.6.67.4....8.9.6..1....6.5..1..8......91.....7.. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B4,C5: 1.. / B4 = 1 => 3 pairs (_) / C5 = 1 => 3 pairs (_) C2,C5: 1.. / C2 = 1 => 3 pairs (_) / C5 = 1 => 3 pairs (_) E5,E6: 3.. / E5 = 3 => 2 pairs (_) / E6 = 3 => 1 pairs (_) E1,F1: 4.. / E1 = 4 => 0 pairs (_) / F1 = 4 => 0 pairs (_) G8,I9: 6.. / G8 = 6 => 0 pairs (_) / I9 = 6 => 1 pairs (_) G7,H9: 8.. / G7 = 8 => 0 pairs (_) / H9 = 8 => 1 pairs (_) A7,C9: 9.. / A7 = 9 => 1 pairs (_) / C9 = 9 => 0 pairs (_) * DURATION: 0:00:04.487919 START: 21:35:12.778829 END: 21:35:17.266748 2020-10-27 * CP COUNT: (7) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) C2,C5: 1.. / C2 = 1 ==> 0 pairs (*) / C5 = 1 => 0 pairs (X) * DURATION: 0:00:26.736686 START: 21:35:17.267429 END: 21:35:44.004115 2020-10-27 * REASONING C2,C5: 1.. * DIS # C2: 1 # C6: 2,5 => CTR => C6: 8 * DIS # C2: 1 + C6: 8 # C1: 2,5 => CTR => C1: 7,9 * DIS # C2: 1 + C6: 8 + C1: 7,9 # E1: 7,9 => CTR => E1: 4,6,8 * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 # F1: 7,9 => CTR => F1: 4,6,8 * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # B1: 3,6 => CTR => B1: 2,5 * PRF # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 # G3: 3,6 => SOL * STA # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 + G3: 3,6 * CNT 6 HDP CHAINS / 42 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
247917;12_12_03;dob;22;11.40;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for C2,C5: 1..:
* INC # C2: 1 # B1: 5,6 => UNS * INC # C2: 1 # B1: 2,3 => UNS * INC # C2: 1 # G2: 5,6 => UNS * INC # C2: 1 # I2: 5,6 => UNS * INC # C2: 1 # B1: 3,6 => UNS * INC # C2: 1 # B1: 2,5 => UNS * INC # C2: 1 # G3: 3,6 => UNS * INC # C2: 1 # I3: 3,6 => UNS * INC # C2: 1 # A6: 2,5 => UNS * DIS # C2: 1 # C6: 2,5 => CTR => C6: 8 * INC # C2: 1 + C6: 8 # A6: 2,5 => UNS * INC # C2: 1 + C6: 8 # A6: 4 => UNS * INC # C2: 1 + C6: 8 # G5: 2,5 => UNS * INC # C2: 1 + C6: 8 # G5: 3,9 => UNS * DIS # C2: 1 + C6: 8 # C1: 2,5 => CTR => C1: 7,9 * INC # C2: 1 + C6: 8 + C1: 7,9 # C8: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # C9: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # A6: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # A6: 4 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # G5: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # G5: 3,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # C8: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # C9: 2,5 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # A1: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # A2: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # A3: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 # D1: 7,9 => UNS * DIS # C2: 1 + C6: 8 + C1: 7,9 # E1: 7,9 => CTR => E1: 4,6,8 * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 # F1: 7,9 => CTR => F1: 4,6,8 * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # H1: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # A1: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # A2: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # A3: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # D1: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # H1: 7,9 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # B1: 5,6 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # B1: 2,3 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # G2: 5,6 => UNS * INC # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # I2: 5,6 => UNS * DIS # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 # B1: 3,6 => CTR => B1: 2,5 * PRF # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 # G3: 3,6 => SOL * STA # C2: 1 + C6: 8 + C1: 7,9 + E1: 4,6,8 + F1: 4,6,8 + B1: 2,5 + G3: 3,6 * CNT 41 HDP CHAINS / 42 HYP OPENED