Pair Reduction Analysis

The following important HDP chains were detected:

* DIS # B9: 6,9 => CTR => B9: 1,3
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Pair Reduction

The following important HDP chains were detected:

* DIS # B9: 6,9 => CTR => B9: 1,3
* STA B9: 1,3
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Pair Reduction Position

See section Pair Reduction for the HDP chains leading to this result.

Deep Pair Reduction

Time used: 0:00:00.280069

Deep Constraint Pair Analysis

Time used: 0:00:00.000015

List of important HDP chains detected for H2,H9: 3..:

* PRF # H9: 3 # C5: 2,4 => SOL
* STA # H9: 3 + C5: 2,4
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Positions

3.1..........2...6.......7..7..6..........9.35.....1..4..3.1....8.....2....5.....	initial
3.1..........2...6.......7..7..6..........9.35.....1.74..3.1....8.....2....5.2...	autosolve
3.1..........2...6.......7..7..6..........9.35.....1.74..3.1....8.....2....5.2...	pair_reduction

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (2)
H2: 1,3
H9: 1,3

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H2,I3: 1.. / H2 = 1  => 16 pairs (_) / I3 = 1  =>  0 pairs (X)
D2,H2: 1.. / D2 = 1  =>  0 pairs (X) / H2 = 1  => 16 pairs (_)
A4,D4: 1.. / A4 = 1  => 16 pairs (_) / D4 = 1  =>  0 pairs (X)
A8,I8: 1.. / A8 = 1  =>  0 pairs (X) / I8 = 1  => 16 pairs (_)
B5,B9: 1.. / B5 = 1  =>  0 pairs (X) / B9 = 1  => 16 pairs (_)
E3,E5: 1.. / E3 = 1  =>  0 pairs (X) / E5 = 1  => 16 pairs (_)
H2,H9: 1.. / H2 = 1  => 16 pairs (_) / H9 = 1  =>  0 pairs (X)
D5,D6: 2.. / D5 = 2  =>  2 pairs (_) / D6 = 2  =>  2 pairs (_)
G4,I4: 2.. / G4 = 2  =>  2 pairs (_) / I4 = 2  =>  2 pairs (_)
B7,C7: 2.. / B7 = 2  =>  2 pairs (_) / C7 = 2  =>  2 pairs (_)
A3,A5: 2.. / A3 = 2  =>  2 pairs (_) / A5 = 2  =>  2 pairs (_)
C4,F4: 3.. / C4 = 3  =>  0 pairs (X) / F4 = 3  => 16 pairs (_)
C8,G8: 3.. / C8 = 3  => 16 pairs (_) / G8 = 3  =>  0 pairs (X)
B6,B9: 3.. / B6 = 3  => 16 pairs (_) / B9 = 3  =>  0 pairs (X)
E3,E6: 3.. / E3 = 3  => 16 pairs (_) / E6 = 3  =>  0 pairs (X)
H2,H9: 3.. / H2 = 3  =>  0 pairs (X) / H9 = 3  => 16 pairs (_)
H5,H6: 6.. / H5 = 6  =>  3 pairs (_) / H6 = 6  =>  2 pairs (_)
D8,F8: 6.. / D8 = 6  =>  2 pairs (_) / F8 = 6  =>  2 pairs (_)
G7,G9: 6.. / G7 = 6  =>  2 pairs (_) / G9 = 6  =>  0 pairs (X)
A2,C2: 7.. / A2 = 7  =>  3 pairs (_) / C2 = 7  =>  3 pairs (_)
E7,E9: 8.. / E7 = 8  =>  0 pairs (X) / E9 = 8  =>  3 pairs (_)
H1,H7: 9.. / H1 = 9  =>  3 pairs (_) / H7 = 9  =>  4 pairs (_)
* DURATION: 0:00:30.174301  START: 06:35:56.884743  END: 06:36:27.059044 2017-05-04
* CP COUNT: (22)
* CLUE FOUND

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
H2,H9: 3.. / H2 = 3  =>  0 pairs (X) / H9 = 3 ==>  0 pairs (*)
* DURATION: 0:00:49.113677  START: 06:36:34.027468  END: 06:37:23.141145 2017-05-04
* REASONING H2,H9: 3..
* PRF # H9: 3 # C5: 2,4 => SOL
* STA # H9: 3 + C5: 2,4
* CNT   1 HDP CHAINS /   2 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

Top 500 Minimum 17 112

solution: 361857249857429316294136875178963452642715983539248167425371698783694521916582734
info: 1650     FNBTHWXY S8.f     29600

http://www.sfsudoku.com/su17ExtremeDiff500.txt from http://www.minimumsudoku.com/

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # B9: 1,3 => UNS
* DIS # B9: 6,9 => CTR => B9: 1,3
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # B9: 1,3 => UNS
* DIS # B9: 6,9 => CTR => B9: 1,3
* STA B9: 1,3
* CNT   2 HDP CHAINS /   2 HYP OPENED

A3. Deep Constraint Pair Analysis

Full list of HDP chains traversed for H2,H9: 3..:

* PRF # H9: 3 # C5: 2,4 => SOL
* STA # H9: 3 + C5: 2,4
* CNT   1 HDP CHAINS /   2 HYP OPENED