Analysis of xx-ph-00665283-12_12_19-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: .....1..2....3...4...5..67...1..4....6.8..2..8...9......9.....358....7..7..2...5. initial

Autosolve

position: .....1..2....3...4...5..67...1..4....6.8..2..8...9......9.....358....7..7..2...5. autosolve
Autosolve

Pair Reduction Variants

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for E3,E4: 2..:

* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* CNT   1 HDP CHAINS /  47 HYP OPENED

List of important HDP chains detected for E4,F6: 2..:

* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* CNT   1 HDP CHAINS /  47 HYP OPENED

List of important HDP chains detected for E5,D6: 1..:

* DIS # D6: 1 # E4: 5,7 => CTR => E4: 2,6
* DIS # E5: 1 # E7: 4,6 => CTR => E7: 5,7,8
* PRF # E5: 1 + E7: 5,7,8 # D8: 4,6 => SOL
* STA # E5: 1 + E7: 5,7,8 + D8: 4,6
* CNT   3 HDP CHAINS /  28 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....3...4...5..67...1..4....6.8..2..8...9......9.....358....7..7..2...5. initial
.....1..2....3...4...5..67...1..4....6.8..2..8...9......9.....358....7..7..2...5. autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
E5,D6: 1.. / E5 = 1  =>  1 pairs (_) / D6 = 1  =>  2 pairs (_)
E4,F6: 2.. / E4 = 2  =>  2 pairs (_) / F6 = 2  =>  2 pairs (_)
H7,H8: 2.. / H7 = 2  =>  1 pairs (_) / H8 = 2  =>  0 pairs (_)
C8,H8: 2.. / C8 = 2  =>  1 pairs (_) / H8 = 2  =>  0 pairs (_)
E3,E4: 2.. / E3 = 2  =>  2 pairs (_) / E4 = 2  =>  2 pairs (_)
G1,H1: 3.. / G1 = 3  =>  3 pairs (_) / H1 = 3  =>  0 pairs (_)
G1,G2: 5.. / G1 = 5  =>  0 pairs (_) / G2 = 5  =>  0 pairs (_)
E7,F7: 5.. / E7 = 5  =>  1 pairs (_) / F7 = 5  =>  1 pairs (_)
* DURATION: 0:00:05.515427  START: 20:01:02.783988  END: 20:01:08.299415 2020-12-28
* CP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
G1,H1: 3.. / G1 = 3 ==>  3 pairs (_) / H1 = 3 ==>  0 pairs (_)
E3,E4: 2.. / E3 = 2 ==>  2 pairs (_) / E4 = 2 ==>  4 pairs (_)
E4,F6: 2.. / E4 = 2 ==>  4 pairs (_) / F6 = 2 ==>  2 pairs (_)
E5,D6: 1.. / E5 = 1 ==>  0 pairs (*) / D6 = 1 ==>  3 pairs (_)
* DURATION: 0:01:09.653665  START: 20:01:08.300060  END: 20:02:17.953725 2020-12-28
* REASONING E3,E4: 2..
* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* CNT   1 HDP CHAINS /  47 HYP OPENED
* REASONING E4,F6: 2..
* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* CNT   1 HDP CHAINS /  47 HYP OPENED
* REASONING E5,D6: 1..
* DIS # D6: 1 # E4: 5,7 => CTR => E4: 2,6
* DIS # E5: 1 # E7: 4,6 => CTR => E7: 5,7,8
* PRF # E5: 1 + E7: 5,7,8 # D8: 4,6 => SOL
* STA # E5: 1 + E7: 5,7,8 + D8: 4,6
* CNT   3 HDP CHAINS /  28 HYP OPENED
* DCP COUNT: (4)
* SOLUTION FOUND

Header Info

665283;12_12_19;dob;22;11.30;11.30;2.60

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for G1,H1: 3..:

* INC # G1: 3 # H2: 8,9 => UNS
* INC # G1: 3 # I3: 8,9 => UNS
* INC # G1: 3 # H4: 8,9 => UNS
* INC # G1: 3 # H4: 3,6 => UNS
* INC # G1: 3 # H4: 8,9 => UNS
* INC # G1: 3 # I4: 8,9 => UNS
* INC # G1: 3 # G9: 8,9 => UNS
* INC # G1: 3 # G9: 1,4 => UNS
* INC # G1: 3 # H5: 1,4 => UNS
* INC # G1: 3 # H6: 1,4 => UNS
* INC # G1: 3 # G7: 1,4 => UNS
* INC # G1: 3 # G9: 1,4 => UNS
* INC # G1: 3 => UNS
* INC # H1: 3 => UNS
* CNT  14 HDP CHAINS /  14 HYP OPENED

Full list of HDP chains traversed for E3,E4: 2..:

* INC # E3: 2 # A2: 6,9 => UNS
* INC # E3: 2 # A2: 1,2 => UNS
* INC # E3: 2 # D1: 6,9 => UNS
* INC # E3: 2 # D1: 4,7 => UNS
* INC # E3: 2 # F2: 8,9 => UNS
* INC # E3: 2 # F2: 6,7 => UNS
* INC # E3: 2 # I3: 8,9 => UNS
* INC # E3: 2 # I3: 1 => UNS
* INC # E3: 2 # F9: 8,9 => UNS
* INC # E3: 2 # F9: 3,6 => UNS
* INC # E3: 2 => UNS
* INC # E4: 2 # E1: 4,8 => UNS
* INC # E4: 2 # E1: 6,7 => UNS
* INC # E4: 2 # C3: 4,8 => UNS
* INC # E4: 2 # C3: 2,3 => UNS
* INC # E4: 2 # E7: 4,8 => UNS
* INC # E4: 2 # E9: 4,8 => UNS
* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 4 => UNS
* INC # E4: 2 + B4: 5,7 # G4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # H4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # C1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # C1: 5,7,8 => UNS
* INC # E4: 2 + B4: 5,7 # D1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # A7: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # A7: 1,2 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 6,7 => UNS
* INC # E4: 2 + B4: 5,7 # C3: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # C3: 2,3 => UNS
* INC # E4: 2 + B4: 5,7 # E7: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # E9: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 4 => UNS
* INC # E4: 2 + B4: 5,7 # G4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # H4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # C5: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # B6: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # C6: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # I4: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # I4: 6,8,9 => UNS
* INC # E4: 2 + B4: 5,7 # B1: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # B2: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 => UNS
* CNT  47 HDP CHAINS /  47 HYP OPENED

Full list of HDP chains traversed for E4,F6: 2..:

* INC # E4: 2 # E1: 4,8 => UNS
* INC # E4: 2 # E1: 6,7 => UNS
* INC # E4: 2 # C3: 4,8 => UNS
* INC # E4: 2 # C3: 2,3 => UNS
* INC # E4: 2 # E7: 4,8 => UNS
* INC # E4: 2 # E9: 4,8 => UNS
* DIS # E4: 2 # B4: 3,9 => CTR => B4: 5,7
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 4 => UNS
* INC # E4: 2 + B4: 5,7 # G4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # H4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # C1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # C1: 5,7,8 => UNS
* INC # E4: 2 + B4: 5,7 # D1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # A7: 4,6 => UNS
* INC # E4: 2 + B4: 5,7 # A7: 1,2 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # E1: 6,7 => UNS
* INC # E4: 2 + B4: 5,7 # C3: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # C3: 2,3 => UNS
* INC # E4: 2 + B4: 5,7 # E7: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # E9: 4,8 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # A5: 4 => UNS
* INC # E4: 2 + B4: 5,7 # G4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # H4: 3,9 => UNS
* INC # E4: 2 + B4: 5,7 # C5: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # B6: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # C6: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # I4: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # I4: 6,8,9 => UNS
* INC # E4: 2 + B4: 5,7 # B1: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 # B2: 5,7 => UNS
* INC # E4: 2 + B4: 5,7 => UNS
* INC # F6: 2 # A2: 6,9 => UNS
* INC # F6: 2 # A2: 1,2 => UNS
* INC # F6: 2 # D1: 6,9 => UNS
* INC # F6: 2 # D1: 4,7 => UNS
* INC # F6: 2 # F2: 8,9 => UNS
* INC # F6: 2 # F2: 6,7 => UNS
* INC # F6: 2 # I3: 8,9 => UNS
* INC # F6: 2 # I3: 1 => UNS
* INC # F6: 2 # F9: 8,9 => UNS
* INC # F6: 2 # F9: 3,6 => UNS
* INC # F6: 2 => UNS
* CNT  47 HDP CHAINS /  47 HYP OPENED

Full list of HDP chains traversed for E5,D6: 1..:

* DIS # D6: 1 # E4: 5,7 => CTR => E4: 2,6
* INC # D6: 1 + E4: 2,6 # F5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # F6: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # C5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # I5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # E7: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # E7: 1,4,6,8 => UNS
* INC # D6: 1 + E4: 2,6 # H5: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # H6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # B6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # C6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # F6: 2,6 => UNS
* INC # D6: 1 + E4: 2,6 # F6: 3,5,7 => UNS
* INC # D6: 1 + E4: 2,6 # F5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # F6: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # C5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # I5: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # E7: 5,7 => UNS
* INC # D6: 1 + E4: 2,6 # E7: 1,4,6,8 => UNS
* INC # D6: 1 + E4: 2,6 # H5: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # H6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # B6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 # C6: 3,4 => UNS
* INC # D6: 1 + E4: 2,6 => UNS
* INC # E5: 1 # D7: 4,6 => UNS
* DIS # E5: 1 # E7: 4,6 => CTR => E7: 5,7,8
* PRF # E5: 1 + E7: 5,7,8 # D8: 4,6 => SOL
* STA # E5: 1 + E7: 5,7,8 + D8: 4,6
* CNT  27 HDP CHAINS /  28 HYP OPENED