Pair Reduction Analysis

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

Pair Reduction

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

Deep Pair Reduction

Time used: 0:00:11.627579

The following important HDP chains were detected:

* DIS # A7: 1,4 # C7: 2,6 => CTR => C7: 3,7
* CNT   1 HDP CHAINS /  25 HYP OPENED

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

Deep Constraint Pair Analysis

Time used: 0:00:00.000012

List of important HDP chains detected for G7,H9: 1..:

* PRF # H9: 1 # A7: 2,6 => SOL
* STA # H9: 1 + A7: 2,6
* CNT   1 HDP CHAINS /  15 HYP OPENED

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

Positions

98.7..6....5.9..4......3...5...2..8..28........4...2.1.5..8..9....1....7.....63..	initial
98.7..6....5.9..4......3...5...2..8..28........4...2.1.5..8..9....1....7.....63..	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
G7: 1,4

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
G7,H9: 1.. / G7 = 1  =>  2 pairs (_) / H9 = 1  =>  5 pairs (_)
D7,E8: 3.. / D7 = 3  =>  2 pairs (_) / E8 = 3  =>  2 pairs (_)
A3,B3: 4.. / A3 = 4  =>  1 pairs (_) / B3 = 4  =>  1 pairs (_)
E1,F1: 4.. / E1 = 4  =>  3 pairs (_) / F1 = 4  =>  3 pairs (_)
I7,H8: 6.. / I7 = 6  =>  2 pairs (_) / H8 = 6  =>  2 pairs (_)
F7,E9: 7.. / F7 = 7  =>  2 pairs (_) / E9 = 7  =>  2 pairs (_)
D6,F6: 8.. / D6 = 8  =>  6 pairs (_) / F6 = 8  =>  2 pairs (_)
A8,A9: 8.. / A8 = 8  =>  3 pairs (_) / A9 = 8  =>  2 pairs (_)
G8,I9: 8.. / G8 = 8  =>  2 pairs (_) / I9 = 8  =>  3 pairs (_)
A8,G8: 8.. / A8 = 8  =>  3 pairs (_) / G8 = 8  =>  2 pairs (_)
A9,I9: 8.. / A9 = 8  =>  2 pairs (_) / I9 = 8  =>  3 pairs (_)
F2,F6: 8.. / F2 = 8  =>  6 pairs (_) / F6 = 8  =>  2 pairs (_)
G3,I3: 9.. / G3 = 9  =>  2 pairs (_) / I3 = 9  =>  1 pairs (_)
F8,D9: 9.. / F8 = 9  =>  1 pairs (_) / D9 = 9  =>  1 pairs (_)
* DURATION: 0:00:08.137156  START: 00:02:35.921062  END: 00:02:44.058218 2020-12-07
* CP COUNT: (14)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
F2,F6: 8.. / F2 = 8 ==>  6 pairs (_) / F6 = 8 ==>  2 pairs (_)
D6,F6: 8.. / D6 = 8 ==>  6 pairs (_) / F6 = 8 ==>  2 pairs (_)
G7,H9: 1.. / G7 = 1  =>  0 pairs (X) / H9 = 1 ==>  0 pairs (*)
* DURATION: 0:00:33.242477  START: 00:02:57.456426  END: 00:03:30.698903 2020-12-07
* REASONING G7,H9: 1..
* PRF # H9: 1 # A7: 2,6 => SOL
* STA # H9: 1 + A7: 2,6
* CNT   1 HDP CHAINS /  15 HYP OPENED
* DCP COUNT: (3)
* SOLUTION FOUND

Header Info

20027;KZ1C;GP;23;11.30;11.20;2.60

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # A7: 1,4 => UNS
* INC # A7: 2,3,6,7 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # A7: 1,4 => UNS
* INC # A7: 2,3,6,7 => UNS
* CNT   2 HDP CHAINS /   2 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # A7: 1,4 => UNS
* INC # A7: 2,3,6,7 => UNS
* INC # A7: 1,4 # A9: 1,4 => UNS
* INC # A7: 1,4 # B9: 1,4 => UNS
* INC # A7: 1,4 # A3: 1,4 => UNS
* INC # A7: 1,4 # A3: 2,6,7 => UNS
* INC # A7: 1,4 # C7: 2,3 => UNS
* INC # A7: 1,4 # C7: 6,7 => UNS
* INC # A7: 1,4 # C7: 2,7 => UNS
* INC # A7: 1,4 # C7: 3,6 => UNS
* INC # A7: 1,4 # H8: 2,6 => UNS
* INC # A7: 1,4 # H8: 5 => UNS
* DIS # A7: 1,4 # C7: 2,6 => CTR => C7: 3,7
* INC # A7: 1,4 + C7: 3,7 # A9: 1,4 => UNS
* INC # A7: 1,4 + C7: 3,7 # B9: 1,4 => UNS
* INC # A7: 1,4 + C7: 3,7 # A3: 1,4 => UNS
* INC # A7: 1,4 + C7: 3,7 # A3: 2,6,7 => UNS
* INC # A7: 1,4 + C7: 3,7 # C4: 3,7 => UNS
* INC # A7: 1,4 + C7: 3,7 # C4: 1,6,9 => UNS
* INC # A7: 1,4 + C7: 3,7 # H9: 2,5 => UNS
* INC # A7: 1,4 + C7: 3,7 # I9: 2,5 => UNS
* INC # A7: 1,4 + C7: 3,7 # H1: 2,5 => UNS
* INC # A7: 1,4 + C7: 3,7 # H3: 2,5 => UNS
* INC # A7: 1,4 + C7: 3,7 => UNS
* INC # A7: 2,3,6,7 => UNS
* CNT  25 HDP CHAINS /  25 HYP OPENED

A4. Deep Constraint Pair Analysis

Full list of HDP chains traversed for F2,F6: 8..:

* INC # F2: 8 # D3: 2,6 => UNS
* INC # F2: 8 # D3: 5 => UNS
* INC # F2: 8 # A2: 2,6 => UNS
* INC # F2: 8 # A2: 1,3,7 => UNS
* INC # F2: 8 # H3: 1,7 => UNS
* INC # F2: 8 # H3: 2,5 => UNS
* INC # F2: 8 # A2: 1,7 => UNS
* INC # F2: 8 # B2: 1,7 => UNS
* INC # F2: 8 # H1: 2,3 => UNS
* INC # F2: 8 # I1: 2,3 => UNS
* INC # F2: 8 # A2: 2,3 => UNS
* INC # F2: 8 # A2: 1,6,7 => UNS
* INC # F2: 8 # A7: 1,4 => UNS
* INC # F2: 8 # A7: 2,3,6,7 => UNS
* INC # F2: 8 => UNS
* INC # F6: 8 # F1: 1,2 => UNS
* INC # F6: 8 # F1: 4,5 => UNS
* INC # F6: 8 # A2: 1,2 => UNS
* INC # F6: 8 # A2: 3,6,7 => UNS
* INC # F6: 8 # A7: 1,4 => UNS
* INC # F6: 8 # A7: 2,3,6,7 => UNS
* INC # F6: 8 => UNS
* CNT  22 HDP CHAINS /  22 HYP OPENED

Full list of HDP chains traversed for D6,F6: 8..:

* INC # D6: 8 # D3: 2,6 => UNS
* INC # D6: 8 # D3: 5 => UNS
* INC # D6: 8 # A2: 2,6 => UNS
* INC # D6: 8 # A2: 1,3,7 => UNS
* INC # D6: 8 # H3: 1,7 => UNS
* INC # D6: 8 # H3: 2,5 => UNS
* INC # D6: 8 # A2: 1,7 => UNS
* INC # D6: 8 # B2: 1,7 => UNS
* INC # D6: 8 # H1: 2,3 => UNS
* INC # D6: 8 # I1: 2,3 => UNS
* INC # D6: 8 # A2: 2,3 => UNS
* INC # D6: 8 # A2: 1,6,7 => UNS
* INC # D6: 8 # A7: 1,4 => UNS
* INC # D6: 8 # A7: 2,3,6,7 => UNS
* INC # D6: 8 => UNS
* INC # F6: 8 # F1: 1,2 => UNS
* INC # F6: 8 # F1: 4,5 => UNS
* INC # F6: 8 # A2: 1,2 => UNS
* INC # F6: 8 # A2: 3,6,7 => UNS
* INC # F6: 8 # A7: 1,4 => UNS
* INC # F6: 8 # A7: 2,3,6,7 => UNS
* INC # F6: 8 => UNS
* CNT  22 HDP CHAINS /  22 HYP OPENED

Full list of HDP chains traversed for G7,H9: 1..:

* INC # H9: 1 # G5: 7,9 => UNS
* INC # H9: 1 # G5: 5 => UNS
* INC # H9: 1 # B4: 7,9 => UNS
* INC # H9: 1 # C4: 7,9 => UNS
* INC # H9: 1 # F4: 7,9 => UNS
* INC # H9: 1 # G3: 7,9 => UNS
* INC # H9: 1 # G3: 1,5,8 => UNS
* INC # H9: 1 # A7: 2,3 => UNS
* INC # H9: 1 # C7: 2,3 => UNS
* INC # H9: 1 # A7: 2,7 => UNS
* INC # H9: 1 # C7: 2,7 => UNS
* INC # H9: 1 # H8: 2,6 => UNS
* INC # H9: 1 # H8: 5 => UNS
* PRF # H9: 1 # A7: 2,6 => SOL
* STA # H9: 1 + A7: 2,6
* CNT  14 HDP CHAINS /  15 HYP OPENED