Analysis of xx-ph-00017959-Kz1_b-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: 98.76....5..........7..59..7....95...5.4...3...2.1...6.7...28.....3....1.......4. initial

Autosolve

position: 98.76....5..........7..59..7....95...5.4...3...251...6.7...28.....3....1.......4. autosolve
Autosolve

Pair Reduction Variants

Pair Reduction Analysis

Pair Reduction Analysis

See Appendix: Full HDP Chains for full list of HDP chains.

Pair Reduction

Pair Reduction

See Appendix: Full HDP Chains for full list of HDP chains.

Deep Pair Reduction

Deep Pair Reduction

Time used: 0:00:17.676764

The following important HDP chains were detected:

* DIS # G2: 4,7 # H8: 5,9 => CTR => H8: 2,7
* CNT   1 HDP CHAINS /  39 HYP OPENED

See Appendix: Full HDP Chains for full list of HDP chains.

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000014

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

* DIS # F6: 3 # D4: 2,8 => CTR => D4: 6
* DIS # F6: 3 + D4: 6 # I4: 2,8 => CTR => I4: 4
* DIS # F6: 3 + D4: 6 + I4: 4 # H4: 1 => CTR => H4: 2,8
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 # E5: 7 => CTR => E5: 2,8
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 # F2: 1,4 => CTR => F2: 8
* PRF # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 # C1: 1,4 => SOL
* STA # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 + C1: 1,4
* CNT   6 HDP CHAINS /  23 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..59..7....95...5.4...3...2.1...6.7...28.....3....1.......4. initial
98.76....5..........7..59..7....95...5.4...3...251...6.7...28.....3....1.......4. autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
G6: 4,7

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H4,G5: 1.. / H4 = 1  =>  4 pairs (_) / G5 = 1  =>  3 pairs (_)
E4,F6: 3.. / E4 = 3  =>  2 pairs (_) / F6 = 3  =>  6 pairs (_)
I4,G6: 4.. / I4 = 4  =>  5 pairs (_) / G6 = 4  =>  3 pairs (_)
H1,I1: 5.. / H1 = 5  =>  2 pairs (_) / I1 = 5  =>  3 pairs (_)
D4,F5: 6.. / D4 = 6  =>  3 pairs (_) / F5 = 6  =>  3 pairs (_)
D2,E2: 9.. / D2 = 9  =>  2 pairs (_) / E2 = 9  =>  2 pairs (_)
C5,B6: 9.. / C5 = 9  =>  3 pairs (_) / B6 = 9  =>  3 pairs (_)
I5,H6: 9.. / I5 = 9  =>  3 pairs (_) / H6 = 9  =>  3 pairs (_)
C5,I5: 9.. / C5 = 9  =>  3 pairs (_) / I5 = 9  =>  3 pairs (_)
B6,H6: 9.. / B6 = 9  =>  3 pairs (_) / H6 = 9  =>  3 pairs (_)
* DURATION: 0:00:06.478261  START: 11:08:12.593241  END: 11:08:19.071502 2020-10-26
* CP COUNT: (10)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
E4,F6: 3.. / E4 = 3  =>  0 pairs (X) / F6 = 3 ==>  0 pairs (*)
* DURATION: 0:00:18.623896  START: 11:08:38.580765  END: 11:08:57.204661 2020-10-26
* REASONING E4,F6: 3..
* DIS # F6: 3 # D4: 2,8 => CTR => D4: 6
* DIS # F6: 3 + D4: 6 # I4: 2,8 => CTR => I4: 4
* DIS # F6: 3 + D4: 6 + I4: 4 # H4: 1 => CTR => H4: 2,8
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 # E5: 7 => CTR => E5: 2,8
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 # F2: 1,4 => CTR => F2: 8
* PRF # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 # C1: 1,4 => SOL
* STA # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 + C1: 1,4
* CNT   6 HDP CHAINS /  23 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

17959;Kz1 b;GP;23;11.40;1.20;1.20

Appendix: Full HDP Chains

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # G2: 4,7 => UNS
* INC # G2: 1,3,6 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # G2: 4,7 => UNS
* INC # G2: 1,3,6 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # G2: 4,7 => UNS
* INC # G2: 1,3,6 => UNS
* INC # G2: 4,7 # I2: 4,7 => UNS
* INC # G2: 4,7 # I2: 3,8 => UNS
* INC # G2: 4,7 # H4: 1,2 => UNS
* INC # G2: 4,7 # H4: 8 => UNS
* INC # G2: 4,7 # G1: 1,2 => UNS
* INC # G2: 4,7 # G1: 3 => UNS
* INC # G2: 4,7 # I7: 5,9 => UNS
* DIS # G2: 4,7 # H8: 5,9 => CTR => H8: 2,7
* INC # G2: 4,7 + H8: 2,7 # I9: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # C7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # E7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # I7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # I9: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # C7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # E7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # G9: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # G9: 3 => UNS
* INC # G2: 4,7 + H8: 2,7 # A8: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # B8: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # I2: 4,7 => UNS
* INC # G2: 4,7 + H8: 2,7 # I2: 3,8 => UNS
* INC # G2: 4,7 + H8: 2,7 # H4: 1,2 => UNS
* INC # G2: 4,7 + H8: 2,7 # H4: 8 => UNS
* INC # G2: 4,7 + H8: 2,7 # G1: 1,2 => UNS
* INC # G2: 4,7 + H8: 2,7 # G1: 3 => UNS
* INC # G2: 4,7 + H8: 2,7 # I7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # I9: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # C7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # E7: 5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 # G9: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # G9: 3 => UNS
* INC # G2: 4,7 + H8: 2,7 # A8: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # B8: 2,6 => UNS
* INC # G2: 4,7 + H8: 2,7 # I9: 2,7 => UNS
* INC # G2: 4,7 + H8: 2,7 # I9: 3,5,9 => UNS
* INC # G2: 4,7 + H8: 2,7 => UNS
* INC # G2: 1,3,6 => UNS
* CNT  39 HDP CHAINS /  39 HYP OPENED

A4. Deep Constraint Pair Analysis

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

* INC # F6: 3 # F2: 1,4 => UNS
* INC # F6: 3 # F2: 8 => UNS
* INC # F6: 3 # C1: 1,4 => UNS
* INC # F6: 3 # G1: 1,4 => UNS
* INC # F6: 3 # C4: 4,8 => UNS
* INC # F6: 3 # C4: 1,3,6 => UNS
* INC # F6: 3 # A8: 4,8 => UNS
* INC # F6: 3 # A8: 2,6 => UNS
* INC # F6: 3 # B8: 4,9 => UNS
* INC # F6: 3 # B8: 2,6 => UNS
* DIS # F6: 3 # D4: 2,8 => CTR => D4: 6
* INC # F6: 3 + D4: 6 # E5: 2,8 => UNS
* INC # F6: 3 + D4: 6 # E5: 2,8 => UNS
* INC # F6: 3 + D4: 6 # E5: 7 => UNS
* INC # F6: 3 + D4: 6 # H4: 2,8 => UNS
* DIS # F6: 3 + D4: 6 # I4: 2,8 => CTR => I4: 4
* INC # F6: 3 + D4: 6 + I4: 4 # H4: 2,8 => UNS
* DIS # F6: 3 + D4: 6 + I4: 4 # H4: 1 => CTR => H4: 2,8
* INC # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 # E5: 2,8 => UNS
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 # E5: 7 => CTR => E5: 2,8
* DIS # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 # F2: 1,4 => CTR => F2: 8
* PRF # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 # C1: 1,4 => SOL
* STA # F6: 3 + D4: 6 + I4: 4 + H4: 2,8 + E5: 2,8 + F2: 8 + C1: 1,4
* CNT  22 HDP CHAINS /  23 HYP OPENED