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