Deep Constraint Pair Analysis

Time used: 0:00:00.000007

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

* PRF # D9: 5 # D2: 1,9 => SOL
* STA # D9: 5 + D2: 1,9
* CNT   1 HDP CHAINS /   4 HYP OPENED

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

Positions

98.7.....6.7...5......5.....9.8..7....4....3.....2...1.5.6..9......3..2......1..4	initial
9857.....6.7...5......5.....9.8..7....4....3.....2...1.5.6..9......3..2......1..4	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H7,G8: 1.. / H7 = 1  =>  2 pairs (_) / G8 = 1  =>  1 pairs (_)
F7,D9: 2.. / F7 = 2  =>  1 pairs (_) / D9 = 2  =>  1 pairs (_)
I7,G9: 3.. / I7 = 3  =>  2 pairs (_) / G9 = 3  =>  1 pairs (_)
I8,H9: 5.. / I8 = 5  =>  3 pairs (_) / H9 = 5  =>  2 pairs (_)
D9,H9: 5.. / D9 = 5  =>  3 pairs (_) / H9 = 5  =>  2 pairs (_)
H3,I3: 7.. / H3 = 7  =>  1 pairs (_) / I3 = 7  =>  1 pairs (_)
I5,H6: 9.. / I5 = 9  =>  1 pairs (_) / H6 = 9  =>  0 pairs (_)
C8,C9: 9.. / C8 = 9  =>  1 pairs (_) / C9 = 9  =>  2 pairs (_)
* DURATION: 0:00:04.419932  START: 11:58:46.148765  END: 11:58:50.568697 2020-12-14
* CP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
D9,H9: 5.. / D9 = 5 ==>  0 pairs (*) / H9 = 5  =>  0 pairs (X)
* DURATION: 0:00:07.433354  START: 11:58:50.569227  END: 11:58:58.002581 2020-12-14
* REASONING D9,H9: 5..
* PRF # D9: 5 # D2: 1,9 => SOL
* STA # D9: 5 + D2: 1,9
* CNT   1 HDP CHAINS /   4 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

34403;12_05;GP;21;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

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

* INC # D9: 5 # E5: 1,9 => UNS
* INC # D9: 5 # E5: 6,7 => UNS
* PRF # D9: 5 # D2: 1,9 => SOL
* STA # D9: 5 + D2: 1,9
* CNT   3 HDP CHAINS /   4 HYP OPENED