Pair Reduction Analysis

The following important HDP chains were detected:

* DIS # C1: 2,6 => CTR => C1: 4,7
* CNT   1 HDP CHAINS /  13 HYP OPENED

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

Pair Reduction

The following important HDP chains were detected:

* DIS # C1: 2,6 => CTR => C1: 4,7
* STA C1: 4,7
* CNT   1 HDP CHAINS /  30 HYP OPENED

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

Pair Reduction Position

See section Pair Reduction for the HDP chains leading to this result.

Deep Pair Reduction

Time used: 0:00:47.471709

The following important HDP chains were detected:

* PRF # A2: 4,7 # I3: 3,8 => SOL
* STA # A2: 4,7 + I3: 3,8
* CNT   1 HDP CHAINS /  54 HYP OPENED

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

Positions

........9..1...6...5..7..4....4.7.8...3.8...5.8...2....78.2..5..39...1..6........	initial
......5.9..1...6...5..7..4....4.7.8...3.8...5.8...2....78.2..5..39...1..6........	autosolve
......5.9..1...6...5..7..4....4.7.8...3.8...5.8...2....78.2..5..39...1..6........	pair_reduction
327864519491235678856179243962457381713986425584312796178623954239548167645791832	solved

Classification

level: hard

Pairing Analysis

--------------------------------------------------
* PAIRS (2)
C3: 2,6
A7: 1,4

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H1,I3: 1.. / H1 = 1  =>  2 pairs (_) / I3 = 1  =>  2 pairs (_)
A7,B9: 1.. / A7 = 1  =>  2 pairs (_) / B9 = 1  =>  7 pairs (_)
A8,C9: 5.. / A8 = 5  =>  4 pairs (_) / C9 = 5  =>  6 pairs (_)
D8,D9: 7.. / D8 = 7  =>  3 pairs (_) / D9 = 7  =>  2 pairs (_)
C1,C6: 7.. / C1 = 7  =>  2 pairs (_) / C6 = 7  =>  3 pairs (_)
G3,G9: 8.. / G3 = 8  =>  2 pairs (_) / G9 = 8  =>  3 pairs (_)
* DURATION: 0:00:05.302711  START: 21:40:05.581806  END: 21:40:10.884517 2017-04-30
* CP COUNT: (6)
* INCONCLUSIVE

* DEEP PAIR REDUCTION
* DURATION: 0:00:47.178619  START: 21:40:36.508457  END: 21:41:23.687076 2017-04-30
* SOLUTION FOUND
* SAVE PR GRAPH xx-tarx0011-base-pr-002.dot
* REASONING
* PRF # A2: 4,7 # I3: 3,8 => SOL
* STA # A2: 4,7 + I3: 3,8
* CNT   1 HDP CHAINS /  54 HYP OPENED

Header Info

tarx0011,tarek 7.2 *3BB r5c46 r4c2 r6c8

A1. Pair Reduction Analysis

Full list of HDP chains traversed:

* INC # B1: 2,6 => UNS
* DIS # C1: 2,6 => CTR => C1: 4,7
* INC # C1: 4,7 => UNS
* INC # D3: 2,6 => UNS
* INC # D3: 1,3,8,9 => UNS
* INC # C4: 2,6 => UNS
* INC # C4: 5 => UNS
* INC # B9: 1,4 => UNS
* INC # B9: 2 => UNS
* INC # F7: 1,4 => UNS
* INC # F7: 3,6,9 => UNS
* INC # A5: 1,4 => UNS
* INC # A6: 1,4 => UNS
* CNT  13 HDP CHAINS /  13 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # B1: 2,6 => UNS
* DIS # C1: 2,6 => CTR => C1: 4,7
* INC C1: 4,7 # B1: 2,6 => UNS
* INC C1: 4,7 # B1: 4 => UNS
* INC C1: 4,7 # D3: 2,6 => UNS
* INC C1: 4,7 # D3: 1,3,8,9 => UNS
* INC C1: 4,7 # C4: 2,6 => UNS
* INC C1: 4,7 # C4: 5 => UNS
* INC C1: 4,7 # B9: 1,4 => UNS
* INC C1: 4,7 # B9: 2 => UNS
* INC C1: 4,7 # F7: 1,4 => UNS
* INC C1: 4,7 # F7: 3,6,9 => UNS
* INC C1: 4,7 # A5: 1,4 => UNS
* INC C1: 4,7 # A6: 1,4 => UNS
* INC C1: 4,7 # A1: 4,7 => UNS
* INC C1: 4,7 # A2: 4,7 => UNS
* INC C1: 4,7 # C6: 4,7 => UNS
* INC C1: 4,7 # C6: 5,6 => UNS
* INC C1: 4,7 # B1: 2,6 => UNS
* INC C1: 4,7 # B1: 4 => UNS
* INC C1: 4,7 # D3: 2,6 => UNS
* INC C1: 4,7 # D3: 1,3,8,9 => UNS
* INC C1: 4,7 # C4: 2,6 => UNS
* INC C1: 4,7 # C4: 5 => UNS
* INC C1: 4,7 # B9: 1,4 => UNS
* INC C1: 4,7 # B9: 2 => UNS
* INC C1: 4,7 # F7: 1,4 => UNS
* INC C1: 4,7 # F7: 3,6,9 => UNS
* INC C1: 4,7 # A5: 1,4 => UNS
* INC C1: 4,7 # A6: 1,4 => UNS
* STA C1: 4,7
* CNT  30 HDP CHAINS /  30 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # A1: 4,7 => UNS
* INC # A2: 4,7 => UNS
* INC # C6: 4,7 => UNS
* INC # C6: 5,6 => UNS
* INC # B1: 2,6 => UNS
* INC # B1: 4 => UNS
* INC # D3: 2,6 => UNS
* INC # D3: 1,3,8,9 => UNS
* INC # C4: 2,6 => UNS
* INC # C4: 5 => UNS
* INC # B9: 1,4 => UNS
* INC # B9: 2 => UNS
* INC # F7: 1,4 => UNS
* INC # F7: 3,6,9 => UNS
* INC # A5: 1,4 => UNS
* INC # A6: 1,4 => UNS
* INC # A1: 4,7 # A5: 4,7 => UNS
* INC # A1: 4,7 # A6: 4,7 => UNS
* INC # A1: 4,7 # D1: 2,6 => UNS
* INC # A1: 4,7 # D1: 1,3,8 => UNS
* INC # A1: 4,7 # B4: 2,6 => UNS
* INC # A1: 4,7 # B5: 2,6 => UNS
* INC # A1: 4,7 # C6: 4,7 => UNS
* INC # A1: 4,7 # C6: 5,6 => UNS
* INC # A1: 4,7 # I2: 3,8 => UNS
* INC # A1: 4,7 # I2: 2,7 => UNS
* INC # A1: 4,7 # G3: 3,8 => UNS
* INC # A1: 4,7 # I3: 3,8 => UNS
* INC # A1: 4,7 # D3: 2,6 => UNS
* INC # A1: 4,7 # D3: 1,3,9 => UNS
* INC # A1: 4,7 # C4: 2,6 => UNS
* INC # A1: 4,7 # C4: 5 => UNS
* INC # A1: 4,7 # B9: 1,4 => UNS
* INC # A1: 4,7 # B9: 2 => UNS
* INC # A1: 4,7 # F7: 1,4 => UNS
* INC # A1: 4,7 # F7: 3,6,9 => UNS
* INC # A1: 4,7 # A5: 1,4 => UNS
* INC # A1: 4,7 # A6: 1,4 => UNS
* INC # A1: 4,7 => UNS
* INC # A2: 4,7 # D1: 3,8 => UNS
* INC # A2: 4,7 # F1: 3,8 => UNS
* INC # A2: 4,7 # D1: 2,6 => UNS
* INC # A2: 4,7 # D1: 1,3,8 => UNS
* INC # A2: 4,7 # B4: 2,6 => UNS
* INC # A2: 4,7 # B5: 2,6 => UNS
* INC # A2: 4,7 # C6: 4,7 => UNS
* INC # A2: 4,7 # C6: 5,6 => UNS
* INC # A2: 4,7 # A5: 4,7 => UNS
* INC # A2: 4,7 # A6: 4,7 => UNS
* INC # A2: 4,7 # D3: 3,8 => UNS
* INC # A2: 4,7 # F3: 3,8 => UNS
* INC # A2: 4,7 # G3: 3,8 => UNS
* PRF # A2: 4,7 # I3: 3,8 => SOL
* STA # A2: 4,7 + I3: 3,8
* CNT  53 HDP CHAINS /  54 HYP OPENED