Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for F5,F6: 7..:

* PRF # F5: 7 # G2: 6,8 => SOL
* STA # F5: 7 + G2: 6,8
* CNT   1 HDP CHAINS /  11 HYP OPENED

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

Positions

98.76....54.3.......6..59..8....65.....2...1.....5...36.......1.9...84......7..2.	initial
98.76....54.3.......6..59..8....65.....2...1.....5...36.......1.9...84......7..2.	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
G1,G2: 1.. / G1 = 1  =>  2 pairs (_) / G2 = 1  =>  3 pairs (_)
I4,G6: 2.. / I4 = 2  =>  3 pairs (_) / G6 = 2  =>  1 pairs (_)
H1,I1: 5.. / H1 = 5  =>  1 pairs (_) / I1 = 5  =>  2 pairs (_)
B5,C5: 5.. / B5 = 5  =>  1 pairs (_) / C5 = 5  =>  0 pairs (_)
B5,B6: 6.. / B5 = 6  =>  1 pairs (_) / B6 = 6  =>  0 pairs (_)
D8,D9: 6.. / D8 = 6  =>  1 pairs (_) / D9 = 6  =>  2 pairs (_)
F5,F6: 7.. / F5 = 7  =>  3 pairs (_) / F6 = 7  =>  0 pairs (_)
E5,D6: 8.. / E5 = 8  =>  1 pairs (_) / D6 = 8  =>  1 pairs (_)
C7,C9: 8.. / C7 = 8  =>  1 pairs (_) / C9 = 8  =>  1 pairs (_)
D3,D6: 8.. / D3 = 8  =>  1 pairs (_) / D6 = 8  =>  1 pairs (_)
E2,F2: 9.. / E2 = 9  =>  1 pairs (_) / F2 = 9  =>  0 pairs (_)
H7,I9: 9.. / H7 = 9  =>  2 pairs (_) / I9 = 9  =>  0 pairs (_)
* DURATION: 0:00:06.928181  START: 09:54:28.411897  END: 09:54:35.340078 2020-12-09
* CP COUNT: (12)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
G1,G2: 1.. / G1 = 1 ==>  2 pairs (_) / G2 = 1 ==>  3 pairs (_)
I4,G6: 2.. / I4 = 2 ==>  3 pairs (_) / G6 = 2 ==>  1 pairs (_)
F5,F6: 7.. / F5 = 7 ==>  0 pairs (*) / F6 = 7  =>  0 pairs (X)
* DURATION: 0:00:26.670536  START: 09:54:35.340650  END: 09:55:02.011186 2020-12-09
* REASONING F5,F6: 7..
* PRF # F5: 7 # G2: 6,8 => SOL
* STA # F5: 7 + G2: 6,8
* CNT   1 HDP CHAINS /  11 HYP OPENED
* DCP COUNT: (3)
* SOLUTION FOUND

Header Info

27302;KC40b;GP;24;11.30;11.30;10.60

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for G1,G2: 1..:

* INC # G2: 1 # A3: 2,7 => UNS
* INC # G2: 1 # B3: 2,7 => UNS
* INC # G2: 1 # I2: 2,7 => UNS
* INC # G2: 1 # I2: 6,8 => UNS
* INC # G2: 1 # C4: 2,7 => UNS
* INC # G2: 1 # C6: 2,7 => UNS
* INC # G2: 1 # C7: 2,7 => UNS
* INC # G2: 1 # C8: 2,7 => UNS
* INC # G2: 1 # E2: 2,9 => UNS
* INC # G2: 1 # E2: 8 => UNS
* INC # G2: 1 # F7: 2,9 => UNS
* INC # G2: 1 # F7: 3,4 => UNS
* INC # G2: 1 # C1: 2,3 => UNS
* INC # G2: 1 # C1: 1 => UNS
* INC # G2: 1 => UNS
* INC # G1: 1 # A3: 2,3 => UNS
* INC # G1: 1 # B3: 2,3 => UNS
* INC # G1: 1 # C4: 2,3 => UNS
* INC # G1: 1 # C7: 2,3 => UNS
* INC # G1: 1 # C8: 2,3 => UNS
* INC # G1: 1 # E3: 2,4 => UNS
* INC # G1: 1 # E3: 1,8 => UNS
* INC # G1: 1 # I1: 2,4 => UNS
* INC # G1: 1 # I1: 5 => UNS
* INC # G1: 1 # F7: 2,4 => UNS
* INC # G1: 1 # F7: 3,9 => UNS
* INC # G1: 1 => UNS
* CNT  27 HDP CHAINS /  27 HYP OPENED

Full list of HDP chains traversed for I4,G6: 2..:

* INC # I4: 2 # C1: 1,2 => UNS
* INC # I4: 2 # F1: 1,2 => UNS
* INC # I4: 2 # H1: 4,5 => UNS
* INC # I4: 2 # H1: 3 => UNS
* INC # I4: 2 # C2: 1,2 => UNS
* INC # I4: 2 # E2: 1,2 => UNS
* INC # I4: 2 # F2: 1,2 => UNS
* INC # I4: 2 => UNS
* INC # G6: 2 # C1: 1,3 => UNS
* INC # G6: 2 # C1: 2 => UNS
* INC # G6: 2 => UNS
* CNT  11 HDP CHAINS /  11 HYP OPENED

Full list of HDP chains traversed for F5,F6: 7..:

* INC # F5: 7 # C4: 3,4 => UNS
* INC # F5: 7 # C5: 3,4 => UNS
* INC # F5: 7 # E5: 3,4 => UNS
* INC # F5: 7 # E5: 8,9 => UNS
* INC # F5: 7 # A9: 3,4 => UNS
* INC # F5: 7 # A9: 1 => UNS
* INC # F5: 7 # I5: 6,8 => UNS
* INC # F5: 7 # G6: 6,8 => UNS
* INC # F5: 7 # H6: 6,8 => UNS
* PRF # F5: 7 # G2: 6,8 => SOL
* STA # F5: 7 + G2: 6,8
* CNT  10 HDP CHAINS /  11 HYP OPENED