Analysis of xx-ph-00035833-12_05-base.sdk
Contents
Original Sudoku
level: deep
position: 98.76.5..7.48......5..9....3.........9..8.6.........82.1.....6....9.61......1..58 initial
Autosolve
position: 98.76.5..7.48......5..9.8..3.8.......9..8.6.........82.1...8.6.8..9.61......1..58 autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000012
List of important HDP chains detected for C8,E8: 5..:
* PRF # E8: 5 # I7: 3,4 => SOL * STA # E8: 5 + I7: 3,4 * CNT 1 HDP CHAINS / 16 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
| 98.76.5..7.48......5..9....3.........9..8.6.........82.1.....6....9.61......1..58 | initial |
| 98.76.5..7.48......5..9.8..3.8.......9..8.6.........82.1...8.6.8..9.61......1..58 | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) E2,F2: 5.. / E2 = 5 => 1 pairs (_) / F2 = 5 => 2 pairs (_) I4,I5: 5.. / I4 = 5 => 0 pairs (_) / I5 = 5 => 0 pairs (_) C8,E8: 5.. / C8 = 5 => 1 pairs (_) / E8 = 5 => 2 pairs (_) I2,I3: 6.. / I2 = 6 => 1 pairs (_) / I3 = 6 => 2 pairs (_) D4,D6: 6.. / D4 = 6 => 0 pairs (_) / D6 = 6 => 2 pairs (_) B2,I2: 6.. / B2 = 6 => 2 pairs (_) / I2 = 6 => 1 pairs (_) B4,D4: 6.. / B4 = 6 => 2 pairs (_) / D4 = 6 => 0 pairs (_) H3,I3: 7.. / H3 = 7 => 0 pairs (_) / I3 = 7 => 2 pairs (_) F4,F6: 9.. / F4 = 9 => 2 pairs (_) / F6 = 9 => 0 pairs (_) C7,C9: 9.. / C7 = 9 => 2 pairs (_) / C9 = 9 => 0 pairs (_) F6,G6: 9.. / F6 = 9 => 0 pairs (_) / G6 = 9 => 2 pairs (_) C9,G9: 9.. / C9 = 9 => 0 pairs (_) / G9 = 9 => 2 pairs (_) H2,H4: 9.. / H2 = 9 => 1 pairs (_) / H4 = 9 => 1 pairs (_) * DURATION: 0:00:10.686990 START: 15:33:19.491218 END: 15:33:30.178208 2020-12-16 * CP COUNT: (13) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) B2,I2: 6.. / B2 = 6 ==> 2 pairs (_) / I2 = 6 ==> 1 pairs (_) I2,I3: 6.. / I2 = 6 ==> 1 pairs (_) / I3 = 6 ==> 2 pairs (_) C8,E8: 5.. / C8 = 5 => 0 pairs (X) / E8 = 5 ==> 0 pairs (*) * DURATION: 0:00:45.048389 START: 15:33:30.179146 END: 15:34:15.227535 2020-12-16 * REASONING C8,E8: 5.. * PRF # E8: 5 # I7: 3,4 => SOL * STA # E8: 5 + I7: 3,4 * CNT 1 HDP CHAINS / 16 HYP OPENED * DCP COUNT: (3) * SOLUTION FOUND
Header Info
35833;12_05;GP;24;11.30;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for B2,I2: 6..:
* INC # B2: 6 # C1: 1,2 => UNS * INC # B2: 6 # C3: 1,2 => UNS * INC # B2: 6 # D3: 1,2 => UNS * INC # B2: 6 # F3: 1,2 => UNS * INC # B2: 6 # A5: 1,2 => UNS * INC # B2: 6 # A5: 4,5 => UNS * INC # B2: 6 # B4: 4,7 => UNS * INC # B2: 6 # B4: 2 => UNS * INC # B2: 6 # E6: 4,7 => UNS * INC # B2: 6 # F6: 4,7 => UNS * INC # B2: 6 # G6: 4,7 => UNS * INC # B2: 6 # B8: 4,7 => UNS * INC # B2: 6 # B9: 4,7 => UNS * INC # B2: 6 => UNS * INC # I2: 6 # C1: 2,3 => UNS * INC # I2: 6 # C3: 2,3 => UNS * INC # I2: 6 # E2: 2,3 => UNS * INC # I2: 6 # F2: 2,3 => UNS * INC # I2: 6 # G2: 2,3 => UNS * INC # I2: 6 # H2: 2,3 => UNS * INC # I2: 6 # B8: 2,3 => UNS * INC # I2: 6 # B9: 2,3 => UNS * INC # I2: 6 => UNS * CNT 23 HDP CHAINS / 23 HYP OPENED
Full list of HDP chains traversed for I2,I3: 6..:
* INC # I3: 6 # C1: 1,2 => UNS * INC # I3: 6 # C3: 1,2 => UNS * INC # I3: 6 # D3: 1,2 => UNS * INC # I3: 6 # F3: 1,2 => UNS * INC # I3: 6 # A5: 1,2 => UNS * INC # I3: 6 # A5: 4,5 => UNS * INC # I3: 6 # B4: 4,7 => UNS * INC # I3: 6 # B4: 2 => UNS * INC # I3: 6 # E6: 4,7 => UNS * INC # I3: 6 # F6: 4,7 => UNS * INC # I3: 6 # G6: 4,7 => UNS * INC # I3: 6 # B8: 4,7 => UNS * INC # I3: 6 # B9: 4,7 => UNS * INC # I3: 6 => UNS * INC # I2: 6 # C1: 2,3 => UNS * INC # I2: 6 # C3: 2,3 => UNS * INC # I2: 6 # E2: 2,3 => UNS * INC # I2: 6 # F2: 2,3 => UNS * INC # I2: 6 # G2: 2,3 => UNS * INC # I2: 6 # H2: 2,3 => UNS * INC # I2: 6 # B8: 2,3 => UNS * INC # I2: 6 # B9: 2,3 => UNS * INC # I2: 6 => UNS * CNT 23 HDP CHAINS / 23 HYP OPENED
Full list of HDP chains traversed for C8,E8: 5..:
* INC # E8: 5 # F1: 2,3 => UNS * INC # E8: 5 # D3: 2,3 => UNS * INC # E8: 5 # F3: 2,3 => UNS * INC # E8: 5 # B2: 2,3 => UNS * INC # E8: 5 # G2: 2,3 => UNS * INC # E8: 5 # H2: 2,3 => UNS * INC # E8: 5 # E7: 2,3 => UNS * INC # E8: 5 # E7: 4,7 => UNS * INC # E8: 5 # H1: 3,4 => UNS * INC # E8: 5 # H3: 3,4 => UNS * INC # E8: 5 # I3: 3,4 => UNS * INC # E8: 5 # F1: 3,4 => UNS * INC # E8: 5 # F1: 1,2 => UNS * INC # E8: 5 # I5: 3,4 => UNS * PRF # E8: 5 # I7: 3,4 => SOL * STA # E8: 5 + I7: 3,4 * CNT 15 HDP CHAINS / 16 HYP OPENED