Deep Constraint Pair Analysis

Time used: 0:00:00.000006

List of important HDP chains detected for D2,H2: 4..:

* PRF # D2: 4 # E3: 2,3 => SOL
* STA # D2: 4 + E3: 2,3
* CNT   1 HDP CHAINS /   3 HYP OPENED

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

Positions

98.7..6..7...95....4.8..7..8.....3...3.....64..43....7.7.6..4......8...2....1....	initial
98.7..6..7...95....4.8..7..8.....3...3.....64..43....7.7.6..4......8...2....1...6	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H1,H2: 4.. / H1 = 4  =>  6 pairs (_) / H2 = 4  =>  1 pairs (_)
A8,A9: 4.. / A8 = 4  =>  2 pairs (_) / A9 = 4  =>  0 pairs (_)
D2,H2: 4.. / D2 = 4  =>  6 pairs (_) / H2 = 4  =>  1 pairs (_)
E1,E4: 4.. / E1 = 4  =>  1 pairs (_) / E4 = 4  =>  1 pairs (_)
B2,C2: 6.. / B2 = 6  =>  0 pairs (_) / C2 = 6  =>  4 pairs (_)
E3,F3: 6.. / E3 = 6  =>  1 pairs (_) / F3 = 6  =>  1 pairs (_)
A6,A8: 6.. / A6 = 6  =>  1 pairs (_) / A8 = 6  =>  0 pairs (_)
C4,C5: 7.. / C4 = 7  =>  0 pairs (_) / C5 = 7  =>  2 pairs (_)
E4,E5: 7.. / E4 = 7  =>  2 pairs (_) / E5 = 7  =>  0 pairs (_)
F8,F9: 7.. / F8 = 7  =>  0 pairs (_) / F9 = 7  =>  0 pairs (_)
H8,H9: 7.. / H8 = 7  =>  0 pairs (_) / H9 = 7  =>  0 pairs (_)
C4,E4: 7.. / C4 = 7  =>  0 pairs (_) / E4 = 7  =>  2 pairs (_)
C5,E5: 7.. / C5 = 7  =>  2 pairs (_) / E5 = 7  =>  0 pairs (_)
F8,H8: 7.. / F8 = 7  =>  0 pairs (_) / H8 = 7  =>  0 pairs (_)
F9,H9: 7.. / F9 = 7  =>  0 pairs (_) / H9 = 7  =>  0 pairs (_)
F5,F6: 8.. / F5 = 8  =>  0 pairs (_) / F6 = 8  =>  2 pairs (_)
C7,C9: 8.. / C7 = 8  =>  1 pairs (_) / C9 = 8  =>  1 pairs (_)
F5,G5: 8.. / F5 = 8  =>  0 pairs (_) / G5 = 8  =>  2 pairs (_)
I2,I7: 8.. / I2 = 8  =>  1 pairs (_) / I7 = 8  =>  2 pairs (_)
H3,I3: 9.. / H3 = 9  =>  0 pairs (_) / I3 = 9  =>  1 pairs (_)
* DURATION: 0:00:14.477845  START: 19:14:18.004657  END: 19:14:32.482502 2020-09-25
* CP COUNT: (20)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
D2,H2: 4.. / D2 = 4 ==>  0 pairs (*) / H2 = 4  =>  0 pairs (X)
* DURATION: 0:00:17.219661  START: 19:14:32.483329  END: 19:14:49.702990 2020-09-25
* REASONING D2,H2: 4..
* PRF # D2: 4 # E3: 2,3 => SOL
* STA # D2: 4 + E3: 2,3
* CNT   1 HDP CHAINS /   3 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

2487980;2019_08_05_a;PAQ;24;11.60;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for D2,H2: 4..:

* INC # D2: 4 # F1: 2,3 => UNS
* PRF # D2: 4 # E3: 2,3 => SOL
* STA # D2: 4 + E3: 2,3
* CNT   2 HDP CHAINS /   3 HYP OPENED