source: src/main/resources/genius/templates/anac/y2014/50issueswithRV/profile-2.xml@ 209

Last change on this file since 209 was 1, checked in by Wouter Pasman, 6 years ago

Initial import : Genius 9.0.0

File size: 19.9 KB
Line 
1
2<!-- profile 2 -->
3<?xml version="1.0" encoding="utf-8" ?>
4<utility_space type="nonlinear">
5<objective description="" etype="objective" index="0" name="root" type="objective">
6 <issue etype="integer" index="1" name="c1-i40" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
7 <issue etype="integer" index="2" name="c1-i39" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
8 <issue etype="integer" index="3" name="c1-i38" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
9 <issue etype="integer" index="4" name="c1-i37" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
10 <issue etype="integer" index="5" name="c1-i36" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
11 <issue etype="integer" index="6" name="c1-i35" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
12 <issue etype="integer" index="7" name="c1-i34" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
13 <issue etype="integer" index="8" name="c1-i33" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
14 <issue etype="integer" index="9" name="c1-i32" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
15 <issue etype="integer" index="10" name="c1-i31" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
16 <issue etype="integer" index="11" name="c1-i30" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
17 <issue etype="integer" index="12" name="c1-i29" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
18 <issue etype="integer" index="13" name="c1-i28" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
19 <issue etype="integer" index="14" name="c1-i27" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
20 <issue etype="integer" index="15" name="c1-i26" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
21 <issue etype="integer" index="16" name="c1-i25" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
22 <issue etype="integer" index="17" name="c1-i24" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
23 <issue etype="integer" index="18" name="c1-i23" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
24 <issue etype="integer" index="19" name="c1-i22" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
25 <issue etype="integer" index="20" name="c1-i21" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
26 <issue etype="integer" index="21" name="c1-i20" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
27 <issue etype="integer" index="22" name="c1-i19" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
28 <issue etype="integer" index="23" name="c1-i18" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
29 <issue etype="integer" index="24" name="c1-i17" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
30 <issue etype="integer" index="25" name="c1-i16" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
31 <issue etype="integer" index="26" name="c1-i15" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
32 <issue etype="integer" index="27" name="c1-i14" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
33 <issue etype="integer" index="28" name="c1-i13" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
34 <issue etype="integer" index="29" name="c1-i12" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
35 <issue etype="integer" index="30" name="c1-i11" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
36 <issue etype="integer" index="31" name="c1-i10" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
37 <issue etype="integer" index="32" name="c1-i9" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
38 <issue etype="integer" index="33" name="c1-i8" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
39 <issue etype="integer" index="34" name="c1-i7" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
40 <issue etype="integer" index="35" name="c1-i6" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
41 <issue etype="integer" index="36" name="c1-i5" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
42 <issue etype="integer" index="37" name="c1-i4" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
43 <issue etype="integer" index="38" name="c1-i3" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
44 <issue etype="integer" index="39" name="c1-i2" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
45 <issue etype="integer" index="40" name="c1-i1" type="integer" vtype="integer" lowerbound="0" upperbound="9"/>
46
47 <utility maxutility="3195">
48 <ufun type="PlainUfun" weight="1" aggregation="sum">
49 <hyperRectangle utility="69">
50 <INCLUDES index="16" min="0" max="6"/>
51 <INCLUDES index="35" min="0" max="5"/>
52 <INCLUDES index="38" min="2" max="7"/>
53 </hyperRectangle>
54 <hyperRectangle utility="86">
55 <INCLUDES index="26" min="0" max="8"/>
56 <INCLUDES index="34" min="4" max="9"/>
57 <INCLUDES index="38" min="0" max="8"/>
58 </hyperRectangle>
59 <hyperRectangle utility="49">
60 <INCLUDES index="4" min="4" max="9"/>
61 <INCLUDES index="9" min="0" max="5"/>
62 <INCLUDES index="34" min="5" max="9"/>
63 </hyperRectangle>
64 <hyperRectangle utility="63">
65 <INCLUDES index="7" min="0" max="6"/>
66 <INCLUDES index="33" min="0" max="7"/>
67 </hyperRectangle>
68 <hyperRectangle utility="67">
69 <INCLUDES index="15" min="1" max="9"/>
70 </hyperRectangle>
71 <hyperRectangle utility="37">
72 <INCLUDES index="26" min="6" max="9"/>
73 <INCLUDES index="33" min="7" max="9"/>
74 <INCLUDES index="34" min="0" max="5"/>
75 <INCLUDES index="38" min="4" max="9"/>
76 </hyperRectangle>
77 <hyperRectangle utility="22">
78 <INCLUDES index="23" min="0" max="5"/>
79 <INCLUDES index="30" min="5" max="9"/>
80 <INCLUDES index="31" min="0" max="5"/>
81 </hyperRectangle>
82 <hyperRectangle utility="95">
83 <INCLUDES index="31" min="0" max="6"/>
84 <INCLUDES index="33" min="2" max="8"/>
85 <INCLUDES index="35" min="0" max="6"/>
86 <INCLUDES index="36" min="0" max="8"/>
87 </hyperRectangle>
88 <hyperRectangle utility="19">
89 <INCLUDES index="17" min="9" max="9"/>
90 <INCLUDES index="36" min="0" max="7"/>
91 <INCLUDES index="39" min="0" max="8"/>
92 </hyperRectangle>
93 <hyperRectangle utility="62">
94 <INCLUDES index="35" min="5" max="9"/>
95 </hyperRectangle>
96 <hyperRectangle utility="30">
97 <INCLUDES index="3" min="6" max="9"/>
98 <INCLUDES index="4" min="9" max="9"/>
99 <INCLUDES index="6" min="5" max="9"/>
100 <INCLUDES index="34" min="5" max="9"/>
101 </hyperRectangle>
102 <hyperRectangle utility="12">
103 <INCLUDES index="2" min="6" max="9"/>
104 <INCLUDES index="7" min="9" max="9"/>
105 <INCLUDES index="11" min="0" max="7"/>
106 <INCLUDES index="34" min="7" max="9"/>
107 </hyperRectangle>
108 <hyperRectangle utility="48">
109 <INCLUDES index="28" min="0" max="8"/>
110 <INCLUDES index="33" min="6" max="9"/>
111 <INCLUDES index="34" min="1" max="8"/>
112 <INCLUDES index="40" min="3" max="8"/>
113 </hyperRectangle>
114 <hyperRectangle utility="29">
115 <INCLUDES index="34" min="7" max="9"/>
116 <INCLUDES index="36" min="0" max="8"/>
117 <INCLUDES index="38" min="0" max="7"/>
118 </hyperRectangle>
119 <hyperRectangle utility="88">
120 <INCLUDES index="17" min="1" max="6"/>
121 <INCLUDES index="34" min="6" max="9"/>
122 <INCLUDES index="38" min="0" max="8"/>
123 <INCLUDES index="40" min="0" max="5"/>
124 </hyperRectangle>
125 <hyperRectangle utility="65">
126 <INCLUDES index="11" min="1" max="9"/>
127 <INCLUDES index="15" min="0" max="7"/>
128 <INCLUDES index="19" min="5" max="9"/>
129 <INCLUDES index="38" min="6" max="9"/>
130 </hyperRectangle>
131 <hyperRectangle utility="61">
132 <INCLUDES index="13" min="6" max="9"/>
133 <INCLUDES index="22" min="6" max="9"/>
134 <INCLUDES index="39" min="0" max="8"/>
135 </hyperRectangle>
136 <hyperRectangle utility="85">
137 <INCLUDES index="7" min="0" max="7"/>
138 <INCLUDES index="35" min="1" max="6"/>
139 </hyperRectangle>
140 <hyperRectangle utility="38">
141 <INCLUDES index="3" min="0" max="6"/>
142 <INCLUDES index="34" min="6" max="9"/>
143 </hyperRectangle>
144 <hyperRectangle utility="94">
145 <INCLUDES index="12" min="3" max="9"/>
146 <INCLUDES index="17" min="0" max="7"/>
147 <INCLUDES index="23" min="0" max="5"/>
148 <INCLUDES index="40" min="3" max="9"/>
149 </hyperRectangle>
150 <hyperRectangle utility="97">
151 <INCLUDES index="3" min="0" max="5"/>
152 <INCLUDES index="34" min="0" max="6"/>
153 <INCLUDES index="37" min="2" max="8"/>
154 </hyperRectangle>
155 <hyperRectangle utility="12">
156 <INCLUDES index="20" min="2" max="8"/>
157 <INCLUDES index="34" min="1" max="7"/>
158 <INCLUDES index="37" min="7" max="9"/>
159 </hyperRectangle>
160 <hyperRectangle utility="47">
161 <INCLUDES index="23" min="6" max="9"/>
162 <INCLUDES index="32" min="1" max="7"/>
163 <INCLUDES index="36" min="0" max="8"/>
164 <INCLUDES index="39" min="0" max="7"/>
165 </hyperRectangle>
166 <hyperRectangle utility="60">
167 <INCLUDES index="36" min="5" max="9"/>
168 </hyperRectangle>
169 <hyperRectangle utility="96">
170 <INCLUDES index="24" min="0" max="5"/>
171 <INCLUDES index="33" min="0" max="8"/>
172 </hyperRectangle>
173 <hyperRectangle utility="94">
174 <INCLUDES index="11" min="6" max="9"/>
175 <INCLUDES index="25" min="7" max="9"/>
176 </hyperRectangle>
177 <hyperRectangle utility="88">
178 <INCLUDES index="16" min="0" max="5"/>
179 <INCLUDES index="29" min="4" max="9"/>
180 </hyperRectangle>
181 <hyperRectangle utility="32">
182 <INCLUDES index="33" min="0" max="7"/>
183 <INCLUDES index="34" min="0" max="6"/>
184 <INCLUDES index="40" min="0" max="6"/>
185 </hyperRectangle>
186 <hyperRectangle utility="33">
187 <INCLUDES index="2" min="1" max="9"/>
188 <INCLUDES index="13" min="8" max="9"/>
189 <INCLUDES index="40" min="0" max="7"/>
190 </hyperRectangle>
191 <hyperRectangle utility="3">
192 <INCLUDES index="23" min="0" max="6"/>
193 </hyperRectangle>
194 <hyperRectangle utility="64">
195 <INCLUDES index="5" min="7" max="9"/>
196 </hyperRectangle>
197 <hyperRectangle utility="50">
198 <INCLUDES index="14" min="1" max="7"/>
199 <INCLUDES index="34" min="0" max="5"/>
200 <INCLUDES index="38" min="2" max="8"/>
201 </hyperRectangle>
202 <hyperRectangle utility="67">
203 <INCLUDES index="2" min="3" max="8"/>
204 </hyperRectangle>
205 <hyperRectangle utility="75">
206 <INCLUDES index="33" min="0" max="5"/>
207 </hyperRectangle>
208 <hyperRectangle utility="50">
209 <INCLUDES index="24" min="0" max="8"/>
210 </hyperRectangle>
211 <hyperRectangle utility="68">
212 <INCLUDES index="17" min="0" max="7"/>
213 <INCLUDES index="21" min="8" max="9"/>
214 <INCLUDES index="37" min="0" max="6"/>
215 </hyperRectangle>
216 <hyperRectangle utility="40">
217 <INCLUDES index="8" min="0" max="6"/>
218 <INCLUDES index="19" min="0" max="5"/>
219 <INCLUDES index="22" min="0" max="8"/>
220 </hyperRectangle>
221 <hyperRectangle utility="40">
222 <INCLUDES index="18" min="0" max="5"/>
223 <INCLUDES index="19" min="0" max="8"/>
224 <INCLUDES index="37" min="0" max="8"/>
225 </hyperRectangle>
226 <hyperRectangle utility="88">
227 <INCLUDES index="14" min="7" max="9"/>
228 <INCLUDES index="29" min="5" max="9"/>
229 </hyperRectangle>
230 <hyperRectangle utility="76">
231 <INCLUDES index="9" min="1" max="8"/>
232 <INCLUDES index="37" min="4" max="9"/>
233 </hyperRectangle>
234 <hyperRectangle utility="42">
235 <INCLUDES index="28" min="9" max="9"/>
236 <INCLUDES index="34" min="0" max="7"/>
237 <INCLUDES index="37" min="9" max="9"/>
238 <INCLUDES index="38" min="6" max="9"/>
239 </hyperRectangle>
240 <hyperRectangle utility="16">
241 <INCLUDES index="7" min="0" max="6"/>
242 <INCLUDES index="11" min="0" max="7"/>
243 <INCLUDES index="35" min="6" max="9"/>
244 <INCLUDES index="38" min="0" max="6"/>
245 </hyperRectangle>
246 <hyperRectangle utility="11">
247 <INCLUDES index="33" min="0" max="5"/>
248 <INCLUDES index="35" min="0" max="7"/>
249 <INCLUDES index="38" min="0" max="5"/>
250 <INCLUDES index="40" min="1" max="7"/>
251 </hyperRectangle>
252 <hyperRectangle utility="43">
253 <INCLUDES index="2" min="0" max="8"/>
254 <INCLUDES index="12" min="6" max="9"/>
255 <INCLUDES index="21" min="9" max="9"/>
256 </hyperRectangle>
257 <hyperRectangle utility="44">
258 <INCLUDES index="15" min="0" max="7"/>
259 <INCLUDES index="24" min="0" max="5"/>
260 <INCLUDES index="30" min="1" max="6"/>
261 <INCLUDES index="34" min="0" max="6"/>
262 </hyperRectangle>
263 <hyperRectangle utility="92">
264 <INCLUDES index="8" min="8" max="9"/>
265 </hyperRectangle>
266 <hyperRectangle utility="36">
267 <INCLUDES index="17" min="3" max="8"/>
268 </hyperRectangle>
269 <hyperRectangle utility="62">
270 <INCLUDES index="20" min="8" max="9"/>
271 <INCLUDES index="37" min="0" max="7"/>
272 </hyperRectangle>
273 <hyperRectangle utility="63">
274 <INCLUDES index="15" min="3" max="9"/>
275 </hyperRectangle>
276 <hyperRectangle utility="30">
277 <INCLUDES index="24" min="1" max="8"/>
278 </hyperRectangle>
279 <hyperRectangle utility="10">
280 <INCLUDES index="5" min="0" max="8"/>
281 <INCLUDES index="20" min="0" max="5"/>
282 <INCLUDES index="34" min="0" max="5"/>
283 </hyperRectangle>
284 <hyperRectangle utility="74">
285 <INCLUDES index="14" min="0" max="6"/>
286 <INCLUDES index="27" min="5" max="9"/>
287 <INCLUDES index="40" min="9" max="9"/>
288 </hyperRectangle>
289 <hyperRectangle utility="4">
290 <INCLUDES index="24" min="8" max="9"/>
291 <INCLUDES index="40" min="0" max="8"/>
292 </hyperRectangle>
293 <hyperRectangle utility="55">
294 <INCLUDES index="30" min="0" max="7"/>
295 <INCLUDES index="39" min="3" max="8"/>
296 <INCLUDES index="40" min="0" max="6"/>
297 </hyperRectangle>
298 <hyperRectangle utility="32">
299 <INCLUDES index="33" min="4" max="9"/>
300 <INCLUDES index="36" min="0" max="5"/>
301 </hyperRectangle>
302 <hyperRectangle utility="93">
303 <INCLUDES index="17" min="0" max="8"/>
304 <INCLUDES index="21" min="8" max="9"/>
305 <INCLUDES index="34" min="3" max="8"/>
306 </hyperRectangle>
307 <hyperRectangle utility="62">
308 <INCLUDES index="40" min="9" max="9"/>
309 </hyperRectangle>
310 <hyperRectangle utility="54">
311 <INCLUDES index="24" min="0" max="6"/>
312 </hyperRectangle>
313 <hyperRectangle utility="59">
314 <INCLUDES index="25" min="3" max="9"/>
315 <INCLUDES index="34" min="0" max="7"/>
316 <INCLUDES index="37" min="8" max="9"/>
317 <INCLUDES index="38" min="0" max="7"/>
318 </hyperRectangle>
319 <hyperRectangle utility="31">
320 <INCLUDES index="34" min="1" max="7"/>
321 <INCLUDES index="35" min="0" max="7"/>
322 </hyperRectangle>
323 <hyperRectangle utility="80">
324 <INCLUDES index="4" min="6" max="9"/>
325 <INCLUDES index="37" min="2" max="7"/>
326 </hyperRectangle>
327 <hyperRectangle utility="13">
328 <INCLUDES index="11" min="0" max="6"/>
329 <INCLUDES index="34" min="0" max="6"/>
330 <INCLUDES index="35" min="0" max="8"/>
331 </hyperRectangle>
332 <hyperRectangle utility="33">
333 <INCLUDES index="35" min="9" max="9"/>
334 <INCLUDES index="40" min="0" max="7"/>
335 </hyperRectangle>
336 <hyperRectangle utility="50">
337 <INCLUDES index="3" min="0" max="8"/>
338 <INCLUDES index="33" min="5" max="9"/>
339 </hyperRectangle>
340 <hyperRectangle utility="43">
341 <INCLUDES index="10" min="4" max="9"/>
342 <INCLUDES index="14" min="8" max="9"/>
343 <INCLUDES index="34" min="0" max="5"/>
344 </hyperRectangle>
345 <hyperRectangle utility="82">
346 <INCLUDES index="15" min="3" max="9"/>
347 </hyperRectangle>
348 <hyperRectangle utility="75">
349 <INCLUDES index="35" min="2" max="8"/>
350 </hyperRectangle>
351 <hyperRectangle utility="60">
352 <INCLUDES index="24" min="4" max="9"/>
353 <INCLUDES index="34" min="7" max="9"/>
354 <INCLUDES index="40" min="8" max="9"/>
355 </hyperRectangle>
356 <hyperRectangle utility="52">
357 <INCLUDES index="13" min="3" max="9"/>
358 <INCLUDES index="37" min="5" max="9"/>
359 <INCLUDES index="38" min="4" max="9"/>
360 </hyperRectangle>
361 <hyperRectangle utility="50">
362 <INCLUDES index="35" min="9" max="9"/>
363 <INCLUDES index="37" min="4" max="9"/>
364 </hyperRectangle>
365 <hyperRectangle utility="63">
366 <INCLUDES index="36" min="8" max="9"/>
367 </hyperRectangle>
368 <hyperRectangle utility="68">
369 <INCLUDES index="2" min="0" max="8"/>
370 <INCLUDES index="26" min="7" max="9"/>
371 <INCLUDES index="33" min="0" max="6"/>
372 <INCLUDES index="40" min="0" max="8"/>
373 </hyperRectangle>
374 <hyperRectangle utility="55">
375 <INCLUDES index="14" min="0" max="7"/>
376 <INCLUDES index="33" min="9" max="9"/>
377 <INCLUDES index="38" min="0" max="8"/>
378 <INCLUDES index="39" min="1" max="6"/>
379 </hyperRectangle>
380 <hyperRectangle utility="91">
381 <INCLUDES index="7" min="0" max="6"/>
382 <INCLUDES index="18" min="0" max="7"/>
383 <INCLUDES index="20" min="4" max="9"/>
384 <INCLUDES index="35" min="0" max="7"/>
385 </hyperRectangle>
386 <hyperRectangle utility="64">
387 <INCLUDES index="14" min="0" max="7"/>
388 </hyperRectangle>
389 <hyperRectangle utility="33">
390 <INCLUDES index="2" min="3" max="9"/>
391 <INCLUDES index="35" min="9" max="9"/>
392 <INCLUDES index="36" min="2" max="7"/>
393 </hyperRectangle>
394 <hyperRectangle utility="11">
395 <INCLUDES index="9" min="0" max="5"/>
396 <INCLUDES index="34" min="8" max="9"/>
397 </hyperRectangle>
398 <hyperRectangle utility="97">
399 <INCLUDES index="13" min="0" max="7"/>
400 <INCLUDES index="36" min="0" max="8"/>
401 </hyperRectangle>
402 <hyperRectangle utility="36">
403 <INCLUDES index="9" min="0" max="7"/>
404 </hyperRectangle>
405 <hyperRectangle utility="95">
406 <INCLUDES index="33" min="4" max="9"/>
407 </hyperRectangle>
408 </ufun>
409 </utility>
410</objective>
411 <reservation value="0.75" />
412</utility_space>
Note: See TracBrowser for help on using the repository browser.