Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for D5,D7: 5..:

* PRF # D7: 5 # D4: 4,8 => SOL
* STA # D7: 5 + D4: 4,8
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Positions

98.7.....6...5.9....4..6...5....93....6.3.......2...1..7......8..5..34.....1...2.	initial
98.7.....6...5.9...54..6...5....93....6.3.......2...1..7......8..5..34.....1...2.	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
E4,F5: 1.. / E4 = 1  =>  2 pairs (_) / F5 = 1  =>  1 pairs (_)
G7,I8: 1.. / G7 = 1  =>  0 pairs (_) / I8 = 1  =>  2 pairs (_)
D2,D3: 3.. / D2 = 3  =>  2 pairs (_) / D3 = 3  =>  2 pairs (_)
H7,I9: 3.. / H7 = 3  =>  1 pairs (_) / I9 = 3  =>  2 pairs (_)
D5,D7: 5.. / D5 = 5  =>  0 pairs (_) / D7 = 5  =>  3 pairs (_)
B8,B9: 6.. / B8 = 6  =>  2 pairs (_) / B9 = 6  =>  1 pairs (_)
C2,A3: 7.. / C2 = 7  =>  0 pairs (_) / A3 = 7  =>  1 pairs (_)
D3,E3: 9.. / D3 = 9  =>  2 pairs (_) / E3 = 9  =>  1 pairs (_)
* DURATION: 0:00:04.465218  START: 13:40:12.715958  END: 13:40:17.181176 2020-12-11
* CP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
D5,D7: 5.. / D5 = 5  =>  0 pairs (X) / D7 = 5 ==>  0 pairs (*)
* DURATION: 0:00:06.732496  START: 13:40:17.181784  END: 13:40:23.914280 2020-12-11
* REASONING D5,D7: 5..
* PRF # D7: 5 # D4: 4,8 => SOL
* STA # D7: 5 + D4: 4,8
* CNT   1 HDP CHAINS /   2 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

32488;2012_03_13;GP;22;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for D5,D7: 5..:

* PRF # D7: 5 # D4: 4,8 => SOL
* STA # D7: 5 + D4: 4,8
* CNT   1 HDP CHAINS /   2 HYP OPENED