Analysis of xx-ph-00027941-2011_12-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: 98.7.....6...5.9....4..9.3.5..8......7..6......6..2..4.6.....12..2..14..........3 initial

Autosolve

position: 98.7.....6...5.9....4..9.3.5..8......7..6......6..2..4.6.....12..2..14..........3 autosolve
Autosolve

Pair Reduction Variants

Deep Pair Reduction

Deep Pair Reduction

Time used: 0:00:00.161256

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000011

List of important HDP chains detected for B4,B9: 4..:

* DIS # B9: 4 # C1: 5 => CTR => C1: 1,3
* DIS # B9: 4 + C1: 1,3 # D2: 1,3 => CTR => D2: 2,4
* DIS # B9: 4 + C1: 1,3 + D2: 2,4 # B6: 9 => CTR => B6: 1,3
* PRF # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 # I3: 1,6 => SOL
* STA # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 + I3: 1,6
* CNT   4 HDP CHAINS /   8 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.7.....6...5.9....4..9.3.5..8......7..6......6..2..4.6.....12..2..14..........3 initial
98.7.....6...5.9....4..9.3.5..8......7..6......6..2..4.6.....12..2..14..........3 autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (2)
B4: 2,4
A5: 2,4

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
B4,A5: 2.. / B4 = 2  =>  6 pairs (_) / A5 = 2  =>  2 pairs (_)
D9,E9: 2.. / D9 = 2  =>  3 pairs (_) / E9 = 2  =>  3 pairs (_)
A3,A5: 2.. / A3 = 2  =>  6 pairs (_) / A5 = 2  =>  2 pairs (_)
H1,H2: 4.. / H1 = 4  =>  3 pairs (_) / H2 = 4  =>  3 pairs (_)
B4,A5: 4.. / B4 = 4  =>  2 pairs (_) / A5 = 4  =>  6 pairs (_)
B4,B9: 4.. / B4 = 4  =>  2 pairs (_) / B9 = 4  =>  6 pairs (_)
C1,B3: 5.. / C1 = 5  =>  5 pairs (_) / B3 = 5  =>  4 pairs (_)
F1,D3: 6.. / F1 = 6  =>  4 pairs (_) / D3 = 6  =>  3 pairs (_)
F1,F9: 6.. / F1 = 6  =>  4 pairs (_) / F9 = 6  =>  3 pairs (_)
C2,A3: 7.. / C2 = 7  =>  4 pairs (_) / A3 = 7  =>  3 pairs (_)
F2,E3: 8.. / F2 = 8  =>  4 pairs (_) / E3 = 8  =>  3 pairs (_)
C5,A6: 8.. / C5 = 8  =>  3 pairs (_) / A6 = 8  =>  4 pairs (_)
* DURATION: 0:00:07.681173  START: 19:24:58.726637  END: 19:25:06.407810 2020-12-09
* CP COUNT: (12)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
B4,B9: 4.. / B4 = 4  =>  0 pairs (X) / B9 = 4 ==>  0 pairs (*)
* DURATION: 0:00:13.607320  START: 19:25:07.083257  END: 19:25:20.690577 2020-12-09
* REASONING B4,B9: 4..
* DIS # B9: 4 # C1: 5 => CTR => C1: 1,3
* DIS # B9: 4 + C1: 1,3 # D2: 1,3 => CTR => D2: 2,4
* DIS # B9: 4 + C1: 1,3 + D2: 2,4 # B6: 9 => CTR => B6: 1,3
* PRF # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 # I3: 1,6 => SOL
* STA # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 + I3: 1,6
* CNT   4 HDP CHAINS /   8 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

27941;2011_12;GP;23;11.30;11.30;3.40

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for B4,B9: 4..:

* INC # B9: 4 # C1: 1,3 => UNS
* DIS # B9: 4 # C1: 5 => CTR => C1: 1,3
* DIS # B9: 4 + C1: 1,3 # D2: 1,3 => CTR => D2: 2,4
* INC # B9: 4 + C1: 1,3 + D2: 2,4 # B6: 1,3 => UNS
* DIS # B9: 4 + C1: 1,3 + D2: 2,4 # B6: 9 => CTR => B6: 1,3
* INC # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 # G3: 1,6 => UNS
* PRF # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 # I3: 1,6 => SOL
* STA # B9: 4 + C1: 1,3 + D2: 2,4 + B6: 1,3 + I3: 1,6
* CNT   7 HDP CHAINS /   8 HYP OPENED