Deep Constraint Pair Analysis

Time used: 0:00:00.000006

List of important HDP chains detected for C7,F7: 8..:

* DIS # C7: 8 # B4: 1,5 => CTR => B4: 6,7
* PRF # C7: 8 + B4: 6,7 # A6: 7 => SOL
* STA # C7: 8 + B4: 6,7 + A6: 7
* CNT   2 HDP CHAINS /  18 HYP OPENED

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

Positions

9..8..7...8..7..6...7.....54..3......2...1.....9.8.5..1.......4.3.2.......6.9.8..	initial
9..8..7...8..7..6...7....854..3......2...1.....9.8.5..19......4.3.2.......6.9.8..	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
E8,D9: 1.. / E8 = 1  =>  1 pairs (_) / D9 = 1  =>  0 pairs (_)
C7,A9: 2.. / C7 = 2  =>  2 pairs (_) / A9 = 2  =>  3 pairs (_)
C8,B9: 4.. / C8 = 4  =>  1 pairs (_) / B9 = 4  =>  3 pairs (_)
I4,I5: 8.. / I4 = 8  =>  1 pairs (_) / I5 = 8  =>  4 pairs (_)
F7,F8: 8.. / F7 = 8  =>  1 pairs (_) / F8 = 8  =>  6 pairs (_)
C4,I4: 8.. / C4 = 8  =>  4 pairs (_) / I4 = 8  =>  1 pairs (_)
C7,F7: 8.. / C7 = 8  =>  6 pairs (_) / F7 = 8  =>  1 pairs (_)
A5,A8: 8.. / A5 = 8  =>  3 pairs (_) / A8 = 8  =>  2 pairs (_)
F4,D5: 9.. / F4 = 9  =>  0 pairs (_) / D5 = 9  =>  0 pairs (_)
* DURATION: 0:00:06.156205  START: 02:08:59.044405  END: 02:09:05.200610 2020-12-01
* CP COUNT: (9)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
C7,F7: 8.. / C7 = 8 ==>  0 pairs (*) / F7 = 8  =>  0 pairs (X)
* DURATION: 0:00:16.105007  START: 02:09:05.201241  END: 02:09:21.306248 2020-12-01
* REASONING C7,F7: 8..
* DIS # C7: 8 # B4: 1,5 => CTR => B4: 6,7
* PRF # C7: 8 + B4: 6,7 # A6: 7 => SOL
* STA # C7: 8 + B4: 6,7 + A6: 7
* CNT   2 HDP CHAINS /  18 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

9222;cy4;GP;22;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for C7,F7: 8..:

* INC # C7: 8 # C1: 3,5 => UNS
* INC # C7: 8 # C2: 3,5 => UNS
* INC # C7: 8 # F2: 3,5 => UNS
* INC # C7: 8 # F2: 2,4,9 => UNS
* INC # C7: 8 # E3: 3,6 => UNS
* INC # C7: 8 # F3: 3,6 => UNS
* INC # C7: 8 # A6: 3,6 => UNS
* INC # C7: 8 # A6: 7 => UNS
* DIS # C7: 8 # B4: 1,5 => CTR => B4: 6,7
* INC # C7: 8 + B4: 6,7 # H8: 5,7 => UNS
* INC # C7: 8 + B4: 6,7 # H8: 1,9 => UNS
* INC # C7: 8 + B4: 6,7 # F2: 3,5 => UNS
* INC # C7: 8 + B4: 6,7 # F2: 2,4,9 => UNS
* INC # C7: 8 + B4: 6,7 # E3: 3,6 => UNS
* INC # C7: 8 + B4: 6,7 # F3: 3,6 => UNS
* INC # C7: 8 + B4: 6,7 # A6: 3,6 => UNS
* PRF # C7: 8 + B4: 6,7 # A6: 7 => SOL
* STA # C7: 8 + B4: 6,7 + A6: 7
* CNT  17 HDP CHAINS /  18 HYP OPENED