Deep Constraint Pair Analysis

Time used: 0:00:00.000007

List of important HDP chains detected for B4,C5: 9..:

* PRF # B4: 9 # C1: 5,8 => SOL
* STA # B4: 9 + C1: 5,8
* CNT   1 HDP CHAINS /   2 HYP OPENED

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

Positions

.......12.....3..4..4.2.5....2.6...5.3.7..6..8....9.....6.1..5..7.8.....9....6...	initial
.......12.....3..4..4.2.5....2.6...5.3.7..6..86...9.....6.1..5..7.8.....9....6...	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A2,B2: 2.. / A2 = 2  =>  1 pairs (_) / B2 = 2  =>  1 pairs (_)
F5,D6: 2.. / F5 = 2  =>  2 pairs (_) / D6 = 2  =>  0 pairs (_)
F5,H5: 2.. / F5 = 2  =>  2 pairs (_) / H5 = 2  =>  0 pairs (_)
H8,I8: 6.. / H8 = 6  =>  1 pairs (_) / I8 = 6  =>  0 pairs (_)
A1,D1: 6.. / A1 = 6  =>  0 pairs (_) / D1 = 6  =>  1 pairs (_)
I3,I8: 6.. / I3 = 6  =>  1 pairs (_) / I8 = 6  =>  0 pairs (_)
A4,C6: 7.. / A4 = 7  =>  1 pairs (_) / C6 = 7  =>  3 pairs (_)
F7,E9: 7.. / F7 = 7  =>  1 pairs (_) / E9 = 7  =>  1 pairs (_)
B4,C5: 9.. / B4 = 9  =>  4 pairs (_) / C5 = 9  =>  2 pairs (_)
D7,E8: 9.. / D7 = 9  =>  1 pairs (_) / E8 = 9  =>  0 pairs (_)
* DURATION: 0:00:06.112339  START: 05:27:44.110470  END: 05:27:50.222809 2020-12-24
* CP COUNT: (10)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
B4,C5: 9.. / B4 = 9 ==>  0 pairs (*) / C5 = 9  =>  0 pairs (X)
* DURATION: 0:00:08.914159  START: 05:27:50.223514  END: 05:27:59.137673 2020-12-24
* REASONING B4,C5: 9..
* PRF # B4: 9 # C1: 5,8 => SOL
* STA # B4: 9 + C1: 5,8
* CNT   1 HDP CHAINS /   2 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

262744;12_12_03;dob;22;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for B4,C5: 9..:

* PRF # B4: 9 # C1: 5,8 => SOL
* STA # B4: 9 + C1: 5,8
* CNT   1 HDP CHAINS /   2 HYP OPENED