Analysis of xx-ph-00000885-5962-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: .....3.....3.6.7...4.7.1.3......61...9.....5.8...2...4..16..2...5.....8.4.......9 initial

Autosolve

position: .....3.....3.6.7...4.7.1.3......61...9.....5.8...2...4..16..2...5.....8.4.......9 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:14.890577

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

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000027

List of important HDP chains detected for G1,G8: 4..:

* DIS # G1: 4 # G9: 3,6 => CTR => G9: 5
* DIS # G1: 4 + G9: 5 # A7: 3,7 => CTR => A7: 9
* DIS # G1: 4 + G9: 5 + A7: 9 # G6: 3,6 => CTR => G6: 9
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 # G5: 8 => CTR => G5: 3,6
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # E1: 5,9 => CTR => E1: 8
* PRF # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 # D8: 1,3 => SOL
* STA # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 + D8: 1,3
* CNT   6 HDP CHAINS /  60 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

.....3.....3.6.7...4.7.1.3......61...9.....5.8...2...4..16..2...5.....8.4.......9 initial
.....3.....3.6.7...4.7.1.3......61...9.....5.8...2...4..16..2...5.....8.4.......9 autosolve

Classification

level: deep

Pairing Analysis

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

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A5,B6: 1.. / A5 = 1  =>  1 pairs (_) / B6 = 1  =>  2 pairs (_)
I8,H9: 1.. / I8 = 1  =>  2 pairs (_) / H9 = 1  =>  1 pairs (_)
B6,D6: 1.. / B6 = 1  =>  2 pairs (_) / D6 = 1  =>  1 pairs (_)
C4,C5: 4.. / C4 = 4  =>  1 pairs (_) / C5 = 4  =>  2 pairs (_)
H7,G8: 4.. / H7 = 4  =>  1 pairs (_) / G8 = 4  =>  6 pairs (_)
G1,G8: 4.. / G1 = 4  =>  1 pairs (_) / G8 = 4  =>  6 pairs (_)
I7,G9: 5.. / I7 = 5  =>  2 pairs (_) / G9 = 5  =>  2 pairs (_)
* DURATION: 0:00:04.879390  START: 00:12:26.345893  END: 00:12:31.225283 2020-11-23
* CP COUNT: (7)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
G1,G8: 4.. / G1 = 4 ==>  0 pairs (*) / G8 = 4 ==>  6 pairs (_)
* DURATION: 0:00:37.513911  START: 00:12:48.261509  END: 00:13:25.775420 2020-11-23
* REASONING G1,G8: 4..
* DIS # G1: 4 # G9: 3,6 => CTR => G9: 5
* DIS # G1: 4 + G9: 5 # A7: 3,7 => CTR => A7: 9
* DIS # G1: 4 + G9: 5 + A7: 9 # G6: 3,6 => CTR => G6: 9
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 # G5: 8 => CTR => G5: 3,6
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # E1: 5,9 => CTR => E1: 8
* PRF # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 # D8: 1,3 => SOL
* STA # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 + D8: 1,3
* CNT   6 HDP CHAINS /  60 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

885;5962;TkP;22;11.30;11.30;9.50

Appendix: Full HDP Chains

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # E7: 4,7 => UNS
* INC # F7: 4,7 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # E7: 4,7 => UNS
* INC # F7: 4,7 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # E7: 4,7 => UNS
* INC # F7: 4,7 => UNS
* INC # E7: 4,7 # A8: 3,9 => UNS
* INC # E7: 4,7 # A8: 2,6,7 => UNS
* INC # E7: 4,7 # B9: 3,8 => UNS
* INC # E7: 4,7 # B9: 2,6,7 => UNS
* INC # E7: 4,7 # E8: 4,7 => UNS
* INC # E7: 4,7 # F8: 4,7 => UNS
* INC # E7: 4,7 # E4: 4,7 => UNS
* INC # E7: 4,7 # E5: 4,7 => UNS
* INC # E7: 4,7 # G9: 3,5 => UNS
* INC # E7: 4,7 # G9: 6 => UNS
* INC # E7: 4,7 => UNS
* INC # F7: 4,7 # A8: 3,9 => UNS
* INC # F7: 4,7 # A8: 2,6,7 => UNS
* INC # F7: 4,7 # E7: 3,9 => UNS
* INC # F7: 4,7 # E7: 5,8 => UNS
* INC # F7: 4,7 # B9: 3,8 => UNS
* INC # F7: 4,7 # B9: 2,6,7 => UNS
* INC # F7: 4,7 # E7: 3,8 => UNS
* INC # F7: 4,7 # E7: 5,9 => UNS
* INC # F7: 4,7 # E8: 4,7 => UNS
* INC # F7: 4,7 # F8: 4,7 => UNS
* INC # F7: 4,7 # F5: 4,7 => UNS
* INC # F7: 4,7 # F5: 8 => UNS
* INC # F7: 4,7 # G9: 3,5 => UNS
* INC # F7: 4,7 # G9: 6 => UNS
* INC # F7: 4,7 # E7: 3,5 => UNS
* INC # F7: 4,7 # E7: 8,9 => UNS
* INC # F7: 4,7 => UNS
* CNT  30 HDP CHAINS /  30 HYP OPENED

A4. Deep Constraint Pair Analysis

Full list of HDP chains traversed for G1,G8: 4..:

* INC # G8: 4 # H1: 2,9 => UNS
* INC # G8: 4 # H2: 2,9 => UNS
* INC # G8: 4 # G6: 6,9 => UNS
* INC # G8: 4 # G6: 3 => UNS
* INC # G8: 4 # H1: 6,9 => UNS
* INC # G8: 4 # H1: 1,2,4 => UNS
* INC # G8: 4 # A8: 3,9 => UNS
* INC # G8: 4 # A8: 2,6,7 => UNS
* INC # G8: 4 # E7: 3,9 => UNS
* INC # G8: 4 # E7: 4,5,8 => UNS
* INC # G8: 4 # B9: 3,8 => UNS
* INC # G8: 4 # B9: 2,6,7 => UNS
* INC # G8: 4 # E7: 3,8 => UNS
* INC # G8: 4 # E7: 4,5,9 => UNS
* INC # G8: 4 # G9: 3,5 => UNS
* INC # G8: 4 # G9: 6 => UNS
* INC # G8: 4 # E7: 3,5 => UNS
* INC # G8: 4 # E7: 4,8,9 => UNS
* INC # G8: 4 # I8: 1,6 => UNS
* INC # G8: 4 # I8: 3 => UNS
* INC # G8: 4 # H1: 1,6 => UNS
* INC # G8: 4 # H1: 2,4,9 => UNS
* INC # G8: 4 => UNS
* INC # G1: 4 # I8: 3,6 => UNS
* DIS # G1: 4 # G9: 3,6 => CTR => G9: 5
* INC # G1: 4 + G9: 5 # I8: 3,6 => UNS
* INC # G1: 4 + G9: 5 # I8: 1,7 => UNS
* INC # G1: 4 + G9: 5 # A8: 3,6 => UNS
* INC # G1: 4 + G9: 5 # A8: 2,7,9 => UNS
* INC # G1: 4 + G9: 5 # G5: 3,6 => UNS
* INC # G1: 4 + G9: 5 # G6: 3,6 => UNS
* INC # G1: 4 + G9: 5 # I8: 3,7 => UNS
* INC # G1: 4 + G9: 5 # I8: 1,6 => UNS
* DIS # G1: 4 + G9: 5 # A7: 3,7 => CTR => A7: 9
* INC # G1: 4 + G9: 5 + A7: 9 # B7: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # E7: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I4: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I5: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I8: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I8: 1,6 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # B7: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # E7: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I4: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I5: 3,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I8: 3,6 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # I8: 1,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # A8: 3,6 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # A8: 2,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 # G5: 3,6 => UNS
* DIS # G1: 4 + G9: 5 + A7: 9 # G6: 3,6 => CTR => G6: 9
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 # G5: 3,6 => UNS
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 # G5: 8 => CTR => G5: 3,6
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # I8: 3,6 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # I8: 1,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # A8: 3,6 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # A8: 2,7 => UNS
* INC # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # D1: 5,9 => UNS
* DIS # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 # E1: 5,9 => CTR => E1: 8
* PRF # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 # D8: 1,3 => SOL
* STA # G1: 4 + G9: 5 + A7: 9 + G6: 9 + G5: 3,6 + E1: 8 + D8: 1,3
* CNT  59 HDP CHAINS /  60 HYP OPENED