Analysis of xx-ph-00000374-233-base.sdk
Contents
Original Sudoku
level: deep
position: .2.....8...6..91..7.......5..9.4.3..6....3......91.....6.8....25......7...1..46.. initial
Autosolve
position: .2.....8...6..91..7.......5..9.4.3..6....3......91.....6.8....25......7...1..46.. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000020
List of important HDP chains detected for C7,B9: 7..:
* DIS # B9: 7 # C8: 3,4 => CTR => C8: 2,8 * PRF # B9: 7 + C8: 2,8 # C1: 3,4 => SOL * STA # B9: 7 + C8: 2,8 + C1: 3,4 * CNT 2 HDP CHAINS / 12 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
| .2.....8...6..91..7.......5..9.4.3..6....3......91.....6.8....25......7...1..46.. | initial |
| .2.....8...6..91..7.......5..9.4.3..6....3......91.....6.8....25......7...1..46.. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * PAIRS (2) A1: 1,9 B3: 1,9 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A1,B3: 1.. / A1 = 1 => 2 pairs (_) / B3 = 1 => 2 pairs (_) H7,I8: 1.. / H7 = 1 => 3 pairs (_) / I8 = 1 => 3 pairs (_) F7,H7: 1.. / F7 = 1 => 3 pairs (_) / H7 = 1 => 3 pairs (_) A1,A4: 1.. / A1 = 1 => 2 pairs (_) / A4 = 1 => 2 pairs (_) C8,A9: 2.. / C8 = 2 => 3 pairs (_) / A9 = 2 => 3 pairs (_) C1,B2: 5.. / C1 = 5 => 2 pairs (_) / B2 = 5 => 3 pairs (_) I1,H3: 6.. / I1 = 6 => 2 pairs (_) / H3 = 6 => 2 pairs (_) C7,B9: 7.. / C7 = 7 => 3 pairs (_) / B9 = 7 => 3 pairs (_) A1,B3: 9.. / A1 = 9 => 2 pairs (_) / B3 = 9 => 2 pairs (_) * DURATION: 0:00:07.578507 START: 03:36:16.513548 END: 03:36:24.092055 2020-10-18 * CP COUNT: (9) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) C7,B9: 7.. / C7 = 7 ==> 3 pairs (_) / B9 = 7 ==> 0 pairs (*) * DURATION: 0:00:19.192527 START: 03:36:24.938364 END: 03:36:44.130891 2020-10-18 * REASONING C7,B9: 7.. * DIS # B9: 7 # C8: 3,4 => CTR => C8: 2,8 * PRF # B9: 7 + C8: 2,8 # C1: 3,4 => SOL * STA # B9: 7 + C8: 2,8 + C1: 3,4 * CNT 2 HDP CHAINS / 12 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
374;233;elev;22;11.40;11.40;3.40
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for C7,B9: 7..:
* INC # C7: 7 # H7: 1,5 => UNS * INC # C7: 7 # H7: 3,4,9 => UNS * INC # C7: 7 # F1: 1,5 => UNS * INC # C7: 7 # F1: 6,7 => UNS * INC # C7: 7 => UNS * INC # B9: 7 # A7: 3,4 => UNS * INC # B9: 7 # B8: 3,4 => UNS * DIS # B9: 7 # C8: 3,4 => CTR => C8: 2,8 * INC # B9: 7 + C8: 2,8 # H7: 3,4 => UNS * INC # B9: 7 + C8: 2,8 # H7: 1,5,9 => UNS * PRF # B9: 7 + C8: 2,8 # C1: 3,4 => SOL * STA # B9: 7 + C8: 2,8 + C1: 3,4 * CNT 11 HDP CHAINS / 12 HYP OPENED