Analysis of xx-dukdiamond1-base.sdk

Contents

Original Sudoku

level: very deep

Original Sudoku

position: 1.......2.2.....6...34..5.....8.5.....8.3.9.....9.4.....5..34...7.....1.6.......7 initial

Autosolve

position: 1.......2.2.....6...34..5.....8.5.....8.3.9.....9.4.....5..34...7.....1.6.......7 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

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000005

List of important HDP chains detected for E8,E9: 4..:

* DIS # E8: 4 # A8: 2,9 => CTR => A8: 3,8
* CNT   1 HDP CHAINS /  25 HYP OPENED

List of important HDP chains detected for H1,I2: 4..:

* DIS # I2: 4 # A2: 7,9 => CTR => A2: 5,8
* CNT   1 HDP CHAINS /  25 HYP OPENED

List of important HDP chains detected for A8,B9: 3..:

* DIS # B9: 3 # H9: 2,8 => CTR => H9: 5,9
* DIS # B9: 3 + H9: 5,9 # E9: 2,8 => CTR => E9: 1,4,5,9
* DIS # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # E9: 5,9 => CTR => E9: 1,4
* CNT   3 HDP CHAINS /  38 HYP OPENED

List of important HDP chains detected for D1,D2: 3..:

* DIS # D1: 3 # H1: 7,8 => CTR => H1: 4,9
* CNT   1 HDP CHAINS /  19 HYP OPENED

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

Very Deep Constraint Pair Analysis

Very Deep Constraint Pair Analysis

Time used: 0:00:18.148166

List of important HDP chains detected for I8,H9: 5..:

* PRF # I8: 5 # D7: 2,6 # F5: 1,7 => SOL
* STA # I8: 5 # D7: 2,6 + F5: 1,7
* CNT   1 HDP CHAINS /  11 HYP OPENED

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

Details

This sudoku is very deep. Here is some information that may be helpful on how to proceed.

Positions

1.......2.2.....6...34..5.....8.5.....8.3.9.....9.4.....5..34...7.....1.6.......7 initial
1.......2.2.....6...34..5.....8.5.....8.3.9.....9.4.....5..34...7.....1.6.......7 autosolve

Classification

level: very deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
E3,F3: 2.. / E3 = 2  =>  0 pairs (_) / F3 = 2  =>  0 pairs (_)
D1,D2: 3.. / D1 = 3  =>  1 pairs (_) / D2 = 3  =>  0 pairs (_)
A8,B9: 3.. / A8 = 3  =>  0 pairs (_) / B9 = 3  =>  1 pairs (_)
H1,I2: 4.. / H1 = 4  =>  0 pairs (_) / I2 = 4  =>  1 pairs (_)
E8,E9: 4.. / E8 = 4  =>  1 pairs (_) / E9 = 4  =>  0 pairs (_)
B1,A2: 5.. / B1 = 5  =>  0 pairs (_) / A2 = 5  =>  0 pairs (_)
I8,H9: 5.. / I8 = 5  =>  1 pairs (_) / H9 = 5  =>  1 pairs (_)
D7,E7: 7.. / D7 = 7  =>  0 pairs (_) / E7 = 7  =>  0 pairs (_)
* DURATION: 0:00:06.329048  START: 20:42:29.697110  END: 20:42:36.026158 2017-04-28
* CP COUNT: (8)

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
I8,H9: 5.. / I8 = 5 ==>  1 pairs (_) / H9 = 5 ==>  1 pairs (_)
E8,E9: 4.. / E8 = 4 ==>  2 pairs (_) / E9 = 4 ==>  0 pairs (_)
H1,I2: 4.. / H1 = 4 ==>  0 pairs (_) / I2 = 4 ==>  2 pairs (_)
A8,B9: 3.. / A8 = 3 ==>  0 pairs (_) / B9 = 3 ==>  3 pairs (_)
D1,D2: 3.. / D1 = 3 ==>  2 pairs (_) / D2 = 3 ==>  0 pairs (_)
D7,E7: 7.. / D7 = 7 ==>  0 pairs (_) / E7 = 7 ==>  0 pairs (_)
B1,A2: 5.. / B1 = 5 ==>  0 pairs (_) / A2 = 5 ==>  0 pairs (_)
E3,F3: 2.. / E3 = 2 ==>  0 pairs (_) / F3 = 2 ==>  0 pairs (_)
* DURATION: 0:01:15.533408  START: 20:42:36.026560  END: 20:43:51.559968 2017-04-28
* REASONING E8,E9: 4..
* DIS # E8: 4 # A8: 2,9 => CTR => A8: 3,8
* CNT   1 HDP CHAINS /  25 HYP OPENED
* REASONING H1,I2: 4..
* DIS # I2: 4 # A2: 7,9 => CTR => A2: 5,8
* CNT   1 HDP CHAINS /  25 HYP OPENED
* REASONING A8,B9: 3..
* DIS # B9: 3 # H9: 2,8 => CTR => H9: 5,9
* DIS # B9: 3 + H9: 5,9 # E9: 2,8 => CTR => E9: 1,4,5,9
* DIS # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # E9: 5,9 => CTR => E9: 1,4
* CNT   3 HDP CHAINS /  38 HYP OPENED
* REASONING D1,D2: 3..
* DIS # D1: 3 # H1: 7,8 => CTR => H1: 4,9
* CNT   1 HDP CHAINS /  19 HYP OPENED
* DCP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* VERY DEEP CONSTRAINT PAIRS (PAIR REDUCTION, RECURSIVE)
I8,H9: 5.. / I8 = 5 ==>  0 pairs (*) / H9 = 5  =>  0 pairs (X)
* DURATION: 0:00:18.147484  START: 20:43:51.616480  END: 20:44:09.763964 2017-04-28
* REASONING I8,H9: 5..
* PRF # I8: 5 # D7: 2,6 # F5: 1,7 => SOL
* STA # I8: 5 # D7: 2,6 + F5: 1,7
* CNT   1 HDP CHAINS /  11 HYP OPENED
* VDCP COUNT: (1)
* SOLUTION FOUND

Header Info

dukdiamond1,coloin 3.2 SK *bb(2)r5c1289 r3c6 r7c4

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for I8,H9: 5..:

* INC # I8: 5 # D7: 2,6 => UNS
* INC # I8: 5 # E7: 2,6 => UNS
* INC # I8: 5 # E8: 2,6 => UNS
* INC # I8: 5 # F8: 2,6 => UNS
* INC # I8: 5 # G8: 2,6 => UNS
* INC # I8: 5 # G8: 3,8 => UNS
* INC # I8: 5 # D5: 2,6 => UNS
* INC # I8: 5 # D5: 1,7 => UNS
* INC # I8: 5 => UNS
* INC # H9: 5 # D7: 1,2 => UNS
* INC # H9: 5 # E7: 1,2 => UNS
* INC # H9: 5 # E9: 1,2 => UNS
* INC # H9: 5 # F9: 1,2 => UNS
* INC # H9: 5 # C9: 1,2 => UNS
* INC # H9: 5 # C9: 4,9 => UNS
* INC # H9: 5 # D5: 1,2 => UNS
* INC # H9: 5 # D5: 6,7 => UNS
* INC # H9: 5 => UNS
* CNT  18 HDP CHAINS /  18 HYP OPENED

Full list of HDP chains traversed for E8,E9: 4..:

* INC # E8: 4 # A7: 2,9 => UNS
* DIS # E8: 4 # A8: 2,9 => CTR => A8: 3,8
* INC # E8: 4 + A8: 3,8 # C9: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 6,8 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 1,4,6,7 => UNS
* INC # E8: 4 + A8: 3,8 # A7: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # C9: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 6,8 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 1,4,6,7 => UNS
* INC # E8: 4 + A8: 3,8 # B9: 3,8 => UNS
* INC # E8: 4 + A8: 3,8 # B9: 1,4,9 => UNS
* INC # E8: 4 + A8: 3,8 # G8: 3,8 => UNS
* INC # E8: 4 + A8: 3,8 # I8: 3,8 => UNS
* INC # E8: 4 + A8: 3,8 # A7: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # C9: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # F8: 6,8 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 2,9 => UNS
* INC # E8: 4 + A8: 3,8 # C4: 1,4,6,7 => UNS
* INC # E8: 4 + A8: 3,8 => UNS
* INC # E9: 4 => UNS
* CNT  25 HDP CHAINS /  25 HYP OPENED

Full list of HDP chains traversed for H1,I2: 4..:

* INC # I2: 4 # C1: 7,9 => UNS
* DIS # I2: 4 # A2: 7,9 => CTR => A2: 5,8
* INC # I2: 4 + A2: 5,8 # A3: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # E2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # F2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 1,2,4,6 => UNS
* INC # I2: 4 + A2: 5,8 # C1: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # A3: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # E2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # F2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 1,2,4,6 => UNS
* INC # I2: 4 + A2: 5,8 # B1: 5,8 => UNS
* INC # I2: 4 + A2: 5,8 # B1: 4,6,9 => UNS
* INC # I2: 4 + A2: 5,8 # E2: 5,8 => UNS
* INC # I2: 4 + A2: 5,8 # E2: 1,7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C1: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # A3: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # E2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # F2: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 7,9 => UNS
* INC # I2: 4 + A2: 5,8 # C4: 1,2,4,6 => UNS
* INC # I2: 4 + A2: 5,8 => UNS
* INC # H1: 4 => UNS
* CNT  25 HDP CHAINS /  25 HYP OPENED

Full list of HDP chains traversed for A8,B9: 3..:

* INC # B9: 3 # H7: 2,8 => UNS
* INC # B9: 3 # G8: 2,8 => UNS
* DIS # B9: 3 # H9: 2,8 => CTR => H9: 5,9
* DIS # B9: 3 + H9: 5,9 # E9: 2,8 => CTR => E9: 1,4,5,9
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 1,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 1,3,6,7 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # H7: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G8: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 1,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 1,3,6,7 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # H7: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G8: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # F9: 1,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # G6: 1,3,6,7 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # I8: 5,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # I8: 3,6,8 => UNS
* DIS # B9: 3 + H9: 5,9 + E9: 1,4,5,9 # E9: 5,9 => CTR => E9: 1,4
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # I8: 5,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # I8: 3,6,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # C9: 1,4 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # C9: 2,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # H7: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # G8: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # F9: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # F9: 1,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # G6: 2,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # G6: 1,3,6,7 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # I8: 5,9 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 # I8: 3,6,8 => UNS
* INC # B9: 3 + H9: 5,9 + E9: 1,4,5,9 + E9: 1,4 => UNS
* INC # A8: 3 => UNS
* CNT  38 HDP CHAINS /  38 HYP OPENED

Full list of HDP chains traversed for D1,D2: 3..:

* DIS # D1: 3 # H1: 7,8 => CTR => H1: 4,9
* INC # D1: 3 + H1: 4,9 # G2: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # H3: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # E1: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # F1: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # G6: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # G6: 1,2,3,6 => UNS
* INC # D1: 3 + H1: 4,9 # G2: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # H3: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # E1: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # F1: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # G6: 7,8 => UNS
* INC # D1: 3 + H1: 4,9 # G6: 1,2,3,6 => UNS
* INC # D1: 3 + H1: 4,9 # I2: 4,9 => UNS
* INC # D1: 3 + H1: 4,9 # I2: 1,3,8 => UNS
* INC # D1: 3 + H1: 4,9 # B1: 4,9 => UNS
* INC # D1: 3 + H1: 4,9 # C1: 4,9 => UNS
* INC # D1: 3 + H1: 4,9 => UNS
* INC # D2: 3 => UNS
* CNT  19 HDP CHAINS /  19 HYP OPENED

Full list of HDP chains traversed for D7,E7: 7..:

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

Full list of HDP chains traversed for B1,A2: 5..:

* INC # B1: 5 => UNS
* INC # A2: 5 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

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

* INC # E3: 2 => UNS
* INC # F3: 2 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Very Deep Constraint Pair Analysis

Full list of HDP chains traversed for I8,H9: 5..:

* INC # I8: 5 # D7: 2,6 => UNS
* INC # I8: 5 # E7: 2,6 => UNS
* INC # I8: 5 # E8: 2,6 => UNS
* INC # I8: 5 # F8: 2,6 => UNS
* INC # I8: 5 # G8: 2,6 => UNS
* INC # I8: 5 # G8: 3,8 => UNS
* INC # I8: 5 # D5: 2,6 => UNS
* INC # I8: 5 # D5: 1,7 => UNS
* PRF # I8: 5 # D7: 2,6 # F5: 1,7 => SOL
* STA # I8: 5 # D7: 2,6 + F5: 1,7
* CNT   9 HDP CHAINS /  11 HYP OPENED