Analysis of xx-ph-00035254-12_05-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: 98.7..6..7..5..9....4....8.6..9..5...3...........2....1....5..9...1...65....791.. initial

Autosolve

position: 98.7..65.7..5..9....4.9..8.6..9..5...3..5........2....1....5..9...1...65....791.. autosolve
Autosolve

Pair Reduction Variants

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for E2,E7: 6..:

* DIS # E2: 6 # I6: 4,8 => CTR => I6: 1,3,6,7
* DIS # E2: 6 + I6: 1,3,6,7 # E4: 4,8 => CTR => E4: 1,3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # A5: 4,8 => CTR => A5: 2
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # D6: 3 => CTR => D6: 4,8
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 # I5: 4,8 => CTR => I5: 1,6,7
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 # G5: 7 => CTR => G5: 4,8
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # A8: 4,8 => CTR => A8: 3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 # F4: 7 => CTR => F4: 1,3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 # E1: 1,3 => CTR => E1: 4
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 # I4: 2,4 => CTR => I4: 8
* PRF # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 + I4: 8 => SOL
* STA E2: 6
* CNT  11 HDP CHAINS /  54 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..7..5..9....4....8.6..9..5...3...........2....1....5..9...1...65....791.. initial
98.7..65.7..5..9....4.9..8.6..9..5...3..5........2....1....5..9...1...65....791.. autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A3,B3: 5.. / A3 = 5  =>  1 pairs (_) / B3 = 5  =>  1 pairs (_)
C6,C9: 5.. / C6 = 5  =>  1 pairs (_) / C9 = 5  =>  0 pairs (_)
I5,I6: 6.. / I5 = 6  =>  1 pairs (_) / I6 = 6  =>  0 pairs (_)
E2,E7: 6.. / E2 = 6  =>  4 pairs (_) / E7 = 6  =>  0 pairs (_)
G3,I3: 7.. / G3 = 7  =>  2 pairs (_) / I3 = 7  =>  1 pairs (_)
E2,F2: 8.. / E2 = 8  =>  1 pairs (_) / F2 = 8  =>  0 pairs (_)
H5,H6: 9.. / H5 = 9  =>  0 pairs (_) / H6 = 9  =>  0 pairs (_)
B8,C8: 9.. / B8 = 9  =>  0 pairs (_) / C8 = 9  =>  0 pairs (_)
C5,H5: 9.. / C5 = 9  =>  0 pairs (_) / H5 = 9  =>  0 pairs (_)
B6,B8: 9.. / B6 = 9  =>  0 pairs (_) / B8 = 9  =>  0 pairs (_)
* DURATION: 0:00:06.363583  START: 21:54:48.482213  END: 21:54:54.845796 2020-10-26
* CP COUNT: (10)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
E2,E7: 6.. / E2 = 6 ==>  0 pairs (*) / E7 = 6  =>  0 pairs (X)
* DURATION: 0:00:40.584576  START: 21:54:54.846397  END: 21:55:35.430973 2020-10-26
* REASONING E2,E7: 6..
* DIS # E2: 6 # I6: 4,8 => CTR => I6: 1,3,6,7
* DIS # E2: 6 + I6: 1,3,6,7 # E4: 4,8 => CTR => E4: 1,3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # A5: 4,8 => CTR => A5: 2
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # D6: 3 => CTR => D6: 4,8
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 # I5: 4,8 => CTR => I5: 1,6,7
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 # G5: 7 => CTR => G5: 4,8
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # A8: 4,8 => CTR => A8: 3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 # F4: 7 => CTR => F4: 1,3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 # E1: 1,3 => CTR => E1: 4
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 # I4: 2,4 => CTR => I4: 8
* PRF # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 + I4: 8 => SOL
* STA E2: 6
* CNT  11 HDP CHAINS /  54 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

35254;12_05;GP;23;11.40;1.20;1.20

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for E2,E7: 6..:

* INC # E2: 6 # C1: 1,2 => UNS
* INC # E2: 6 # C2: 1,2 => UNS
* INC # E2: 6 # H2: 1,2 => UNS
* INC # E2: 6 # I2: 1,2 => UNS
* INC # E2: 6 # B4: 1,2 => UNS
* INC # E2: 6 # B4: 4,7 => UNS
* INC # E2: 6 # F1: 2,3 => UNS
* INC # E2: 6 # F3: 2,3 => UNS
* INC # E2: 6 # G3: 2,3 => UNS
* INC # E2: 6 # I3: 2,3 => UNS
* INC # E2: 6 # D7: 2,3 => UNS
* INC # E2: 6 # D9: 2,3 => UNS
* INC # E2: 6 # A5: 4,8 => UNS
* INC # E2: 6 # A5: 2 => UNS
* INC # E2: 6 # D6: 4,8 => UNS
* INC # E2: 6 # G6: 4,8 => UNS
* DIS # E2: 6 # I6: 4,8 => CTR => I6: 1,3,6,7
* INC # E2: 6 + I6: 1,3,6,7 # A8: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # A9: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # A5: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # A5: 2 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # D6: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # G6: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # A8: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 # A9: 4,8 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 # E4: 4,8 => CTR => E4: 1,3
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # D6: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # D6: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # D6: 3 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 # A5: 4,8 => CTR => A5: 2
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # G5: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # I5: 4,8 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # D6: 4,8 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 # D6: 3 => CTR => D6: 4,8
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 # G5: 4,8 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 # I5: 4,8 => CTR => I5: 1,6,7
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 # G5: 4,8 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 # G5: 7 => CTR => G5: 4,8
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # C1: 1,2 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # C2: 1,2 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # H2: 1,2 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # I2: 1,2 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # F1: 2,3 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # F3: 2,3 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # G3: 2,3 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # I3: 2,3 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # D7: 2,3 => UNS
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # D9: 2,3 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 # A8: 4,8 => CTR => A8: 3
* INC # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 # F4: 1,3 => UNS
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 # F4: 7 => CTR => F4: 1,3
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 # E1: 1,3 => CTR => E1: 4
* DIS # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 # I4: 2,4 => CTR => I4: 8
* PRF # E2: 6 + I6: 1,3,6,7 + E4: 1,3 + A5: 2 + D6: 4,8 + I5: 1,6,7 + G5: 4,8 + A8: 3 + F4: 1,3 + E1: 4 + I4: 8 => SOL
* STA E2: 6
* CNT  54 HDP CHAINS /  54 HYP OPENED