Deep Constraint Pair Analysis

Time used: 0:00:00.000012

List of important HDP chains detected for D3,E3: 9..:

* PRF # D3: 9 # E1: 2,3 => SOL
* STA # D3: 9 + E1: 2,3
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Positions

98.7.....7...8.9....6..5...4..3..8...9.....4...2.4...1.3.8..4......1..5......6..2	initial
98.7.....7...8.9....6..5...4..3..8...9.....4...2.4...1.3.8..4......1..5......6..2	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H4,G5: 2.. / H4 = 2  =>  0 pairs (_) / G5 = 2  =>  0 pairs (_)
F8,E9: 3.. / F8 = 3  =>  1 pairs (_) / E9 = 3  =>  3 pairs (_)
E1,D2: 6.. / E1 = 6  =>  0 pairs (_) / D2 = 6  =>  2 pairs (_)
H3,I3: 8.. / H3 = 8  =>  1 pairs (_) / I3 = 8  =>  1 pairs (_)
F5,F6: 8.. / F5 = 8  =>  3 pairs (_) / F6 = 8  =>  0 pairs (_)
I8,H9: 8.. / I8 = 8  =>  1 pairs (_) / H9 = 8  =>  1 pairs (_)
A6,F6: 8.. / A6 = 8  =>  3 pairs (_) / F6 = 8  =>  0 pairs (_)
H3,H9: 8.. / H3 = 8  =>  1 pairs (_) / H9 = 8  =>  1 pairs (_)
I3,I8: 8.. / I3 = 8  =>  1 pairs (_) / I8 = 8  =>  1 pairs (_)
D3,E3: 9.. / D3 = 9  =>  4 pairs (_) / E3 = 9  =>  0 pairs (_)
* DURATION: 0:00:07.579780  START: 06:53:40.806855  END: 06:53:48.386635 2020-12-02
* CP COUNT: (10)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
D3,E3: 9.. / D3 = 9 ==>  0 pairs (*) / E3 = 9  =>  0 pairs (X)
* DURATION: 0:00:10.628385  START: 06:53:48.387562  END: 06:53:59.015947 2020-12-02
* REASONING D3,E3: 9..
* PRF # D3: 9 # E1: 2,3 => SOL
* STA # D3: 9 + E1: 2,3
* CNT   1 HDP CHAINS /   2 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

12262;kz0;GP;23;11.30;11.30;9.90

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for D3,E3: 9..:

* PRF # D3: 9 # E1: 2,3 => SOL
* STA # D3: 9 + E1: 2,3
* CNT   1 HDP CHAINS /   2 HYP OPENED