Deep Constraint Pair Analysis

Time used: 0:00:00.000012

List of important HDP chains detected for H7,G8: 3..:

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

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

Positions

98.7..6..5...6......6....7..4......3..9.5.7.....2...1...8.7.9.....1...4......3..2	initial
98.7..6..5...6......6....7..4......3..9.5.7.....2...1...8.7.9.....1...47.....3..2	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
I7,G9: 1.. / I7 = 1  =>  3 pairs (_) / G9 = 1  =>  1 pairs (_)
D5,E6: 3.. / D5 = 3  =>  0 pairs (_) / E6 = 3  =>  1 pairs (_)
H7,G8: 3.. / H7 = 3  =>  2 pairs (_) / G8 = 3  =>  4 pairs (_)
B2,C2: 7.. / B2 = 7  =>  0 pairs (_) / C2 = 7  =>  1 pairs (_)
F4,F6: 7.. / F4 = 7  =>  0 pairs (_) / F6 = 7  =>  1 pairs (_)
H4,I6: 9.. / H4 = 9  =>  2 pairs (_) / I6 = 9  =>  0 pairs (_)
B8,B9: 9.. / B8 = 9  =>  1 pairs (_) / B9 = 9  =>  1 pairs (_)
H2,H4: 9.. / H2 = 9  =>  0 pairs (_) / H4 = 9  =>  2 pairs (_)
* DURATION: 0:00:05.619306  START: 20:21:59.628124  END: 20:22:05.247430 2020-11-29
* CP COUNT: (8)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
H7,G8: 3.. / H7 = 3  =>  0 pairs (X) / G8 = 3 ==>  0 pairs (*)
* DURATION: 0:00:08.291281  START: 20:22:05.248224  END: 20:22:13.539505 2020-11-29
* REASONING H7,G8: 3..
* PRF # G8: 3 # A7: 2,6 => SOL
* STA # G8: 3 + A7: 2,6
* CNT   1 HDP CHAINS /   2 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

1594;H297;GP;22;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for H7,G8: 3..:

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