-
Notifications
You must be signed in to change notification settings - Fork 0
/
modified_master.lp
247 lines (246 loc) · 10.7 KB
/
modified_master.lp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
\ENCODING=ISO-8859-1
\Problem name: IloCplex
Minimize
obj1: Lambda(1) + Lambda(2) + Lambda(3) + Lambda(4) + Lambda(5) + Lambda(6)
+ Lambda(7) + Lambda(8) + Lambda(9) + Lambda(10) + Lambda(11)
+ Lambda(12) + Lambda(13) + Lambda(14) + Lambda(15) + Lambda(16)
+ Lambda(17) + Lambda(18) + Lambda(19) + Lambda(20) + Lambda(21)
+ Lambda(22) + Lambda(23) + Lambda(24) + Lambda(25) + Lambda(26)
+ Lambda(27) + Lambda(28) + Lambda(29) + Lambda(30) + Lambda(31)
+ Lambda(32) + Lambda(33) + Lambda(34) + Lambda(35) + Lambda(36)
+ Lambda(37) + Lambda(38) + Lambda(39) + Lambda(40) + Lambda(41)
+ Lambda(42) + Lambda(43) + Lambda(44) + Lambda(45) + Lambda(46)
+ Lambda(47) + Lambda(48) + Lambda(49) + Lambda(50) + Lambda(51)
+ Lambda(52) + Lambda(53) + Lambda(54) + Lambda(55) + Lambda(56)
+ Lambda(57) + Lambda(58) + Lambda(59) + Lambda(60) + Lambda(61)
+ Lambda(62) + Lambda(63) + Lambda(64) + Lambda(65) + Lambda(66)
+ Lambda(67) + Lambda(68) + Lambda(69) + Lambda(70) + Lambda(71)
+ Lambda(72) + Lambda(73) + Lambda(74) + Lambda(75) + Lambda(76)
+ Lambda(77) + Lambda(78) + Lambda(79) + Lambda(80) + Lambda(81)
+ Lambda(82) + Lambda(83) + Lambda(84) + Lambda(85) + Lambda(86)
+ Lambda(87) + Lambda(88) + Lambda(89) + Lambda(90) + Lambda(91)
+ Lambda(92) + Lambda(93) + Lambda(94) + Lambda(95) + Lambda(96)
+ Lambda(97) + Lambda(98) + Lambda(99) + Lambda(100) + Lambda(101)
+ Lambda(102) + Lambda(103) + Lambda(104) + Lambda(105) + Lambda(106)
+ Lambda(107) + Lambda(108) + Lambda(109) + Lambda(110) + Lambda(111)
+ Lambda(112) + Lambda(113) + Lambda(114) + Lambda(115) + Lambda(116)
+ Lambda(117) + Lambda(118) + Lambda(119) + Lambda(120) + Lambda(121)
+ Lambda(122) + Lambda(123) + Lambda(124) + Lambda(125) + Lambda(126)
+ Lambda(127) + Lambda(128) + Lambda(129) + Lambda(130) + Lambda(131)
+ Lambda(132) + Lambda(133) + Lambda(134) + Lambda(135) + Lambda(136)
+ Lambda(137) + Lambda(138) + Lambda(139) + Lambda(140) + Lambda(141)
+ Lambda(142) + Lambda(143) + Lambda(144) + Lambda(145) + Lambda(146)
+ Lambda(147) + Lambda(148) + Lambda(149) + Lambda(150) + Lambda(151)
+ Lambda(152) + Lambda(153) + Lambda(154) + Lambda(155) + Lambda(156)
+ Lambda(157) + Lambda(158) + Lambda(159) + Lambda(160) + Lambda(161)
+ Lambda(162) + Lambda(163) + Lambda(164) + Lambda(165) + Lambda(166)
+ Lambda(167) + Lambda(168) + Lambda(169) + Lambda(170) + Lambda(171)
+ Lambda(172) + Lambda(173) + Lambda(174) + Lambda(175) + Lambda(176)
+ Lambda(177) + Lambda(178) + Lambda(179) + Lambda(180) + Lambda(181)
+ Lambda(182) + Lambda(183) + Lambda(184) + Lambda(185) + Lambda(186)
+ Lambda(187) + Lambda(188) + Lambda(189) + Lambda(190) + Lambda(191)
+ Lambda(192) + Lambda(193) + Lambda(194) + Lambda(195) + Lambda(196)
+ Lambda(197) + Lambda(198) + Lambda(199) + Lambda(200) + Lambda(201)
Subject To
UNIQUE_PATTERN(1): Lambda(1) = 1
UNIQUE_PATTERN(2): Lambda(2) = 1
UNIQUE_PATTERN(3): Lambda(3) = 1
UNIQUE_PATTERN(4): Lambda(4) = 1
UNIQUE_PATTERN(5): Lambda(5) = 1
UNIQUE_PATTERN(6): Lambda(6) = 1
UNIQUE_PATTERN(7): Lambda(7) = 1
UNIQUE_PATTERN(8): Lambda(8) = 1
UNIQUE_PATTERN(9): Lambda(9) = 1
UNIQUE_PATTERN(10): Lambda(10) = 1
UNIQUE_PATTERN(11): Lambda(11) = 1
UNIQUE_PATTERN(12): Lambda(12) = 1
UNIQUE_PATTERN(13): Lambda(13) = 1
UNIQUE_PATTERN(14): Lambda(14) = 1
UNIQUE_PATTERN(15): Lambda(15) = 1
UNIQUE_PATTERN(16): Lambda(16) = 1
UNIQUE_PATTERN(17): Lambda(17) = 1
UNIQUE_PATTERN(18): Lambda(18) = 1
UNIQUE_PATTERN(19): Lambda(19) = 1
UNIQUE_PATTERN(20): Lambda(20) = 1
UNIQUE_PATTERN(21): Lambda(21) = 1
UNIQUE_PATTERN(22): Lambda(22) = 1
UNIQUE_PATTERN(23): Lambda(23) = 1
UNIQUE_PATTERN(24): Lambda(24) = 1
UNIQUE_PATTERN(25): Lambda(25) = 1
UNIQUE_PATTERN(26): Lambda(26) = 1
UNIQUE_PATTERN(27): Lambda(27) = 1
UNIQUE_PATTERN(28): Lambda(28) = 1
UNIQUE_PATTERN(29): Lambda(29) = 1
UNIQUE_PATTERN(30): Lambda(30) = 1
UNIQUE_PATTERN(31): Lambda(31) = 1
UNIQUE_PATTERN(32): Lambda(32) = 1
UNIQUE_PATTERN(33): Lambda(33) = 1
UNIQUE_PATTERN(34): Lambda(34) = 1
UNIQUE_PATTERN(35): Lambda(35) = 1
UNIQUE_PATTERN(36): Lambda(36) = 1
UNIQUE_PATTERN(37): Lambda(37) = 1
UNIQUE_PATTERN(38): Lambda(38) = 1
UNIQUE_PATTERN(39): Lambda(39) = 1
UNIQUE_PATTERN(40): Lambda(40) = 1
UNIQUE_PATTERN(41): Lambda(41) = 1
UNIQUE_PATTERN(42): Lambda(42) = 1
UNIQUE_PATTERN(43): Lambda(43) = 1
UNIQUE_PATTERN(44): Lambda(44) = 1
UNIQUE_PATTERN(45): Lambda(45) = 1
UNIQUE_PATTERN(46): Lambda(46) = 1
UNIQUE_PATTERN(47): Lambda(47) = 1
UNIQUE_PATTERN(48): Lambda(48) = 1
UNIQUE_PATTERN(49): Lambda(49) = 1
UNIQUE_PATTERN(50): Lambda(50) = 1
UNIQUE_PATTERN(51): Lambda(51) = 1
UNIQUE_PATTERN(52): Lambda(52) = 1
UNIQUE_PATTERN(53): Lambda(53) = 1
UNIQUE_PATTERN(54): Lambda(54) = 1
UNIQUE_PATTERN(55): Lambda(55) = 1
UNIQUE_PATTERN(56): Lambda(56) = 1
UNIQUE_PATTERN(57): Lambda(57) = 1
UNIQUE_PATTERN(58): Lambda(58) = 1
UNIQUE_PATTERN(59): Lambda(59) = 1
UNIQUE_PATTERN(60): Lambda(60) = 1
UNIQUE_PATTERN(61): Lambda(61) = 1
UNIQUE_PATTERN(62): Lambda(62) = 1
UNIQUE_PATTERN(63): Lambda(63) = 1
UNIQUE_PATTERN(64): Lambda(64) = 1
UNIQUE_PATTERN(65): Lambda(65) = 1
UNIQUE_PATTERN(66): Lambda(66) = 1
UNIQUE_PATTERN(67): Lambda(67) = 1
UNIQUE_PATTERN(68): Lambda(68) = 1
UNIQUE_PATTERN(69): Lambda(69) = 1
UNIQUE_PATTERN(70): Lambda(70) = 1
UNIQUE_PATTERN(71): Lambda(71) = 1
UNIQUE_PATTERN(72): Lambda(72) = 1
UNIQUE_PATTERN(73): Lambda(73) = 1
UNIQUE_PATTERN(74): Lambda(74) = 1
UNIQUE_PATTERN(75): Lambda(75) = 1
UNIQUE_PATTERN(76): Lambda(76) = 1
UNIQUE_PATTERN(77): Lambda(77) = 1
UNIQUE_PATTERN(78): Lambda(78) = 1
UNIQUE_PATTERN(79): Lambda(79) = 1
UNIQUE_PATTERN(80): Lambda(80) = 1
UNIQUE_PATTERN(81): Lambda(81) = 1
UNIQUE_PATTERN(82): Lambda(82) = 1
UNIQUE_PATTERN(83): Lambda(83) = 1
UNIQUE_PATTERN(84): Lambda(84) = 1
UNIQUE_PATTERN(85): Lambda(85) = 1
UNIQUE_PATTERN(86): Lambda(86) = 1
UNIQUE_PATTERN(87): Lambda(87) = 1
UNIQUE_PATTERN(88): Lambda(88) = 1
UNIQUE_PATTERN(89): Lambda(89) = 1
UNIQUE_PATTERN(90): Lambda(90) = 1
UNIQUE_PATTERN(91): Lambda(91) = 1
UNIQUE_PATTERN(92): Lambda(92) = 1
UNIQUE_PATTERN(93): Lambda(93) = 1
UNIQUE_PATTERN(94): Lambda(94) = 1
UNIQUE_PATTERN(95): Lambda(95) = 1
UNIQUE_PATTERN(96): Lambda(96) = 1
UNIQUE_PATTERN(97): Lambda(97) = 1
UNIQUE_PATTERN(98): Lambda(98) = 1
UNIQUE_PATTERN(99): Lambda(99) = 1
UNIQUE_PATTERN(100): Lambda(100) = 1
UNIQUE_PATTERN(101): Lambda(101) = 1
UNIQUE_PATTERN(102): Lambda(102) = 1
UNIQUE_PATTERN(103): Lambda(103) = 1
UNIQUE_PATTERN(104): Lambda(104) = 1
UNIQUE_PATTERN(105): Lambda(105) = 1
UNIQUE_PATTERN(106): Lambda(106) = 1
UNIQUE_PATTERN(107): Lambda(107) = 1
UNIQUE_PATTERN(108): Lambda(108) = 1
UNIQUE_PATTERN(109): Lambda(109) = 1
UNIQUE_PATTERN(110): Lambda(110) = 1
UNIQUE_PATTERN(111): Lambda(111) = 1
UNIQUE_PATTERN(112): Lambda(112) = 1
UNIQUE_PATTERN(113): Lambda(113) = 1
UNIQUE_PATTERN(114): Lambda(114) = 1
UNIQUE_PATTERN(115): Lambda(115) = 1
UNIQUE_PATTERN(116): Lambda(116) = 1
UNIQUE_PATTERN(117): Lambda(117) = 1
UNIQUE_PATTERN(118): Lambda(118) = 1
UNIQUE_PATTERN(119): Lambda(119) = 1
UNIQUE_PATTERN(120): Lambda(120) = 1
UNIQUE_PATTERN(121): Lambda(121) = 1
UNIQUE_PATTERN(122): Lambda(122) = 1
UNIQUE_PATTERN(123): Lambda(123) = 1
UNIQUE_PATTERN(124): Lambda(124) = 1
UNIQUE_PATTERN(125): Lambda(125) = 1
UNIQUE_PATTERN(126): Lambda(126) = 1
UNIQUE_PATTERN(127): Lambda(127) = 1
UNIQUE_PATTERN(128): Lambda(128) = 1
UNIQUE_PATTERN(129): Lambda(129) = 1
UNIQUE_PATTERN(130): Lambda(130) = 1
UNIQUE_PATTERN(131): Lambda(131) = 1
UNIQUE_PATTERN(132): Lambda(132) = 1
UNIQUE_PATTERN(133): Lambda(133) = 1
UNIQUE_PATTERN(134): Lambda(134) = 1
UNIQUE_PATTERN(135): Lambda(135) = 1
UNIQUE_PATTERN(136): Lambda(136) = 1
UNIQUE_PATTERN(137): Lambda(137) = 1
UNIQUE_PATTERN(138): Lambda(138) = 1
UNIQUE_PATTERN(139): Lambda(139) = 1
UNIQUE_PATTERN(140): Lambda(140) = 1
UNIQUE_PATTERN(141): Lambda(141) = 1
UNIQUE_PATTERN(142): Lambda(142) = 1
UNIQUE_PATTERN(143): Lambda(143) = 1
UNIQUE_PATTERN(144): Lambda(144) = 1
UNIQUE_PATTERN(145): Lambda(145) = 1
UNIQUE_PATTERN(146): Lambda(146) = 1
UNIQUE_PATTERN(147): Lambda(147) = 1
UNIQUE_PATTERN(148): Lambda(148) = 1
UNIQUE_PATTERN(149): Lambda(149) = 1
UNIQUE_PATTERN(150): Lambda(150) = 1
UNIQUE_PATTERN(151): Lambda(151) = 1
UNIQUE_PATTERN(152): Lambda(152) = 1
UNIQUE_PATTERN(153): Lambda(153) = 1
UNIQUE_PATTERN(154): Lambda(154) = 1
UNIQUE_PATTERN(155): Lambda(155) = 1
UNIQUE_PATTERN(156): Lambda(156) = 1
UNIQUE_PATTERN(157): Lambda(157) = 1
UNIQUE_PATTERN(158): Lambda(158) = 1
UNIQUE_PATTERN(159): Lambda(159) = 1
UNIQUE_PATTERN(160): Lambda(160) = 1
UNIQUE_PATTERN(161): Lambda(161) = 1
UNIQUE_PATTERN(162): Lambda(162) = 1
UNIQUE_PATTERN(163): Lambda(163) = 1
UNIQUE_PATTERN(164): Lambda(164) = 1
UNIQUE_PATTERN(165): Lambda(165) = 1
UNIQUE_PATTERN(166): Lambda(166) = 1
UNIQUE_PATTERN(167): Lambda(167) = 1
UNIQUE_PATTERN(168): Lambda(168) = 1
UNIQUE_PATTERN(169): Lambda(169) = 1
UNIQUE_PATTERN(170): Lambda(170) = 1
UNIQUE_PATTERN(171): Lambda(171) = 1
UNIQUE_PATTERN(172): Lambda(172) = 1
UNIQUE_PATTERN(173): Lambda(173) = 1
UNIQUE_PATTERN(174): Lambda(174) = 1
UNIQUE_PATTERN(175): Lambda(175) = 1
UNIQUE_PATTERN(176): Lambda(176) = 1
UNIQUE_PATTERN(177): Lambda(177) = 1
UNIQUE_PATTERN(178): Lambda(178) = 1
UNIQUE_PATTERN(179): Lambda(179) = 1
UNIQUE_PATTERN(180): Lambda(180) = 1
UNIQUE_PATTERN(181): Lambda(181) = 1
UNIQUE_PATTERN(182): Lambda(182) = 1
UNIQUE_PATTERN(183): Lambda(183) = 1
UNIQUE_PATTERN(184): Lambda(184) = 1
UNIQUE_PATTERN(185): Lambda(185) = 1
UNIQUE_PATTERN(186): Lambda(186) = 1
UNIQUE_PATTERN(187): Lambda(187) = 1
UNIQUE_PATTERN(188): Lambda(188) = 1
UNIQUE_PATTERN(189): Lambda(189) = 1
UNIQUE_PATTERN(190): Lambda(190) = 1
UNIQUE_PATTERN(191): Lambda(191) = 1
UNIQUE_PATTERN(192): Lambda(192) = 1
UNIQUE_PATTERN(193): Lambda(193) + Lambda(202) = 1
UNIQUE_PATTERN(194): Lambda(194) + Lambda(202) = 1
UNIQUE_PATTERN(195): Lambda(195) + Lambda(202) = 1
UNIQUE_PATTERN(196): Lambda(196) + Lambda(202) = 1
UNIQUE_PATTERN(197): Lambda(197) + Lambda(202) = 1
UNIQUE_PATTERN(198): Lambda(198) + Lambda(202) = 1
UNIQUE_PATTERN(199): Lambda(199) + Lambda(202) = 1
UNIQUE_PATTERN(200): Lambda(200) + Lambda(202) = 1
UNIQUE_PATTERN(201): Lambda(201) + Lambda(202) = 1
End