Pair Reduction Analysis

Pair Reduction

Deep Pair Reduction

Time used: 0:00:00.288882

Deep Constraint Pair Analysis

Time used: 0:00:00.000024

List of important HDP chains detected for E1,F1: 5..:

* PRF # E1: 5 # E9: 6,9 => SOL
* STA # E1: 5 + E9: 6,9
* CNT   1 HDP CHAINS /   8 HYP OPENED

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

Positions

98.7..6..5..4.......7.8..5.7..3....2.9..1..7...1.....61...7..8..7...23.......4...	initial
98.7..6..5..4.......7.8..5.7..3....2.9..1..7...1..7..61...7..8..7...23.......4...	autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (4)
G2: 7,8
I2: 7,8
D8: 1,8
D9: 1,8

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
B2,B3: 1.. / B2 = 1  =>  4 pairs (_) / B3 = 1  =>  4 pairs (_)
G4,H4: 1.. / G4 = 1  =>  5 pairs (_) / H4 = 1  =>  4 pairs (_)
D8,D9: 1.. / D8 = 1  =>  2 pairs (_) / D9 = 1  =>  3 pairs (_)
I5,H6: 3.. / I5 = 3  =>  4 pairs (_) / H6 = 3  =>  4 pairs (_)
F7,E9: 3.. / F7 = 3  =>  5 pairs (_) / E9 = 3  =>  5 pairs (_)
E4,E6: 4.. / E4 = 4  =>  6 pairs (_) / E6 = 4  =>  6 pairs (_)
E1,F1: 5.. / E1 = 5  =>  7 pairs (_) / F1 = 5  =>  6 pairs (_)
H8,H9: 6.. / H8 = 6  =>  6 pairs (_) / H9 = 6  =>  4 pairs (_)
G2,I2: 7.. / G2 = 7  =>  2 pairs (_) / I2 = 7  =>  5 pairs (_)
G9,I9: 7.. / G9 = 7  =>  5 pairs (_) / I9 = 7  =>  2 pairs (_)
G2,G9: 7.. / G2 = 7  =>  2 pairs (_) / G9 = 7  =>  5 pairs (_)
I2,I9: 7.. / I2 = 7  =>  5 pairs (_) / I9 = 7  =>  2 pairs (_)
G2,I2: 8.. / G2 = 8  =>  5 pairs (_) / I2 = 8  =>  2 pairs (_)
F4,F5: 8.. / F4 = 8  =>  5 pairs (_) / F5 = 8  =>  3 pairs (_)
D8,D9: 8.. / D8 = 8  =>  3 pairs (_) / D9 = 8  =>  2 pairs (_)
A6,G6: 8.. / A6 = 8  =>  5 pairs (_) / G6 = 8  =>  3 pairs (_)
I2,I5: 8.. / I2 = 8  =>  2 pairs (_) / I5 = 8  =>  5 pairs (_)
* DURATION: 0:00:19.009070  START: 10:55:37.332504  END: 10:55:56.341574 2020-12-15
* CP COUNT: (17)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
E1,F1: 5.. / E1 = 5 ==>  0 pairs (*) / F1 = 5  =>  0 pairs (X)
* DURATION: 0:00:25.929985  START: 10:55:57.617157  END: 10:56:23.547142 2020-12-15
* REASONING E1,F1: 5..
* PRF # E1: 5 # E9: 6,9 => SOL
* STA # E1: 5 + E9: 6,9
* CNT   1 HDP CHAINS /   8 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

35003;12_05;GP;24;11.30;1.20;1.20

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for E1,F1: 5..:

* INC # E1: 5 # F2: 1,3 => UNS
* INC # E1: 5 # F3: 1,3 => UNS
* INC # E1: 5 # H1: 1,3 => UNS
* INC # E1: 5 # I1: 1,3 => UNS
* INC # E1: 5 # D7: 6,9 => UNS
* INC # E1: 5 # F7: 6,9 => UNS
* PRF # E1: 5 # E9: 6,9 => SOL
* STA # E1: 5 + E9: 6,9
* CNT   7 HDP CHAINS /   8 HYP OPENED