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
|
* This file was automatically generated by Zimpl
* set I := { 1..5 };
* var x[<i> in I] binary startval i mod 2;
* var y[<i> in I] integer <= 2 * i priority i * 10 startval istart;
* var z[<i> in I] <= 4 * i;
* var w[<i> in I] integer >= 1 <= if i mod 2 == 1 then 1 else 2 end;
* minimize cost: sum <i> in I : -(x[i] + y[i]);
* subto c1: forall <i> in I: x[i] <= 1;
* subto c2: y[1] + y[2] == 6;
* subto c3: sum <i> in I: x[i] <= 3;
* subto c4: sum <i> in I: y[i] == 15;
* subto c5: forall <i> in I: y[i] >= z[i];
* subto c6: forall <i> in I with i < 3: x[i] <= z[i];
* subto c7: forall <i> in I with i >= 3: 1 <= x[i] + y[i] <= 100;
* subto c8: forall <i> in I with i mod 2 == 1: -3 * w[i] == -3;
* subto c9: w[2] >= 2;
* subto c10: w[4] <= 2;
NAME presol.z
ROWS
N OBJECTIV
L c1
L c2
L c3
L c4
L c5
E c6
L c7
E c8
G c9
G c10
G c11
G c12
G c13
L c14
L c15
E c16
E c17
E c18
E c19
E c20
E c21
G c22
L c23
COLUMNS
MARK0000 'MARKER' 'INTORG'
x#1 OBJECTIV -1
x#1 c14 1
x#1 c7 1
x#1 c1 1
x#2 OBJECTIV -1
x#2 c15 1
x#2 c7 1
x#2 c2 1
x#3 OBJECTIV -1
x#3 c16 1
x#3 c7 1
x#3 c3 1
x#4 OBJECTIV -1
x#4 c17 1
x#4 c7 1
x#4 c4 1
x#5 OBJECTIV -1
x#5 c18 1
x#5 c7 1
x#5 c5 1
y#1 OBJECTIV -1
y#1 c9 1
y#1 c8 1
y#1 c6 1
y#2 OBJECTIV -1
y#2 c10 1
y#2 c8 1
y#2 c6 1
y#3 OBJECTIV -1
y#3 c16 1
y#3 c11 1
y#3 c8 1
y#4 OBJECTIV -1
y#4 c17 1
y#4 c12 1
y#4 c8 1
y#5 OBJECTIV -1
y#5 c18 1
y#5 c13 1
y#5 c8 1
w#1 c19 -3
w#2 c22 1
w#3 c20 -3
w#4 c23 1
w#5 c21 -3
MARK0001 'MARKER' 'INTEND'
z#1 c14 -1
z#1 c9 -1
z#2 c15 -1
z#2 c10 -1
z#3 c11 -1
z#4 c12 -1
z#5 c13 -1
RHS
RHS c1 1
RHS c2 1
RHS c3 1
RHS c4 1
RHS c5 1
RHS c6 6
RHS c7 3
RHS c8 15
RHS c16 1
RHS c17 1
RHS c18 1
RHS c19 -3
RHS c20 -3
RHS c21 -3
RHS c22 2
RHS c23 2
RANGES
RNG c16 99
RNG c17 99
RNG c18 99
BOUNDS
LO BOUND x#1 0
UP BOUND x#1 1
LO BOUND x#2 0
UP BOUND x#2 1
LO BOUND x#3 0
UP BOUND x#3 1
LO BOUND x#4 0
UP BOUND x#4 1
LO BOUND x#5 0
UP BOUND x#5 1
LO BOUND y#1 0
UP BOUND y#1 2
LO BOUND y#2 0
UP BOUND y#2 4
LO BOUND y#3 0
UP BOUND y#3 6
LO BOUND y#4 0
UP BOUND y#4 8
LO BOUND y#5 0
UP BOUND y#5 10
LO BOUND z#1 0
UP BOUND z#1 4
LO BOUND z#2 0
UP BOUND z#2 8
LO BOUND z#3 0
UP BOUND z#3 12
LO BOUND z#4 0
UP BOUND z#4 16
LO BOUND z#5 0
UP BOUND z#5 20
FX BOUND w#1 1
LO BOUND w#2 1
UP BOUND w#2 2
FX BOUND w#3 1
LO BOUND w#4 1
UP BOUND w#4 2
FX BOUND w#5 1
ENDATA
|
