lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / simulation / metros_4_e2_968_e4_801_top__timeout60_xml.xml @ 6f6af7b8
History | View | Annotate | Download (76 KB)
1 | b14ec4fb | bourbouh | <?xml version="1.0"?>
|
---|---|---|---|
2 | <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
||
3 | <Property name="top"> |
||
4 | 6f6af7b8 | hbourbou | <Date>2018-11-16 11:36</Date> |
5 | b14ec4fb | bourbouh | <Lustre2Horn unit="sec">0.00</Lustre2Horn> |
6 | <Parse unit="sec">0.00</Parse> |
||
7 | 6f6af7b8 | hbourbou | <Query unit="sec">16.71</Query> |
8 | b14ec4fb | bourbouh | <Answer>CEX</Answer> |
9 | <Counterexample>
|
||
10 | <Node name ="Sofar"> |
||
11 | <Stream name="Sofar" type="bool"> |
||
12 | <Value instant="0">1</Value> |
||
13 | <Value instant="1">1</Value> |
||
14 | <Value instant="2">1</Value> |
||
15 | <Value instant="3">1</Value> |
||
16 | <Value instant="4">1</Value> |
||
17 | <Value instant="5">1</Value> |
||
18 | <Value instant="6">1</Value> |
||
19 | <Value instant="7">1</Value> |
||
20 | <Value instant="8">1</Value> |
||
21 | <Value instant="9">1</Value> |
||
22 | <Value instant="10">1</Value> |
||
23 | <Value instant="11">1</Value> |
||
24 | <Value instant="12">1</Value> |
||
25 | <Value instant="13">1</Value> |
||
26 | <Value instant="14">1</Value> |
||
27 | <Value instant="15">1</Value> |
||
28 | <Value instant="16">1</Value> |
||
29 | <Value instant="17">1</Value> |
||
30 | <Value instant="18">1</Value> |
||
31 | <Value instant="19">1</Value> |
||
32 | <Value instant="20">1</Value> |
||
33 | <Value instant="21">1</Value> |
||
34 | <Value instant="22">1</Value> |
||
35 | <Value instant="23">1</Value> |
||
36 | <Value instant="24">1</Value> |
||
37 | <Value instant="25">1</Value> |
||
38 | <Value instant="26">1</Value> |
||
39 | <Value instant="27">1</Value> |
||
40 | <Value instant="28">1</Value> |
||
41 | <Value instant="29">1</Value> |
||
42 | <Value instant="30">1</Value> |
||
43 | <Value instant="31">1</Value> |
||
44 | </Stream>
|
||
45 | <Stream name="X" type="bool"> |
||
46 | <Value instant="0">1</Value> |
||
47 | <Value instant="1">1</Value> |
||
48 | <Value instant="2">1</Value> |
||
49 | <Value instant="3">1</Value> |
||
50 | <Value instant="4">1</Value> |
||
51 | <Value instant="5">1</Value> |
||
52 | <Value instant="6">1</Value> |
||
53 | <Value instant="7">1</Value> |
||
54 | <Value instant="8">1</Value> |
||
55 | <Value instant="9">1</Value> |
||
56 | <Value instant="10">1</Value> |
||
57 | <Value instant="11">1</Value> |
||
58 | <Value instant="12">1</Value> |
||
59 | <Value instant="13">1</Value> |
||
60 | <Value instant="14">1</Value> |
||
61 | <Value instant="15">1</Value> |
||
62 | <Value instant="16">1</Value> |
||
63 | <Value instant="17">1</Value> |
||
64 | <Value instant="18">1</Value> |
||
65 | <Value instant="19">1</Value> |
||
66 | <Value instant="20">1</Value> |
||
67 | <Value instant="21">1</Value> |
||
68 | <Value instant="22">1</Value> |
||
69 | <Value instant="23">1</Value> |
||
70 | <Value instant="24">1</Value> |
||
71 | <Value instant="25">1</Value> |
||
72 | <Value instant="26">1</Value> |
||
73 | <Value instant="27">1</Value> |
||
74 | <Value instant="28">1</Value> |
||
75 | <Value instant="29">1</Value> |
||
76 | <Value instant="30">1</Value> |
||
77 | <Value instant="31">1</Value> |
||
78 | </Stream>
|
||
79 | </Node>
|
||
80 | <Node name ="hypothese"> |
||
81 | <Stream name="c" type="int"> |
||
82 | <Value instant="0">0</Value> |
||
83 | <Value instant="1">0</Value> |
||
84 | <Value instant="2">0</Value> |
||
85 | <Value instant="3">0</Value> |
||
86 | <Value instant="4">0</Value> |
||
87 | <Value instant="5">0</Value> |
||
88 | <Value instant="6">0</Value> |
||
89 | <Value instant="7">0</Value> |
||
90 | <Value instant="8">0</Value> |
||
91 | <Value instant="9">0</Value> |
||
92 | <Value instant="10">0</Value> |
||
93 | <Value instant="11">0</Value> |
||
94 | <Value instant="12">0</Value> |
||
95 | <Value instant="13">0</Value> |
||
96 | <Value instant="14">0</Value> |
||
97 | <Value instant="15">0</Value> |
||
98 | <Value instant="16">0</Value> |
||
99 | <Value instant="17">0</Value> |
||
100 | <Value instant="18">0</Value> |
||
101 | <Value instant="19">0</Value> |
||
102 | <Value instant="20">0</Value> |
||
103 | <Value instant="21">0</Value> |
||
104 | <Value instant="22">0</Value> |
||
105 | <Value instant="23">0</Value> |
||
106 | <Value instant="24">0</Value> |
||
107 | <Value instant="25">0</Value> |
||
108 | <Value instant="26">0</Value> |
||
109 | <Value instant="27">0</Value> |
||
110 | <Value instant="28">0</Value> |
||
111 | <Value instant="29">0</Value> |
||
112 | <Value instant="30">0</Value> |
||
113 | <Value instant="31">0</Value> |
||
114 | <Value instant="32">0</Value> |
||
115 | <Value instant="33">0</Value> |
||
116 | <Value instant="34">0</Value> |
||
117 | <Value instant="35">0</Value> |
||
118 | <Value instant="36">0</Value> |
||
119 | <Value instant="37">0</Value> |
||
120 | <Value instant="38">0</Value> |
||
121 | <Value instant="39">0</Value> |
||
122 | <Value instant="40">0</Value> |
||
123 | <Value instant="41">0</Value> |
||
124 | <Value instant="42">0</Value> |
||
125 | <Value instant="43">0</Value> |
||
126 | <Value instant="44">0</Value> |
||
127 | <Value instant="45">0</Value> |
||
128 | <Value instant="46">0</Value> |
||
129 | <Value instant="47">0</Value> |
||
130 | <Value instant="48">0</Value> |
||
131 | <Value instant="49">0</Value> |
||
132 | <Value instant="50">0</Value> |
||
133 | <Value instant="51">0</Value> |
||
134 | <Value instant="52">0</Value> |
||
135 | <Value instant="53">0</Value> |
||
136 | <Value instant="54">0</Value> |
||
137 | <Value instant="55">0</Value> |
||
138 | <Value instant="56">0</Value> |
||
139 | <Value instant="57">0</Value> |
||
140 | <Value instant="58">0</Value> |
||
141 | <Value instant="59">0</Value> |
||
142 | <Value instant="60">0</Value> |
||
143 | <Value instant="61">0</Value> |
||
144 | <Value instant="62">0</Value> |
||
145 | <Value instant="63">0</Value> |
||
146 | </Stream>
|
||
147 | <Stream name="B" type="bool"> |
||
148 | 6f6af7b8 | hbourbou | <Value instant="0">0</Value> |
149 | <Value instant="1">0</Value> |
||
150 | b14ec4fb | bourbouh | <Value instant="2">1</Value> |
151 | 6f6af7b8 | hbourbou | <Value instant="3">0</Value> |
152 | b14ec4fb | bourbouh | <Value instant="4">1</Value> |
153 | 6f6af7b8 | hbourbou | <Value instant="5">0</Value> |
154 | b14ec4fb | bourbouh | <Value instant="6">1</Value> |
155 | 6f6af7b8 | hbourbou | <Value instant="7">0</Value> |
156 | b14ec4fb | bourbouh | <Value instant="8">1</Value> |
157 | 6f6af7b8 | hbourbou | <Value instant="9">0</Value> |
158 | b14ec4fb | bourbouh | <Value instant="10">1</Value> |
159 | 6f6af7b8 | hbourbou | <Value instant="11">0</Value> |
160 | b14ec4fb | bourbouh | <Value instant="12">1</Value> |
161 | 6f6af7b8 | hbourbou | <Value instant="13">0</Value> |
162 | b14ec4fb | bourbouh | <Value instant="14">1</Value> |
163 | 6f6af7b8 | hbourbou | <Value instant="15">0</Value> |
164 | b14ec4fb | bourbouh | <Value instant="16">1</Value> |
165 | 6f6af7b8 | hbourbou | <Value instant="17">0</Value> |
166 | b14ec4fb | bourbouh | <Value instant="18">1</Value> |
167 | 6f6af7b8 | hbourbou | <Value instant="19">0</Value> |
168 | b14ec4fb | bourbouh | <Value instant="20">1</Value> |
169 | 6f6af7b8 | hbourbou | <Value instant="21">0</Value> |
170 | b14ec4fb | bourbouh | <Value instant="22">1</Value> |
171 | 6f6af7b8 | hbourbou | <Value instant="23">0</Value> |
172 | b14ec4fb | bourbouh | <Value instant="24">1</Value> |
173 | 6f6af7b8 | hbourbou | <Value instant="25">0</Value> |
174 | b14ec4fb | bourbouh | <Value instant="26">1</Value> |
175 | 6f6af7b8 | hbourbou | <Value instant="27">0</Value> |
176 | b14ec4fb | bourbouh | <Value instant="28">1</Value> |
177 | 6f6af7b8 | hbourbou | <Value instant="29">0</Value> |
178 | b14ec4fb | bourbouh | <Value instant="30">1</Value> |
179 | 6f6af7b8 | hbourbou | <Value instant="31">0</Value> |
180 | b14ec4fb | bourbouh | <Value instant="32">1</Value> |
181 | 6f6af7b8 | hbourbou | <Value instant="33">0</Value> |
182 | b14ec4fb | bourbouh | <Value instant="34">1</Value> |
183 | 6f6af7b8 | hbourbou | <Value instant="35">0</Value> |
184 | b14ec4fb | bourbouh | <Value instant="36">1</Value> |
185 | 6f6af7b8 | hbourbou | <Value instant="37">0</Value> |
186 | b14ec4fb | bourbouh | <Value instant="38">1</Value> |
187 | 6f6af7b8 | hbourbou | <Value instant="39">0</Value> |
188 | b14ec4fb | bourbouh | <Value instant="40">1</Value> |
189 | 6f6af7b8 | hbourbou | <Value instant="41">0</Value> |
190 | b14ec4fb | bourbouh | <Value instant="42">1</Value> |
191 | 6f6af7b8 | hbourbou | <Value instant="43">0</Value> |
192 | b14ec4fb | bourbouh | <Value instant="44">1</Value> |
193 | 6f6af7b8 | hbourbou | <Value instant="45">0</Value> |
194 | b14ec4fb | bourbouh | <Value instant="46">1</Value> |
195 | 6f6af7b8 | hbourbou | <Value instant="47">0</Value> |
196 | b14ec4fb | bourbouh | <Value instant="48">1</Value> |
197 | 6f6af7b8 | hbourbou | <Value instant="49">0</Value> |
198 | b14ec4fb | bourbouh | <Value instant="50">1</Value> |
199 | 6f6af7b8 | hbourbou | <Value instant="51">0</Value> |
200 | b14ec4fb | bourbouh | <Value instant="52">1</Value> |
201 | 6f6af7b8 | hbourbou | <Value instant="53">0</Value> |
202 | b14ec4fb | bourbouh | <Value instant="54">1</Value> |
203 | 6f6af7b8 | hbourbou | <Value instant="55">0</Value> |
204 | b14ec4fb | bourbouh | <Value instant="56">1</Value> |
205 | 6f6af7b8 | hbourbou | <Value instant="57">0</Value> |
206 | b14ec4fb | bourbouh | <Value instant="58">1</Value> |
207 | 6f6af7b8 | hbourbou | <Value instant="59">0</Value> |
208 | b14ec4fb | bourbouh | <Value instant="60">1</Value> |
209 | 6f6af7b8 | hbourbou | <Value instant="61">0</Value> |
210 | b14ec4fb | bourbouh | <Value instant="62">1</Value> |
211 | 6f6af7b8 | hbourbou | <Value instant="63">0</Value> |
212 | b14ec4fb | bourbouh | </Stream>
|
213 | <Stream name="ok" type="bool"> |
||
214 | <Value instant="0">1</Value> |
||
215 | <Value instant="1">1</Value> |
||
216 | <Value instant="2">1</Value> |
||
217 | <Value instant="3">1</Value> |
||
218 | <Value instant="4">1</Value> |
||
219 | <Value instant="5">1</Value> |
||
220 | <Value instant="6">1</Value> |
||
221 | <Value instant="7">1</Value> |
||
222 | <Value instant="8">1</Value> |
||
223 | <Value instant="9">1</Value> |
||
224 | <Value instant="10">1</Value> |
||
225 | <Value instant="11">1</Value> |
||
226 | <Value instant="12">1</Value> |
||
227 | <Value instant="13">1</Value> |
||
228 | <Value instant="14">1</Value> |
||
229 | <Value instant="15">1</Value> |
||
230 | <Value instant="16">1</Value> |
||
231 | <Value instant="17">1</Value> |
||
232 | <Value instant="18">1</Value> |
||
233 | <Value instant="19">1</Value> |
||
234 | <Value instant="20">1</Value> |
||
235 | <Value instant="21">1</Value> |
||
236 | <Value instant="22">1</Value> |
||
237 | <Value instant="23">1</Value> |
||
238 | <Value instant="24">1</Value> |
||
239 | <Value instant="25">1</Value> |
||
240 | <Value instant="26">1</Value> |
||
241 | <Value instant="27">1</Value> |
||
242 | <Value instant="28">1</Value> |
||
243 | <Value instant="29">1</Value> |
||
244 | <Value instant="30">1</Value> |
||
245 | <Value instant="31">1</Value> |
||
246 | <Value instant="32">1</Value> |
||
247 | <Value instant="33">1</Value> |
||
248 | <Value instant="34">1</Value> |
||
249 | <Value instant="35">1</Value> |
||
250 | <Value instant="36">1</Value> |
||
251 | <Value instant="37">1</Value> |
||
252 | <Value instant="38">1</Value> |
||
253 | <Value instant="39">1</Value> |
||
254 | <Value instant="40">1</Value> |
||
255 | <Value instant="41">1</Value> |
||
256 | <Value instant="42">1</Value> |
||
257 | <Value instant="43">1</Value> |
||
258 | <Value instant="44">1</Value> |
||
259 | <Value instant="45">1</Value> |
||
260 | <Value instant="46">1</Value> |
||
261 | <Value instant="47">1</Value> |
||
262 | <Value instant="48">1</Value> |
||
263 | <Value instant="49">1</Value> |
||
264 | <Value instant="50">1</Value> |
||
265 | <Value instant="51">1</Value> |
||
266 | <Value instant="52">1</Value> |
||
267 | <Value instant="53">1</Value> |
||
268 | <Value instant="54">1</Value> |
||
269 | <Value instant="55">1</Value> |
||
270 | <Value instant="56">1</Value> |
||
271 | <Value instant="57">1</Value> |
||
272 | <Value instant="58">1</Value> |
||
273 | <Value instant="59">1</Value> |
||
274 | <Value instant="60">1</Value> |
||
275 | <Value instant="61">1</Value> |
||
276 | <Value instant="62">1</Value> |
||
277 | <Value instant="63">1</Value> |
||
278 | </Stream>
|
||
279 | <Stream name="retard" type="bool"> |
||
280 | 6f6af7b8 | hbourbou | <Value instant="0">0</Value> |
281 | <Value instant="1">0</Value> |
||
282 | <Value instant="2">0</Value> |
||
283 | <Value instant="3">0</Value> |
||
284 | <Value instant="4">0</Value> |
||
285 | <Value instant="5">0</Value> |
||
286 | <Value instant="6">0</Value> |
||
287 | <Value instant="7">0</Value> |
||
288 | <Value instant="8">0</Value> |
||
289 | <Value instant="9">0</Value> |
||
290 | <Value instant="10">0</Value> |
||
291 | <Value instant="11">0</Value> |
||
292 | <Value instant="12">0</Value> |
||
293 | <Value instant="13">0</Value> |
||
294 | <Value instant="14">0</Value> |
||
295 | <Value instant="15">0</Value> |
||
296 | <Value instant="16">0</Value> |
||
297 | <Value instant="17">0</Value> |
||
298 | <Value instant="18">0</Value> |
||
299 | <Value instant="19">0</Value> |
||
300 | <Value instant="20">0</Value> |
||
301 | <Value instant="21">0</Value> |
||
302 | <Value instant="22">0</Value> |
||
303 | <Value instant="23">0</Value> |
||
304 | <Value instant="24">0</Value> |
||
305 | <Value instant="25">0</Value> |
||
306 | <Value instant="26">0</Value> |
||
307 | <Value instant="27">0</Value> |
||
308 | <Value instant="28">0</Value> |
||
309 | <Value instant="29">0</Value> |
||
310 | <Value instant="30">0</Value> |
||
311 | <Value instant="31">0</Value> |
||
312 | <Value instant="32">0</Value> |
||
313 | <Value instant="33">0</Value> |
||
314 | <Value instant="34">0</Value> |
||
315 | <Value instant="35">0</Value> |
||
316 | <Value instant="36">0</Value> |
||
317 | <Value instant="37">0</Value> |
||
318 | <Value instant="38">0</Value> |
||
319 | <Value instant="39">0</Value> |
||
320 | <Value instant="40">0</Value> |
||
321 | <Value instant="41">0</Value> |
||
322 | <Value instant="42">0</Value> |
||
323 | <Value instant="43">0</Value> |
||
324 | <Value instant="44">0</Value> |
||
325 | <Value instant="45">0</Value> |
||
326 | <Value instant="46">0</Value> |
||
327 | <Value instant="47">0</Value> |
||
328 | <Value instant="48">0</Value> |
||
329 | <Value instant="49">0</Value> |
||
330 | <Value instant="50">0</Value> |
||
331 | <Value instant="51">0</Value> |
||
332 | <Value instant="52">0</Value> |
||
333 | <Value instant="53">0</Value> |
||
334 | <Value instant="54">0</Value> |
||
335 | <Value instant="55">0</Value> |
||
336 | <Value instant="56">0</Value> |
||
337 | <Value instant="57">0</Value> |
||
338 | <Value instant="58">0</Value> |
||
339 | <Value instant="59">0</Value> |
||
340 | <Value instant="60">0</Value> |
||
341 | <Value instant="61">0</Value> |
||
342 | <Value instant="62">0</Value> |
||
343 | <Value instant="63">0</Value> |
||
344 | </Stream>
|
||
345 | <Stream name="S" type="bool"> |
||
346 | <Value instant="0">0</Value> |
||
347 | <Value instant="1">0</Value> |
||
348 | <Value instant="2">0</Value> |
||
349 | <Value instant="3">0</Value> |
||
350 | <Value instant="4">0</Value> |
||
351 | <Value instant="5">0</Value> |
||
352 | <Value instant="6">0</Value> |
||
353 | <Value instant="7">0</Value> |
||
354 | <Value instant="8">0</Value> |
||
355 | <Value instant="9">0</Value> |
||
356 | <Value instant="10">0</Value> |
||
357 | <Value instant="11">0</Value> |
||
358 | <Value instant="12">0</Value> |
||
359 | <Value instant="13">0</Value> |
||
360 | <Value instant="14">0</Value> |
||
361 | <Value instant="15">0</Value> |
||
362 | <Value instant="16">0</Value> |
||
363 | <Value instant="17">0</Value> |
||
364 | <Value instant="18">0</Value> |
||
365 | <Value instant="19">0</Value> |
||
366 | <Value instant="20">0</Value> |
||
367 | <Value instant="21">0</Value> |
||
368 | <Value instant="22">0</Value> |
||
369 | <Value instant="23">0</Value> |
||
370 | <Value instant="24">0</Value> |
||
371 | <Value instant="25">0</Value> |
||
372 | <Value instant="26">0</Value> |
||
373 | <Value instant="27">0</Value> |
||
374 | <Value instant="28">0</Value> |
||
375 | <Value instant="29">0</Value> |
||
376 | <Value instant="30">0</Value> |
||
377 | <Value instant="31">0</Value> |
||
378 | <Value instant="32">0</Value> |
||
379 | <Value instant="33">0</Value> |
||
380 | <Value instant="34">0</Value> |
||
381 | <Value instant="35">0</Value> |
||
382 | <Value instant="36">0</Value> |
||
383 | <Value instant="37">0</Value> |
||
384 | <Value instant="38">0</Value> |
||
385 | <Value instant="39">0</Value> |
||
386 | <Value instant="40">0</Value> |
||
387 | <Value instant="41">0</Value> |
||
388 | <Value instant="42">0</Value> |
||
389 | <Value instant="43">0</Value> |
||
390 | <Value instant="44">0</Value> |
||
391 | <Value instant="45">0</Value> |
||
392 | <Value instant="46">0</Value> |
||
393 | <Value instant="47">0</Value> |
||
394 | <Value instant="48">0</Value> |
||
395 | <Value instant="49">0</Value> |
||
396 | <Value instant="50">0</Value> |
||
397 | <Value instant="51">0</Value> |
||
398 | <Value instant="52">0</Value> |
||
399 | <Value instant="53">0</Value> |
||
400 | <Value instant="54">0</Value> |
||
401 | <Value instant="55">0</Value> |
||
402 | <Value instant="56">0</Value> |
||
403 | <Value instant="57">0</Value> |
||
404 | <Value instant="58">0</Value> |
||
405 | <Value instant="59">0</Value> |
||
406 | <Value instant="60">0</Value> |
||
407 | <Value instant="61">0</Value> |
||
408 | b14ec4fb | bourbouh | <Value instant="62">1</Value> |
409 | <Value instant="63">1</Value> |
||
410 | </Stream>
|
||
411 | 6f6af7b8 | hbourbou | <Stream name="avance" type="bool"> |
412 | <Value instant="0">0</Value> |
||
413 | <Value instant="1">0</Value> |
||
414 | <Value instant="2">0</Value> |
||
415 | <Value instant="3">0</Value> |
||
416 | <Value instant="4">0</Value> |
||
417 | <Value instant="5">0</Value> |
||
418 | <Value instant="6">0</Value> |
||
419 | <Value instant="7">0</Value> |
||
420 | <Value instant="8">0</Value> |
||
421 | <Value instant="9">0</Value> |
||
422 | <Value instant="10">0</Value> |
||
423 | <Value instant="11">0</Value> |
||
424 | <Value instant="12">0</Value> |
||
425 | <Value instant="13">0</Value> |
||
426 | <Value instant="14">0</Value> |
||
427 | <Value instant="15">0</Value> |
||
428 | <Value instant="16">0</Value> |
||
429 | <Value instant="17">0</Value> |
||
430 | <Value instant="18">0</Value> |
||
431 | <Value instant="19">0</Value> |
||
432 | b14ec4fb | bourbouh | <Value instant="20">1</Value> |
433 | 6f6af7b8 | hbourbou | <Value instant="21">0</Value> |
434 | b14ec4fb | bourbouh | <Value instant="22">1</Value> |
435 | 6f6af7b8 | hbourbou | <Value instant="23">0</Value> |
436 | b14ec4fb | bourbouh | <Value instant="24">1</Value> |
437 | 6f6af7b8 | hbourbou | <Value instant="25">0</Value> |
438 | b14ec4fb | bourbouh | <Value instant="26">1</Value> |
439 | 6f6af7b8 | hbourbou | <Value instant="27">0</Value> |
440 | b14ec4fb | bourbouh | <Value instant="28">1</Value> |
441 | 6f6af7b8 | hbourbou | <Value instant="29">0</Value> |
442 | b14ec4fb | bourbouh | <Value instant="30">1</Value> |
443 | 6f6af7b8 | hbourbou | <Value instant="31">0</Value> |
444 | b14ec4fb | bourbouh | <Value instant="32">1</Value> |
445 | 6f6af7b8 | hbourbou | <Value instant="33">0</Value> |
446 | b14ec4fb | bourbouh | <Value instant="34">1</Value> |
447 | 6f6af7b8 | hbourbou | <Value instant="35">0</Value> |
448 | b14ec4fb | bourbouh | <Value instant="36">1</Value> |
449 | 6f6af7b8 | hbourbou | <Value instant="37">0</Value> |
450 | b14ec4fb | bourbouh | <Value instant="38">1</Value> |
451 | 6f6af7b8 | hbourbou | <Value instant="39">0</Value> |
452 | b14ec4fb | bourbouh | <Value instant="40">1</Value> |
453 | 6f6af7b8 | hbourbou | <Value instant="41">0</Value> |
454 | b14ec4fb | bourbouh | <Value instant="42">1</Value> |
455 | 6f6af7b8 | hbourbou | <Value instant="43">0</Value> |
456 | b14ec4fb | bourbouh | <Value instant="44">1</Value> |
457 | 6f6af7b8 | hbourbou | <Value instant="45">0</Value> |
458 | b14ec4fb | bourbouh | <Value instant="46">1</Value> |
459 | 6f6af7b8 | hbourbou | <Value instant="47">0</Value> |
460 | b14ec4fb | bourbouh | <Value instant="48">1</Value> |
461 | 6f6af7b8 | hbourbou | <Value instant="49">0</Value> |
462 | b14ec4fb | bourbouh | <Value instant="50">1</Value> |
463 | 6f6af7b8 | hbourbou | <Value instant="51">0</Value> |
464 | b14ec4fb | bourbouh | <Value instant="52">1</Value> |
465 | 6f6af7b8 | hbourbou | <Value instant="53">0</Value> |
466 | b14ec4fb | bourbouh | <Value instant="54">1</Value> |
467 | 6f6af7b8 | hbourbou | <Value instant="55">0</Value> |
468 | b14ec4fb | bourbouh | <Value instant="56">1</Value> |
469 | 6f6af7b8 | hbourbou | <Value instant="57">0</Value> |
470 | b14ec4fb | bourbouh | <Value instant="58">1</Value> |
471 | 6f6af7b8 | hbourbou | <Value instant="59">0</Value> |
472 | b14ec4fb | bourbouh | <Value instant="60">1</Value> |
473 | 6f6af7b8 | hbourbou | <Value instant="61">0</Value> |
474 | b14ec4fb | bourbouh | <Value instant="62">1</Value> |
475 | 6f6af7b8 | hbourbou | <Value instant="63">0</Value> |
476 | b14ec4fb | bourbouh | </Stream>
|
477 | 6f6af7b8 | hbourbou | </Node>
|
478 | <Node name ="main"> |
||
479 | <Stream name="ast" type="bool"> |
||
480 | b14ec4fb | bourbouh | <Value instant="0">1</Value> |
481 | <Value instant="1">1</Value> |
||
482 | <Value instant="2">1</Value> |
||
483 | <Value instant="3">1</Value> |
||
484 | <Value instant="4">1</Value> |
||
485 | <Value instant="5">1</Value> |
||
486 | <Value instant="6">1</Value> |
||
487 | <Value instant="7">1</Value> |
||
488 | <Value instant="8">1</Value> |
||
489 | <Value instant="9">1</Value> |
||
490 | <Value instant="10">1</Value> |
||
491 | <Value instant="11">1</Value> |
||
492 | <Value instant="12">1</Value> |
||
493 | <Value instant="13">1</Value> |
||
494 | <Value instant="14">1</Value> |
||
495 | <Value instant="15">1</Value> |
||
496 | <Value instant="16">1</Value> |
||
497 | <Value instant="17">1</Value> |
||
498 | <Value instant="18">1</Value> |
||
499 | <Value instant="19">1</Value> |
||
500 | <Value instant="20">1</Value> |
||
501 | <Value instant="21">1</Value> |
||
502 | <Value instant="22">1</Value> |
||
503 | <Value instant="23">1</Value> |
||
504 | <Value instant="24">1</Value> |
||
505 | <Value instant="25">1</Value> |
||
506 | <Value instant="26">1</Value> |
||
507 | <Value instant="27">1</Value> |
||
508 | <Value instant="28">1</Value> |
||
509 | <Value instant="29">1</Value> |
||
510 | <Value instant="30">1</Value> |
||
511 | <Value instant="31">1</Value> |
||
512 | </Stream>
|
||
513 | 6f6af7b8 | hbourbou | <Stream name="c" type="int"> |
514 | <Value instant="0">0</Value> |
||
515 | <Value instant="1">0</Value> |
||
516 | <Value instant="2">0</Value> |
||
517 | <Value instant="3">0</Value> |
||
518 | <Value instant="4">0</Value> |
||
519 | <Value instant="5">0</Value> |
||
520 | <Value instant="6">0</Value> |
||
521 | <Value instant="7">0</Value> |
||
522 | <Value instant="8">0</Value> |
||
523 | <Value instant="9">0</Value> |
||
524 | <Value instant="10">0</Value> |
||
525 | <Value instant="11">0</Value> |
||
526 | <Value instant="12">0</Value> |
||
527 | <Value instant="13">0</Value> |
||
528 | <Value instant="14">0</Value> |
||
529 | <Value instant="15">0</Value> |
||
530 | <Value instant="16">0</Value> |
||
531 | <Value instant="17">0</Value> |
||
532 | <Value instant="18">0</Value> |
||
533 | <Value instant="19">0</Value> |
||
534 | <Value instant="20">0</Value> |
||
535 | <Value instant="21">0</Value> |
||
536 | <Value instant="22">0</Value> |
||
537 | <Value instant="23">0</Value> |
||
538 | <Value instant="24">0</Value> |
||
539 | <Value instant="25">0</Value> |
||
540 | <Value instant="26">0</Value> |
||
541 | <Value instant="27">0</Value> |
||
542 | <Value instant="28">0</Value> |
||
543 | <Value instant="29">0</Value> |
||
544 | <Value instant="30">0</Value> |
||
545 | <Value instant="31">0</Value> |
||
546 | b14ec4fb | bourbouh | </Stream>
|
547 | <Stream name="S" type="bool"> |
||
548 | 6f6af7b8 | hbourbou | <Value instant="0">0</Value> |
549 | <Value instant="1">0</Value> |
||
550 | <Value instant="2">0</Value> |
||
551 | <Value instant="3">0</Value> |
||
552 | <Value instant="4">0</Value> |
||
553 | <Value instant="5">0</Value> |
||
554 | <Value instant="6">0</Value> |
||
555 | <Value instant="7">0</Value> |
||
556 | <Value instant="8">0</Value> |
||
557 | <Value instant="9">0</Value> |
||
558 | <Value instant="10">0</Value> |
||
559 | <Value instant="11">0</Value> |
||
560 | <Value instant="12">0</Value> |
||
561 | <Value instant="13">0</Value> |
||
562 | <Value instant="14">0</Value> |
||
563 | <Value instant="15">0</Value> |
||
564 | <Value instant="16">0</Value> |
||
565 | <Value instant="17">0</Value> |
||
566 | <Value instant="18">0</Value> |
||
567 | <Value instant="19">0</Value> |
||
568 | <Value instant="20">0</Value> |
||
569 | <Value instant="21">0</Value> |
||
570 | <Value instant="22">0</Value> |
||
571 | <Value instant="23">0</Value> |
||
572 | <Value instant="24">0</Value> |
||
573 | <Value instant="25">0</Value> |
||
574 | <Value instant="26">0</Value> |
||
575 | <Value instant="27">0</Value> |
||
576 | <Value instant="28">0</Value> |
||
577 | <Value instant="29">0</Value> |
||
578 | <Value instant="30">0</Value> |
||
579 | b14ec4fb | bourbouh | <Value instant="31">1</Value> |
580 | </Stream>
|
||
581 | 6f6af7b8 | hbourbou | <Stream name="retard1" type="bool"> |
582 | <Value instant="0">0</Value> |
||
583 | <Value instant="1">0</Value> |
||
584 | <Value instant="2">0</Value> |
||
585 | <Value instant="3">0</Value> |
||
586 | <Value instant="4">0</Value> |
||
587 | <Value instant="5">0</Value> |
||
588 | <Value instant="6">0</Value> |
||
589 | <Value instant="7">0</Value> |
||
590 | <Value instant="8">0</Value> |
||
591 | <Value instant="9">0</Value> |
||
592 | <Value instant="10">0</Value> |
||
593 | <Value instant="11">0</Value> |
||
594 | <Value instant="12">0</Value> |
||
595 | <Value instant="13">0</Value> |
||
596 | <Value instant="14">0</Value> |
||
597 | <Value instant="15">0</Value> |
||
598 | <Value instant="16">0</Value> |
||
599 | <Value instant="17">0</Value> |
||
600 | <Value instant="18">0</Value> |
||
601 | <Value instant="19">0</Value> |
||
602 | <Value instant="20">0</Value> |
||
603 | <Value instant="21">0</Value> |
||
604 | <Value instant="22">0</Value> |
||
605 | <Value instant="23">0</Value> |
||
606 | <Value instant="24">0</Value> |
||
607 | <Value instant="25">0</Value> |
||
608 | <Value instant="26">0</Value> |
||
609 | <Value instant="27">0</Value> |
||
610 | <Value instant="28">0</Value> |
||
611 | <Value instant="29">0</Value> |
||
612 | <Value instant="30">0</Value> |
||
613 | <Value instant="31">0</Value> |
||
614 | </Stream>
|
||
615 | <Stream name="retard0" type="bool"> |
||
616 | <Value instant="0">0</Value> |
||
617 | <Value instant="1">0</Value> |
||
618 | <Value instant="2">0</Value> |
||
619 | <Value instant="3">0</Value> |
||
620 | <Value instant="4">0</Value> |
||
621 | <Value instant="5">0</Value> |
||
622 | <Value instant="6">0</Value> |
||
623 | <Value instant="7">0</Value> |
||
624 | <Value instant="8">0</Value> |
||
625 | <Value instant="9">0</Value> |
||
626 | <Value instant="10">0</Value> |
||
627 | <Value instant="11">0</Value> |
||
628 | <Value instant="12">0</Value> |
||
629 | <Value instant="13">0</Value> |
||
630 | <Value instant="14">0</Value> |
||
631 | <Value instant="15">0</Value> |
||
632 | <Value instant="16">0</Value> |
||
633 | <Value instant="17">0</Value> |
||
634 | <Value instant="18">0</Value> |
||
635 | <Value instant="19">0</Value> |
||
636 | <Value instant="20">0</Value> |
||
637 | <Value instant="21">0</Value> |
||
638 | <Value instant="22">0</Value> |
||
639 | <Value instant="23">0</Value> |
||
640 | <Value instant="24">0</Value> |
||
641 | <Value instant="25">0</Value> |
||
642 | <Value instant="26">0</Value> |
||
643 | <Value instant="27">0</Value> |
||
644 | <Value instant="28">0</Value> |
||
645 | <Value instant="29">0</Value> |
||
646 | <Value instant="30">0</Value> |
||
647 | <Value instant="31">0</Value> |
||
648 | b14ec4fb | bourbouh | </Stream>
|
649 | 6f6af7b8 | hbourbou | <Stream name="avance" type="bool"> |
650 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
651 | <Value instant="1">0</Value> |
||
652 | <Value instant="2">0</Value> |
||
653 | <Value instant="3">0</Value> |
||
654 | <Value instant="4">0</Value> |
||
655 | <Value instant="5">0</Value> |
||
656 | <Value instant="6">0</Value> |
||
657 | <Value instant="7">0</Value> |
||
658 | <Value instant="8">0</Value> |
||
659 | <Value instant="9">0</Value> |
||
660 | <Value instant="10">0</Value> |
||
661 | <Value instant="11">0</Value> |
||
662 | <Value instant="12">0</Value> |
||
663 | <Value instant="13">0</Value> |
||
664 | <Value instant="14">0</Value> |
||
665 | <Value instant="15">0</Value> |
||
666 | <Value instant="16">0</Value> |
||
667 | <Value instant="17">0</Value> |
||
668 | <Value instant="18">0</Value> |
||
669 | <Value instant="19">0</Value> |
||
670 | <Value instant="20">0</Value> |
||
671 | <Value instant="21">0</Value> |
||
672 | <Value instant="22">0</Value> |
||
673 | <Value instant="23">0</Value> |
||
674 | <Value instant="24">0</Value> |
||
675 | <Value instant="25">0</Value> |
||
676 | <Value instant="26">0</Value> |
||
677 | <Value instant="27">0</Value> |
||
678 | <Value instant="28">0</Value> |
||
679 | <Value instant="29">0</Value> |
||
680 | <Value instant="30">0</Value> |
||
681 | <Value instant="31">0</Value> |
||
682 | </Stream>
|
||
683 | 6f6af7b8 | hbourbou | <Stream name="diff0" type="int"> |
684 | <Value instant="0">0</Value> |
||
685 | <Value instant="1">1</Value> |
||
686 | <Value instant="2">2</Value> |
||
687 | <Value instant="3">3</Value> |
||
688 | <Value instant="4">4</Value> |
||
689 | <Value instant="5">5</Value> |
||
690 | <Value instant="6">6</Value> |
||
691 | <Value instant="7">7</Value> |
||
692 | <Value instant="8">8</Value> |
||
693 | <Value instant="9">9</Value> |
||
694 | <Value instant="10">10</Value> |
||
695 | <Value instant="11">11</Value> |
||
696 | <Value instant="12">12</Value> |
||
697 | <Value instant="13">13</Value> |
||
698 | <Value instant="14">14</Value> |
||
699 | <Value instant="15">15</Value> |
||
700 | <Value instant="16">16</Value> |
||
701 | <Value instant="17">17</Value> |
||
702 | <Value instant="18">18</Value> |
||
703 | <Value instant="19">19</Value> |
||
704 | <Value instant="20">20</Value> |
||
705 | <Value instant="21">21</Value> |
||
706 | <Value instant="22">22</Value> |
||
707 | <Value instant="23">23</Value> |
||
708 | <Value instant="24">24</Value> |
||
709 | <Value instant="25">25</Value> |
||
710 | <Value instant="26">26</Value> |
||
711 | <Value instant="27">27</Value> |
||
712 | <Value instant="28">28</Value> |
||
713 | <Value instant="29">29</Value> |
||
714 | <Value instant="30">30</Value> |
||
715 | <Value instant="31">30</Value> |
||
716 | </Stream>
|
||
717 | <Stream name="diff1" type="int"> |
||
718 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
719 | <Value instant="1">0</Value> |
||
720 | <Value instant="2">0</Value> |
||
721 | <Value instant="3">0</Value> |
||
722 | <Value instant="4">0</Value> |
||
723 | <Value instant="5">0</Value> |
||
724 | <Value instant="6">0</Value> |
||
725 | 6f6af7b8 | hbourbou | <Value instant="7">0</Value> |
726 | <Value instant="8">0</Value> |
||
727 | <Value instant="9">0</Value> |
||
728 | <Value instant="10">0</Value> |
||
729 | <Value instant="11">0</Value> |
||
730 | <Value instant="12">0</Value> |
||
731 | <Value instant="13">0</Value> |
||
732 | <Value instant="14">0</Value> |
||
733 | <Value instant="15">0</Value> |
||
734 | <Value instant="16">0</Value> |
||
735 | <Value instant="17">0</Value> |
||
736 | <Value instant="18">0</Value> |
||
737 | <Value instant="19">0</Value> |
||
738 | <Value instant="20">0</Value> |
||
739 | <Value instant="21">0</Value> |
||
740 | <Value instant="22">0</Value> |
||
741 | <Value instant="23">0</Value> |
||
742 | <Value instant="24">0</Value> |
||
743 | <Value instant="25">0</Value> |
||
744 | <Value instant="26">0</Value> |
||
745 | <Value instant="27">0</Value> |
||
746 | <Value instant="28">0</Value> |
||
747 | <Value instant="29">0</Value> |
||
748 | <Value instant="30">0</Value> |
||
749 | <Value instant="31">-1</Value> |
||
750 | b14ec4fb | bourbouh | </Stream>
|
751 | 6f6af7b8 | hbourbou | <Stream name="nB1" type="int"> |
752 | <Value instant="0">0</Value> |
||
753 | <Value instant="1">0</Value> |
||
754 | <Value instant="2">0</Value> |
||
755 | <Value instant="3">0</Value> |
||
756 | <Value instant="4">0</Value> |
||
757 | <Value instant="5">0</Value> |
||
758 | <Value instant="6">0</Value> |
||
759 | <Value instant="7">0</Value> |
||
760 | <Value instant="8">0</Value> |
||
761 | <Value instant="9">0</Value> |
||
762 | <Value instant="10">0</Value> |
||
763 | <Value instant="11">0</Value> |
||
764 | <Value instant="12">0</Value> |
||
765 | <Value instant="13">0</Value> |
||
766 | <Value instant="14">0</Value> |
||
767 | <Value instant="15">0</Value> |
||
768 | <Value instant="16">0</Value> |
||
769 | <Value instant="17">0</Value> |
||
770 | <Value instant="18">0</Value> |
||
771 | <Value instant="19">0</Value> |
||
772 | <Value instant="20">0</Value> |
||
773 | <Value instant="21">0</Value> |
||
774 | <Value instant="22">0</Value> |
||
775 | <Value instant="23">0</Value> |
||
776 | <Value instant="24">0</Value> |
||
777 | <Value instant="25">0</Value> |
||
778 | <Value instant="26">0</Value> |
||
779 | <Value instant="27">0</Value> |
||
780 | <Value instant="28">0</Value> |
||
781 | <Value instant="29">0</Value> |
||
782 | <Value instant="30">0</Value> |
||
783 | <Value instant="31">0</Value> |
||
784 | b14ec4fb | bourbouh | </Stream>
|
785 | 6f6af7b8 | hbourbou | <Stream name="nB0" type="int"> |
786 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
787 | <Value instant="1">1</Value> |
||
788 | <Value instant="2">2</Value> |
||
789 | <Value instant="3">3</Value> |
||
790 | <Value instant="4">4</Value> |
||
791 | <Value instant="5">5</Value> |
||
792 | <Value instant="6">6</Value> |
||
793 | <Value instant="7">7</Value> |
||
794 | <Value instant="8">8</Value> |
||
795 | <Value instant="9">9</Value> |
||
796 | <Value instant="10">10</Value> |
||
797 | <Value instant="11">11</Value> |
||
798 | <Value instant="12">12</Value> |
||
799 | <Value instant="13">13</Value> |
||
800 | 6f6af7b8 | hbourbou | <Value instant="14">14</Value> |
801 | <Value instant="15">15</Value> |
||
802 | <Value instant="16">16</Value> |
||
803 | <Value instant="17">17</Value> |
||
804 | <Value instant="18">18</Value> |
||
805 | <Value instant="19">19</Value> |
||
806 | <Value instant="20">20</Value> |
||
807 | <Value instant="21">21</Value> |
||
808 | <Value instant="22">22</Value> |
||
809 | <Value instant="23">23</Value> |
||
810 | <Value instant="24">24</Value> |
||
811 | <Value instant="25">25</Value> |
||
812 | <Value instant="26">26</Value> |
||
813 | <Value instant="27">27</Value> |
||
814 | <Value instant="28">28</Value> |
||
815 | <Value instant="29">29</Value> |
||
816 | <Value instant="30">30</Value> |
||
817 | <Value instant="31">31</Value> |
||
818 | b14ec4fb | bourbouh | </Stream>
|
819 | 6f6af7b8 | hbourbou | <Stream name="nS" type="int"> |
820 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
821 | 6f6af7b8 | hbourbou | <Value instant="1">0</Value> |
822 | <Value instant="2">0</Value> |
||
823 | <Value instant="3">0</Value> |
||
824 | <Value instant="4">0</Value> |
||
825 | <Value instant="5">0</Value> |
||
826 | <Value instant="6">0</Value> |
||
827 | <Value instant="7">0</Value> |
||
828 | <Value instant="8">0</Value> |
||
829 | <Value instant="9">0</Value> |
||
830 | <Value instant="10">0</Value> |
||
831 | <Value instant="11">0</Value> |
||
832 | <Value instant="12">0</Value> |
||
833 | <Value instant="13">0</Value> |
||
834 | <Value instant="14">0</Value> |
||
835 | <Value instant="15">0</Value> |
||
836 | <Value instant="16">0</Value> |
||
837 | <Value instant="17">0</Value> |
||
838 | <Value instant="18">0</Value> |
||
839 | <Value instant="19">0</Value> |
||
840 | <Value instant="20">0</Value> |
||
841 | <Value instant="21">0</Value> |
||
842 | <Value instant="22">0</Value> |
||
843 | <Value instant="23">0</Value> |
||
844 | <Value instant="24">0</Value> |
||
845 | <Value instant="25">0</Value> |
||
846 | <Value instant="26">0</Value> |
||
847 | <Value instant="27">0</Value> |
||
848 | <Value instant="28">0</Value> |
||
849 | <Value instant="29">0</Value> |
||
850 | <Value instant="30">0</Value> |
||
851 | <Value instant="31">1</Value> |
||
852 | b14ec4fb | bourbouh | </Stream>
|
853 | 6f6af7b8 | hbourbou | <Stream name="retard" type="bool"> |
854 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
855 | 6f6af7b8 | hbourbou | <Value instant="1">0</Value> |
856 | <Value instant="2">0</Value> |
||
857 | <Value instant="3">0</Value> |
||
858 | <Value instant="4">0</Value> |
||
859 | <Value instant="5">0</Value> |
||
860 | <Value instant="6">0</Value> |
||
861 | <Value instant="7">0</Value> |
||
862 | <Value instant="8">0</Value> |
||
863 | <Value instant="9">0</Value> |
||
864 | <Value instant="10">0</Value> |
||
865 | <Value instant="11">0</Value> |
||
866 | <Value instant="12">0</Value> |
||
867 | <Value instant="13">0</Value> |
||
868 | <Value instant="14">0</Value> |
||
869 | <Value instant="15">0</Value> |
||
870 | <Value instant="16">0</Value> |
||
871 | <Value instant="17">0</Value> |
||
872 | <Value instant="18">0</Value> |
||
873 | <Value instant="19">0</Value> |
||
874 | <Value instant="20">0</Value> |
||
875 | <Value instant="21">0</Value> |
||
876 | <Value instant="22">0</Value> |
||
877 | <Value instant="23">0</Value> |
||
878 | <Value instant="24">0</Value> |
||
879 | <Value instant="25">0</Value> |
||
880 | <Value instant="26">0</Value> |
||
881 | <Value instant="27">0</Value> |
||
882 | <Value instant="28">0</Value> |
||
883 | <Value instant="29">0</Value> |
||
884 | <Value instant="30">0</Value> |
||
885 | <Value instant="31">0</Value> |
||
886 | b14ec4fb | bourbouh | </Stream>
|
887 | 6f6af7b8 | hbourbou | <Stream name="B0" type="bool"> |
888 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
889 | <Value instant="1">1</Value> |
||
890 | <Value instant="2">1</Value> |
||
891 | <Value instant="3">1</Value> |
||
892 | <Value instant="4">1</Value> |
||
893 | <Value instant="5">1</Value> |
||
894 | <Value instant="6">1</Value> |
||
895 | <Value instant="7">1</Value> |
||
896 | <Value instant="8">1</Value> |
||
897 | <Value instant="9">1</Value> |
||
898 | <Value instant="10">1</Value> |
||
899 | <Value instant="11">1</Value> |
||
900 | <Value instant="12">1</Value> |
||
901 | <Value instant="13">1</Value> |
||
902 | <Value instant="14">1</Value> |
||
903 | <Value instant="15">1</Value> |
||
904 | <Value instant="16">1</Value> |
||
905 | <Value instant="17">1</Value> |
||
906 | <Value instant="18">1</Value> |
||
907 | <Value instant="19">1</Value> |
||
908 | <Value instant="20">1</Value> |
||
909 | <Value instant="21">1</Value> |
||
910 | <Value instant="22">1</Value> |
||
911 | <Value instant="23">1</Value> |
||
912 | <Value instant="24">1</Value> |
||
913 | <Value instant="25">1</Value> |
||
914 | <Value instant="26">1</Value> |
||
915 | <Value instant="27">1</Value> |
||
916 | <Value instant="28">1</Value> |
||
917 | <Value instant="29">1</Value> |
||
918 | <Value instant="30">1</Value> |
||
919 | <Value instant="31">1</Value> |
||
920 | </Stream>
|
||
921 | 6f6af7b8 | hbourbou | <Stream name="B1" type="bool"> |
922 | <Value instant="0">0</Value> |
||
923 | <Value instant="1">0</Value> |
||
924 | <Value instant="2">0</Value> |
||
925 | <Value instant="3">0</Value> |
||
926 | <Value instant="4">0</Value> |
||
927 | <Value instant="5">0</Value> |
||
928 | <Value instant="6">0</Value> |
||
929 | <Value instant="7">0</Value> |
||
930 | <Value instant="8">0</Value> |
||
931 | <Value instant="9">0</Value> |
||
932 | <Value instant="10">0</Value> |
||
933 | <Value instant="11">0</Value> |
||
934 | <Value instant="12">0</Value> |
||
935 | <Value instant="13">0</Value> |
||
936 | <Value instant="14">0</Value> |
||
937 | <Value instant="15">0</Value> |
||
938 | <Value instant="16">0</Value> |
||
939 | <Value instant="17">0</Value> |
||
940 | <Value instant="18">0</Value> |
||
941 | <Value instant="19">0</Value> |
||
942 | <Value instant="20">0</Value> |
||
943 | <Value instant="21">0</Value> |
||
944 | <Value instant="22">0</Value> |
||
945 | <Value instant="23">0</Value> |
||
946 | <Value instant="24">0</Value> |
||
947 | <Value instant="25">0</Value> |
||
948 | <Value instant="26">0</Value> |
||
949 | <Value instant="27">0</Value> |
||
950 | <Value instant="28">0</Value> |
||
951 | <Value instant="29">0</Value> |
||
952 | <Value instant="30">0</Value> |
||
953 | <Value instant="31">0</Value> |
||
954 | </Stream>
|
||
955 | <Stream name="avance1" type="bool"> |
||
956 | <Value instant="0">0</Value> |
||
957 | <Value instant="1">0</Value> |
||
958 | <Value instant="2">0</Value> |
||
959 | <Value instant="3">0</Value> |
||
960 | <Value instant="4">0</Value> |
||
961 | <Value instant="5">0</Value> |
||
962 | <Value instant="6">0</Value> |
||
963 | <Value instant="7">0</Value> |
||
964 | <Value instant="8">0</Value> |
||
965 | <Value instant="9">0</Value> |
||
966 | <Value instant="10">0</Value> |
||
967 | <Value instant="11">0</Value> |
||
968 | <Value instant="12">0</Value> |
||
969 | <Value instant="13">0</Value> |
||
970 | <Value instant="14">0</Value> |
||
971 | <Value instant="15">0</Value> |
||
972 | <Value instant="16">0</Value> |
||
973 | <Value instant="17">0</Value> |
||
974 | <Value instant="18">0</Value> |
||
975 | <Value instant="19">0</Value> |
||
976 | <Value instant="20">0</Value> |
||
977 | <Value instant="21">0</Value> |
||
978 | <Value instant="22">0</Value> |
||
979 | <Value instant="23">0</Value> |
||
980 | <Value instant="24">0</Value> |
||
981 | <Value instant="25">0</Value> |
||
982 | <Value instant="26">0</Value> |
||
983 | <Value instant="27">0</Value> |
||
984 | <Value instant="28">0</Value> |
||
985 | <Value instant="29">0</Value> |
||
986 | <Value instant="30">0</Value> |
||
987 | <Value instant="31">0</Value> |
||
988 | </Stream>
|
||
989 | <Stream name="avance0" type="bool"> |
||
990 | <Value instant="0">0</Value> |
||
991 | <Value instant="1">0</Value> |
||
992 | <Value instant="2">0</Value> |
||
993 | <Value instant="3">0</Value> |
||
994 | <Value instant="4">0</Value> |
||
995 | <Value instant="5">0</Value> |
||
996 | <Value instant="6">0</Value> |
||
997 | <Value instant="7">0</Value> |
||
998 | <Value instant="8">0</Value> |
||
999 | <Value instant="9">0</Value> |
||
1000 | b14ec4fb | bourbouh | <Value instant="10">1</Value> |
1001 | <Value instant="11">1</Value> |
||
1002 | <Value instant="12">1</Value> |
||
1003 | <Value instant="13">1</Value> |
||
1004 | <Value instant="14">1</Value> |
||
1005 | <Value instant="15">1</Value> |
||
1006 | <Value instant="16">1</Value> |
||
1007 | <Value instant="17">1</Value> |
||
1008 | <Value instant="18">1</Value> |
||
1009 | <Value instant="19">1</Value> |
||
1010 | <Value instant="20">1</Value> |
||
1011 | <Value instant="21">1</Value> |
||
1012 | <Value instant="22">1</Value> |
||
1013 | <Value instant="23">1</Value> |
||
1014 | <Value instant="24">1</Value> |
||
1015 | <Value instant="25">1</Value> |
||
1016 | <Value instant="26">1</Value> |
||
1017 | <Value instant="27">1</Value> |
||
1018 | <Value instant="28">1</Value> |
||
1019 | <Value instant="29">1</Value> |
||
1020 | <Value instant="30">1</Value> |
||
1021 | <Value instant="31">1</Value> |
||
1022 | </Stream>
|
||
1023 | 6f6af7b8 | hbourbou | </Node>
|
1024 | <Node name ="top"> |
||
1025 | <Stream name="retard" type="bool"> |
||
1026 | <Value instant="0">0</Value> |
||
1027 | <Value instant="1">0</Value> |
||
1028 | <Value instant="2">0</Value> |
||
1029 | <Value instant="3">0</Value> |
||
1030 | <Value instant="4">0</Value> |
||
1031 | <Value instant="5">0</Value> |
||
1032 | <Value instant="6">0</Value> |
||
1033 | <Value instant="7">0</Value> |
||
1034 | <Value instant="8">0</Value> |
||
1035 | <Value instant="9">0</Value> |
||
1036 | <Value instant="10">0</Value> |
||
1037 | <Value instant="11">0</Value> |
||
1038 | <Value instant="12">0</Value> |
||
1039 | <Value instant="13">0</Value> |
||
1040 | <Value instant="14">0</Value> |
||
1041 | <Value instant="15">0</Value> |
||
1042 | <Value instant="16">0</Value> |
||
1043 | <Value instant="17">0</Value> |
||
1044 | <Value instant="18">0</Value> |
||
1045 | <Value instant="19">0</Value> |
||
1046 | <Value instant="20">0</Value> |
||
1047 | <Value instant="21">0</Value> |
||
1048 | <Value instant="22">0</Value> |
||
1049 | <Value instant="23">0</Value> |
||
1050 | <Value instant="24">0</Value> |
||
1051 | <Value instant="25">0</Value> |
||
1052 | <Value instant="26">0</Value> |
||
1053 | <Value instant="27">0</Value> |
||
1054 | <Value instant="28">0</Value> |
||
1055 | <Value instant="29">0</Value> |
||
1056 | <Value instant="30">0</Value> |
||
1057 | <Value instant="31">0</Value> |
||
1058 | </Stream>
|
||
1059 | <Stream name="Sofar" type="bool"> |
||
1060 | b14ec4fb | bourbouh | <Value instant="0">1</Value> |
1061 | <Value instant="1">1</Value> |
||
1062 | <Value instant="2">1</Value> |
||
1063 | <Value instant="3">1</Value> |
||
1064 | <Value instant="4">1</Value> |
||
1065 | <Value instant="5">1</Value> |
||
1066 | <Value instant="6">1</Value> |
||
1067 | <Value instant="7">1</Value> |
||
1068 | <Value instant="8">1</Value> |
||
1069 | <Value instant="9">1</Value> |
||
1070 | <Value instant="10">1</Value> |
||
1071 | <Value instant="11">1</Value> |
||
1072 | <Value instant="12">1</Value> |
||
1073 | <Value instant="13">1</Value> |
||
1074 | <Value instant="14">1</Value> |
||
1075 | <Value instant="15">1</Value> |
||
1076 | <Value instant="16">1</Value> |
||
1077 | <Value instant="17">1</Value> |
||
1078 | <Value instant="18">1</Value> |
||
1079 | <Value instant="19">1</Value> |
||
1080 | <Value instant="20">1</Value> |
||
1081 | <Value instant="21">1</Value> |
||
1082 | <Value instant="22">1</Value> |
||
1083 | <Value instant="23">1</Value> |
||
1084 | <Value instant="24">1</Value> |
||
1085 | <Value instant="25">1</Value> |
||
1086 | <Value instant="26">1</Value> |
||
1087 | <Value instant="27">1</Value> |
||
1088 | <Value instant="28">1</Value> |
||
1089 | <Value instant="29">1</Value> |
||
1090 | <Value instant="30">1</Value> |
||
1091 | <Value instant="31">1</Value> |
||
1092 | </Stream>
|
||
1093 | 6f6af7b8 | hbourbou | <Stream name="S" type="bool"> |
1094 | <Value instant="1">0</Value> |
||
1095 | <Value instant="2">0</Value> |
||
1096 | <Value instant="3">0</Value> |
||
1097 | <Value instant="4">0</Value> |
||
1098 | <Value instant="5">0</Value> |
||
1099 | <Value instant="6">0</Value> |
||
1100 | <Value instant="7">0</Value> |
||
1101 | <Value instant="8">0</Value> |
||
1102 | <Value instant="9">0</Value> |
||
1103 | <Value instant="10">0</Value> |
||
1104 | <Value instant="11">0</Value> |
||
1105 | <Value instant="12">0</Value> |
||
1106 | <Value instant="13">0</Value> |
||
1107 | <Value instant="14">0</Value> |
||
1108 | <Value instant="15">0</Value> |
||
1109 | <Value instant="16">0</Value> |
||
1110 | <Value instant="17">0</Value> |
||
1111 | <Value instant="18">0</Value> |
||
1112 | <Value instant="19">0</Value> |
||
1113 | <Value instant="20">0</Value> |
||
1114 | <Value instant="21">0</Value> |
||
1115 | <Value instant="22">0</Value> |
||
1116 | <Value instant="23">0</Value> |
||
1117 | <Value instant="24">0</Value> |
||
1118 | <Value instant="25">0</Value> |
||
1119 | <Value instant="26">0</Value> |
||
1120 | <Value instant="27">0</Value> |
||
1121 | <Value instant="28">0</Value> |
||
1122 | <Value instant="29">0</Value> |
||
1123 | <Value instant="30">0</Value> |
||
1124 | <Value instant="31">1</Value> |
||
1125 | </Stream>
|
||
1126 | <Stream name="avance" type="bool"> |
||
1127 | <Value instant="0">0</Value> |
||
1128 | <Value instant="1">0</Value> |
||
1129 | <Value instant="2">0</Value> |
||
1130 | <Value instant="3">0</Value> |
||
1131 | <Value instant="4">0</Value> |
||
1132 | <Value instant="5">0</Value> |
||
1133 | <Value instant="6">0</Value> |
||
1134 | <Value instant="7">0</Value> |
||
1135 | <Value instant="8">0</Value> |
||
1136 | <Value instant="9">0</Value> |
||
1137 | <Value instant="10">0</Value> |
||
1138 | <Value instant="11">0</Value> |
||
1139 | <Value instant="12">0</Value> |
||
1140 | <Value instant="13">0</Value> |
||
1141 | <Value instant="14">0</Value> |
||
1142 | <Value instant="15">0</Value> |
||
1143 | <Value instant="16">0</Value> |
||
1144 | <Value instant="17">0</Value> |
||
1145 | <Value instant="18">0</Value> |
||
1146 | <Value instant="19">0</Value> |
||
1147 | <Value instant="20">0</Value> |
||
1148 | <Value instant="21">0</Value> |
||
1149 | <Value instant="22">0</Value> |
||
1150 | <Value instant="23">0</Value> |
||
1151 | <Value instant="24">0</Value> |
||
1152 | <Value instant="25">0</Value> |
||
1153 | <Value instant="26">0</Value> |
||
1154 | <Value instant="27">0</Value> |
||
1155 | <Value instant="28">0</Value> |
||
1156 | <Value instant="29">0</Value> |
||
1157 | <Value instant="30">0</Value> |
||
1158 | <Value instant="31">0</Value> |
||
1159 | </Stream>
|
||
1160 | <Stream name="c" type="int"> |
||
1161 | <Value instant="0">0</Value> |
||
1162 | <Value instant="1">0</Value> |
||
1163 | <Value instant="2">0</Value> |
||
1164 | <Value instant="3">0</Value> |
||
1165 | <Value instant="4">0</Value> |
||
1166 | <Value instant="5">0</Value> |
||
1167 | <Value instant="6">0</Value> |
||
1168 | <Value instant="7">0</Value> |
||
1169 | <Value instant="8">0</Value> |
||
1170 | <Value instant="9">0</Value> |
||
1171 | <Value instant="10">0</Value> |
||
1172 | <Value instant="11">0</Value> |
||
1173 | <Value instant="12">0</Value> |
||
1174 | <Value instant="13">0</Value> |
||
1175 | <Value instant="14">0</Value> |
||
1176 | <Value instant="15">0</Value> |
||
1177 | <Value instant="16">0</Value> |
||
1178 | <Value instant="17">0</Value> |
||
1179 | <Value instant="18">0</Value> |
||
1180 | <Value instant="19">0</Value> |
||
1181 | <Value instant="20">0</Value> |
||
1182 | <Value instant="21">0</Value> |
||
1183 | <Value instant="22">0</Value> |
||
1184 | <Value instant="23">0</Value> |
||
1185 | <Value instant="24">0</Value> |
||
1186 | <Value instant="25">0</Value> |
||
1187 | <Value instant="26">0</Value> |
||
1188 | <Value instant="27">0</Value> |
||
1189 | <Value instant="28">0</Value> |
||
1190 | <Value instant="29">0</Value> |
||
1191 | <Value instant="30">0</Value> |
||
1192 | <Value instant="31">0</Value> |
||
1193 | </Stream>
|
||
1194 | <Stream name="nS" type="int"> |
||
1195 | <Value instant="0">0</Value> |
||
1196 | <Value instant="1">0</Value> |
||
1197 | <Value instant="2">0</Value> |
||
1198 | <Value instant="3">0</Value> |
||
1199 | <Value instant="4">0</Value> |
||
1200 | <Value instant="5">0</Value> |
||
1201 | <Value instant="6">0</Value> |
||
1202 | <Value instant="7">0</Value> |
||
1203 | <Value instant="8">0</Value> |
||
1204 | <Value instant="9">0</Value> |
||
1205 | <Value instant="10">0</Value> |
||
1206 | <Value instant="11">0</Value> |
||
1207 | <Value instant="12">0</Value> |
||
1208 | <Value instant="13">0</Value> |
||
1209 | <Value instant="14">0</Value> |
||
1210 | <Value instant="15">0</Value> |
||
1211 | <Value instant="16">0</Value> |
||
1212 | <Value instant="17">0</Value> |
||
1213 | <Value instant="18">0</Value> |
||
1214 | <Value instant="19">0</Value> |
||
1215 | <Value instant="20">0</Value> |
||
1216 | <Value instant="21">0</Value> |
||
1217 | <Value instant="22">0</Value> |
||
1218 | <Value instant="23">0</Value> |
||
1219 | <Value instant="24">0</Value> |
||
1220 | <Value instant="25">0</Value> |
||
1221 | <Value instant="26">0</Value> |
||
1222 | <Value instant="27">0</Value> |
||
1223 | <Value instant="28">0</Value> |
||
1224 | <Value instant="29">0</Value> |
||
1225 | <Value instant="30">0</Value> |
||
1226 | b14ec4fb | bourbouh | <Value instant="31">1</Value> |
1227 | </Stream>
|
||
1228 | 6f6af7b8 | hbourbou | <Stream name="OK" type="bool"> |
1229 | b14ec4fb | bourbouh | <Value instant="0">1</Value> |
1230 | <Value instant="1">1</Value> |
||
1231 | <Value instant="2">1</Value> |
||
1232 | <Value instant="3">1</Value> |
||
1233 | <Value instant="4">1</Value> |
||
1234 | <Value instant="5">1</Value> |
||
1235 | <Value instant="6">1</Value> |
||
1236 | <Value instant="7">1</Value> |
||
1237 | <Value instant="8">1</Value> |
||
1238 | <Value instant="9">1</Value> |
||
1239 | <Value instant="10">1</Value> |
||
1240 | <Value instant="11">1</Value> |
||
1241 | <Value instant="12">1</Value> |
||
1242 | <Value instant="13">1</Value> |
||
1243 | <Value instant="14">1</Value> |
||
1244 | <Value instant="15">1</Value> |
||
1245 | <Value instant="16">1</Value> |
||
1246 | <Value instant="17">1</Value> |
||
1247 | <Value instant="18">1</Value> |
||
1248 | <Value instant="19">1</Value> |
||
1249 | <Value instant="20">1</Value> |
||
1250 | <Value instant="21">1</Value> |
||
1251 | <Value instant="22">1</Value> |
||
1252 | <Value instant="23">1</Value> |
||
1253 | <Value instant="24">1</Value> |
||
1254 | <Value instant="25">1</Value> |
||
1255 | <Value instant="26">1</Value> |
||
1256 | <Value instant="27">1</Value> |
||
1257 | <Value instant="28">1</Value> |
||
1258 | <Value instant="29">1</Value> |
||
1259 | <Value instant="30">1</Value> |
||
1260 | 6f6af7b8 | hbourbou | <Value instant="31">0</Value> |
1261 | b14ec4fb | bourbouh | </Stream>
|
1262 | 6f6af7b8 | hbourbou | <Stream name="nB1" type="int"> |
1263 | <Value instant="0">0</Value> |
||
1264 | <Value instant="1">0</Value> |
||
1265 | <Value instant="2">0</Value> |
||
1266 | <Value instant="3">0</Value> |
||
1267 | <Value instant="4">0</Value> |
||
1268 | <Value instant="5">0</Value> |
||
1269 | <Value instant="6">0</Value> |
||
1270 | <Value instant="7">0</Value> |
||
1271 | <Value instant="8">0</Value> |
||
1272 | <Value instant="9">0</Value> |
||
1273 | <Value instant="10">0</Value> |
||
1274 | <Value instant="11">0</Value> |
||
1275 | <Value instant="12">0</Value> |
||
1276 | <Value instant="13">0</Value> |
||
1277 | <Value instant="14">0</Value> |
||
1278 | <Value instant="15">0</Value> |
||
1279 | <Value instant="16">0</Value> |
||
1280 | <Value instant="17">0</Value> |
||
1281 | <Value instant="18">0</Value> |
||
1282 | <Value instant="19">0</Value> |
||
1283 | <Value instant="20">0</Value> |
||
1284 | <Value instant="21">0</Value> |
||
1285 | <Value instant="22">0</Value> |
||
1286 | <Value instant="23">0</Value> |
||
1287 | <Value instant="24">0</Value> |
||
1288 | <Value instant="25">0</Value> |
||
1289 | <Value instant="26">0</Value> |
||
1290 | <Value instant="27">0</Value> |
||
1291 | <Value instant="28">0</Value> |
||
1292 | <Value instant="29">0</Value> |
||
1293 | <Value instant="30">0</Value> |
||
1294 | <Value instant="31">0</Value> |
||
1295 | </Stream>
|
||
1296 | <Stream name="nB0" type="int"> |
||
1297 | <Value instant="0">0</Value> |
||
1298 | <Value instant="1">1</Value> |
||
1299 | <Value instant="2">2</Value> |
||
1300 | <Value instant="3">3</Value> |
||
1301 | <Value instant="4">4</Value> |
||
1302 | <Value instant="5">5</Value> |
||
1303 | <Value instant="6">6</Value> |
||
1304 | <Value instant="7">7</Value> |
||
1305 | <Value instant="8">8</Value> |
||
1306 | <Value instant="9">9</Value> |
||
1307 | <Value instant="10">10</Value> |
||
1308 | <Value instant="11">11</Value> |
||
1309 | <Value instant="12">12</Value> |
||
1310 | <Value instant="13">13</Value> |
||
1311 | <Value instant="14">14</Value> |
||
1312 | <Value instant="15">15</Value> |
||
1313 | <Value instant="16">16</Value> |
||
1314 | <Value instant="17">17</Value> |
||
1315 | <Value instant="18">18</Value> |
||
1316 | <Value instant="19">19</Value> |
||
1317 | <Value instant="20">20</Value> |
||
1318 | <Value instant="21">21</Value> |
||
1319 | <Value instant="22">22</Value> |
||
1320 | <Value instant="23">23</Value> |
||
1321 | <Value instant="24">24</Value> |
||
1322 | <Value instant="25">25</Value> |
||
1323 | <Value instant="26">26</Value> |
||
1324 | <Value instant="27">27</Value> |
||
1325 | <Value instant="28">28</Value> |
||
1326 | <Value instant="29">29</Value> |
||
1327 | <Value instant="30">30</Value> |
||
1328 | <Value instant="31">31</Value> |
||
1329 | </Stream>
|
||
1330 | <Stream name="B1" type="bool"> |
||
1331 | <Value instant="1">0</Value> |
||
1332 | <Value instant="2">0</Value> |
||
1333 | <Value instant="3">0</Value> |
||
1334 | <Value instant="4">0</Value> |
||
1335 | <Value instant="5">0</Value> |
||
1336 | <Value instant="6">0</Value> |
||
1337 | <Value instant="7">0</Value> |
||
1338 | <Value instant="8">0</Value> |
||
1339 | <Value instant="9">0</Value> |
||
1340 | <Value instant="10">0</Value> |
||
1341 | <Value instant="11">0</Value> |
||
1342 | <Value instant="12">0</Value> |
||
1343 | <Value instant="13">0</Value> |
||
1344 | <Value instant="14">0</Value> |
||
1345 | <Value instant="15">0</Value> |
||
1346 | <Value instant="16">0</Value> |
||
1347 | <Value instant="17">0</Value> |
||
1348 | <Value instant="18">0</Value> |
||
1349 | <Value instant="19">0</Value> |
||
1350 | <Value instant="20">0</Value> |
||
1351 | <Value instant="21">0</Value> |
||
1352 | <Value instant="22">0</Value> |
||
1353 | <Value instant="23">0</Value> |
||
1354 | <Value instant="24">0</Value> |
||
1355 | <Value instant="25">0</Value> |
||
1356 | <Value instant="26">0</Value> |
||
1357 | <Value instant="27">0</Value> |
||
1358 | <Value instant="28">0</Value> |
||
1359 | <Value instant="29">0</Value> |
||
1360 | <Value instant="30">0</Value> |
||
1361 | <Value instant="31">0</Value> |
||
1362 | </Stream>
|
||
1363 | <Stream name="B0" type="bool"> |
||
1364 | b14ec4fb | bourbouh | <Value instant="1">1</Value> |
1365 | <Value instant="2">1</Value> |
||
1366 | <Value instant="3">1</Value> |
||
1367 | <Value instant="4">1</Value> |
||
1368 | <Value instant="5">1</Value> |
||
1369 | <Value instant="6">1</Value> |
||
1370 | <Value instant="7">1</Value> |
||
1371 | <Value instant="8">1</Value> |
||
1372 | <Value instant="9">1</Value> |
||
1373 | <Value instant="10">1</Value> |
||
1374 | <Value instant="11">1</Value> |
||
1375 | <Value instant="12">1</Value> |
||
1376 | <Value instant="13">1</Value> |
||
1377 | <Value instant="14">1</Value> |
||
1378 | <Value instant="15">1</Value> |
||
1379 | <Value instant="16">1</Value> |
||
1380 | <Value instant="17">1</Value> |
||
1381 | <Value instant="18">1</Value> |
||
1382 | <Value instant="19">1</Value> |
||
1383 | <Value instant="20">1</Value> |
||
1384 | <Value instant="21">1</Value> |
||
1385 | <Value instant="22">1</Value> |
||
1386 | <Value instant="23">1</Value> |
||
1387 | <Value instant="24">1</Value> |
||
1388 | <Value instant="25">1</Value> |
||
1389 | <Value instant="26">1</Value> |
||
1390 | <Value instant="27">1</Value> |
||
1391 | <Value instant="28">1</Value> |
||
1392 | <Value instant="29">1</Value> |
||
1393 | <Value instant="30">1</Value> |
||
1394 | <Value instant="31">1</Value> |
||
1395 | 6f6af7b8 | hbourbou | </Stream>
|
1396 | </Node>
|
||
1397 | <Node name ="controleur"> |
||
1398 | <Stream name="retard" type="bool"> |
||
1399 | <Value instant="0">0</Value> |
||
1400 | <Value instant="1">0</Value> |
||
1401 | <Value instant="2">0</Value> |
||
1402 | <Value instant="3">0</Value> |
||
1403 | <Value instant="4">0</Value> |
||
1404 | <Value instant="5">0</Value> |
||
1405 | <Value instant="6">0</Value> |
||
1406 | <Value instant="7">0</Value> |
||
1407 | <Value instant="8">0</Value> |
||
1408 | <Value instant="9">0</Value> |
||
1409 | <Value instant="10">0</Value> |
||
1410 | <Value instant="11">0</Value> |
||
1411 | <Value instant="12">0</Value> |
||
1412 | <Value instant="13">0</Value> |
||
1413 | <Value instant="14">0</Value> |
||
1414 | <Value instant="15">0</Value> |
||
1415 | <Value instant="16">0</Value> |
||
1416 | <Value instant="17">0</Value> |
||
1417 | <Value instant="18">0</Value> |
||
1418 | <Value instant="19">0</Value> |
||
1419 | <Value instant="20">0</Value> |
||
1420 | <Value instant="21">0</Value> |
||
1421 | <Value instant="22">0</Value> |
||
1422 | <Value instant="23">0</Value> |
||
1423 | <Value instant="24">0</Value> |
||
1424 | <Value instant="25">0</Value> |
||
1425 | <Value instant="26">0</Value> |
||
1426 | <Value instant="27">0</Value> |
||
1427 | <Value instant="28">0</Value> |
||
1428 | <Value instant="29">0</Value> |
||
1429 | <Value instant="30">0</Value> |
||
1430 | <Value instant="31">0</Value> |
||
1431 | <Value instant="32">0</Value> |
||
1432 | <Value instant="33">0</Value> |
||
1433 | <Value instant="34">0</Value> |
||
1434 | <Value instant="35">0</Value> |
||
1435 | <Value instant="36">0</Value> |
||
1436 | <Value instant="37">0</Value> |
||
1437 | <Value instant="38">0</Value> |
||
1438 | <Value instant="39">0</Value> |
||
1439 | <Value instant="40">0</Value> |
||
1440 | <Value instant="41">0</Value> |
||
1441 | <Value instant="42">0</Value> |
||
1442 | <Value instant="43">0</Value> |
||
1443 | <Value instant="44">0</Value> |
||
1444 | <Value instant="45">0</Value> |
||
1445 | <Value instant="46">0</Value> |
||
1446 | <Value instant="47">0</Value> |
||
1447 | <Value instant="48">0</Value> |
||
1448 | <Value instant="49">0</Value> |
||
1449 | <Value instant="50">0</Value> |
||
1450 | <Value instant="51">0</Value> |
||
1451 | <Value instant="52">0</Value> |
||
1452 | <Value instant="53">0</Value> |
||
1453 | <Value instant="54">0</Value> |
||
1454 | <Value instant="55">0</Value> |
||
1455 | <Value instant="56">0</Value> |
||
1456 | <Value instant="57">0</Value> |
||
1457 | <Value instant="58">0</Value> |
||
1458 | <Value instant="59">0</Value> |
||
1459 | <Value instant="60">0</Value> |
||
1460 | <Value instant="61">0</Value> |
||
1461 | <Value instant="62">0</Value> |
||
1462 | <Value instant="63">0</Value> |
||
1463 | b14ec4fb | bourbouh | </Stream>
|
1464 | <Stream name="diff" type="int"> |
||
1465 | <Value instant="0">0</Value> |
||
1466 | <Value instant="1">0</Value> |
||
1467 | <Value instant="2">1</Value> |
||
1468 | 6f6af7b8 | hbourbou | <Value instant="3">0</Value> |
1469 | <Value instant="4">2</Value> |
||
1470 | <Value instant="5">0</Value> |
||
1471 | <Value instant="6">3</Value> |
||
1472 | <Value instant="7">0</Value> |
||
1473 | <Value instant="8">4</Value> |
||
1474 | <Value instant="9">0</Value> |
||
1475 | <Value instant="10">5</Value> |
||
1476 | <Value instant="11">0</Value> |
||
1477 | <Value instant="12">6</Value> |
||
1478 | <Value instant="13">0</Value> |
||
1479 | <Value instant="14">7</Value> |
||
1480 | <Value instant="15">0</Value> |
||
1481 | <Value instant="16">8</Value> |
||
1482 | <Value instant="17">0</Value> |
||
1483 | <Value instant="18">9</Value> |
||
1484 | <Value instant="19">0</Value> |
||
1485 | <Value instant="20">10</Value> |
||
1486 | <Value instant="21">0</Value> |
||
1487 | <Value instant="22">11</Value> |
||
1488 | <Value instant="23">0</Value> |
||
1489 | <Value instant="24">12</Value> |
||
1490 | <Value instant="25">0</Value> |
||
1491 | <Value instant="26">13</Value> |
||
1492 | <Value instant="27">0</Value> |
||
1493 | <Value instant="28">14</Value> |
||
1494 | <Value instant="29">0</Value> |
||
1495 | <Value instant="30">15</Value> |
||
1496 | <Value instant="31">0</Value> |
||
1497 | <Value instant="32">16</Value> |
||
1498 | <Value instant="33">0</Value> |
||
1499 | <Value instant="34">17</Value> |
||
1500 | <Value instant="35">0</Value> |
||
1501 | <Value instant="36">18</Value> |
||
1502 | <Value instant="37">0</Value> |
||
1503 | <Value instant="38">19</Value> |
||
1504 | <Value instant="39">0</Value> |
||
1505 | <Value instant="40">20</Value> |
||
1506 | <Value instant="41">0</Value> |
||
1507 | <Value instant="42">21</Value> |
||
1508 | <Value instant="43">0</Value> |
||
1509 | <Value instant="44">22</Value> |
||
1510 | <Value instant="45">0</Value> |
||
1511 | <Value instant="46">23</Value> |
||
1512 | <Value instant="47">0</Value> |
||
1513 | <Value instant="48">24</Value> |
||
1514 | <Value instant="49">0</Value> |
||
1515 | <Value instant="50">25</Value> |
||
1516 | <Value instant="51">0</Value> |
||
1517 | <Value instant="52">26</Value> |
||
1518 | <Value instant="53">0</Value> |
||
1519 | <Value instant="54">27</Value> |
||
1520 | <Value instant="55">0</Value> |
||
1521 | <Value instant="56">28</Value> |
||
1522 | <Value instant="57">0</Value> |
||
1523 | <Value instant="58">29</Value> |
||
1524 | <Value instant="59">0</Value> |
||
1525 | <Value instant="60">30</Value> |
||
1526 | <Value instant="61">0</Value> |
||
1527 | <Value instant="62">30</Value> |
||
1528 | <Value instant="63">-1</Value> |
||
1529 | b14ec4fb | bourbouh | </Stream>
|
1530 | <Stream name="nB" type="int"> |
||
1531 | <Value instant="0">0</Value> |
||
1532 | <Value instant="1">0</Value> |
||
1533 | <Value instant="2">1</Value> |
||
1534 | 6f6af7b8 | hbourbou | <Value instant="3">0</Value> |
1535 | <Value instant="4">2</Value> |
||
1536 | <Value instant="5">0</Value> |
||
1537 | <Value instant="6">3</Value> |
||
1538 | <Value instant="7">0</Value> |
||
1539 | <Value instant="8">4</Value> |
||
1540 | <Value instant="9">0</Value> |
||
1541 | <Value instant="10">5</Value> |
||
1542 | <Value instant="11">0</Value> |
||
1543 | <Value instant="12">6</Value> |
||
1544 | <Value instant="13">0</Value> |
||
1545 | <Value instant="14">7</Value> |
||
1546 | <Value instant="15">0</Value> |
||
1547 | <Value instant="16">8</Value> |
||
1548 | <Value instant="17">0</Value> |
||
1549 | <Value instant="18">9</Value> |
||
1550 | <Value instant="19">0</Value> |
||
1551 | <Value instant="20">10</Value> |
||
1552 | <Value instant="21">0</Value> |
||
1553 | <Value instant="22">11</Value> |
||
1554 | <Value instant="23">0</Value> |
||
1555 | <Value instant="24">12</Value> |
||
1556 | <Value instant="25">0</Value> |
||
1557 | <Value instant="26">13</Value> |
||
1558 | <Value instant="27">0</Value> |
||
1559 | <Value instant="28">14</Value> |
||
1560 | <Value instant="29">0</Value> |
||
1561 | <Value instant="30">15</Value> |
||
1562 | <Value instant="31">0</Value> |
||
1563 | <Value instant="32">16</Value> |
||
1564 | <Value instant="33">0</Value> |
||
1565 | <Value instant="34">17</Value> |
||
1566 | <Value instant="35">0</Value> |
||
1567 | <Value instant="36">18</Value> |
||
1568 | <Value instant="37">0</Value> |
||
1569 | <Value instant="38">19</Value> |
||
1570 | <Value instant="39">0</Value> |
||
1571 | <Value instant="40">20</Value> |
||
1572 | <Value instant="41">0</Value> |
||
1573 | <Value instant="42">21</Value> |
||
1574 | <Value instant="43">0</Value> |
||
1575 | <Value instant="44">22</Value> |
||
1576 | <Value instant="45">0</Value> |
||
1577 | <Value instant="46">23</Value> |
||
1578 | <Value instant="47">0</Value> |
||
1579 | <Value instant="48">24</Value> |
||
1580 | <Value instant="49">0</Value> |
||
1581 | <Value instant="50">25</Value> |
||
1582 | <Value instant="51">0</Value> |
||
1583 | <Value instant="52">26</Value> |
||
1584 | <Value instant="53">0</Value> |
||
1585 | <Value instant="54">27</Value> |
||
1586 | <Value instant="55">0</Value> |
||
1587 | <Value instant="56">28</Value> |
||
1588 | <Value instant="57">0</Value> |
||
1589 | <Value instant="58">29</Value> |
||
1590 | <Value instant="59">0</Value> |
||
1591 | <Value instant="60">30</Value> |
||
1592 | <Value instant="61">0</Value> |
||
1593 | <Value instant="62">31</Value> |
||
1594 | <Value instant="63">0</Value> |
||
1595 | b14ec4fb | bourbouh | </Stream>
|
1596 | <Stream name="nS" type="int"> |
||
1597 | <Value instant="0">0</Value> |
||
1598 | <Value instant="1">0</Value> |
||
1599 | <Value instant="2">0</Value> |
||
1600 | <Value instant="3">0</Value> |
||
1601 | <Value instant="4">0</Value> |
||
1602 | <Value instant="5">0</Value> |
||
1603 | <Value instant="6">0</Value> |
||
1604 | <Value instant="7">0</Value> |
||
1605 | <Value instant="8">0</Value> |
||
1606 | <Value instant="9">0</Value> |
||
1607 | <Value instant="10">0</Value> |
||
1608 | <Value instant="11">0</Value> |
||
1609 | <Value instant="12">0</Value> |
||
1610 | <Value instant="13">0</Value> |
||
1611 | 6f6af7b8 | hbourbou | <Value instant="14">0</Value> |
1612 | <Value instant="15">0</Value> |
||
1613 | <Value instant="16">0</Value> |
||
1614 | <Value instant="17">0</Value> |
||
1615 | <Value instant="18">0</Value> |
||
1616 | <Value instant="19">0</Value> |
||
1617 | <Value instant="20">0</Value> |
||
1618 | <Value instant="21">0</Value> |
||
1619 | <Value instant="22">0</Value> |
||
1620 | <Value instant="23">0</Value> |
||
1621 | <Value instant="24">0</Value> |
||
1622 | <Value instant="25">0</Value> |
||
1623 | <Value instant="26">0</Value> |
||
1624 | <Value instant="27">0</Value> |
||
1625 | <Value instant="28">0</Value> |
||
1626 | <Value instant="29">0</Value> |
||
1627 | <Value instant="30">0</Value> |
||
1628 | <Value instant="31">0</Value> |
||
1629 | <Value instant="32">0</Value> |
||
1630 | <Value instant="33">0</Value> |
||
1631 | <Value instant="34">0</Value> |
||
1632 | <Value instant="35">0</Value> |
||
1633 | <Value instant="36">0</Value> |
||
1634 | <Value instant="37">0</Value> |
||
1635 | <Value instant="38">0</Value> |
||
1636 | <Value instant="39">0</Value> |
||
1637 | <Value instant="40">0</Value> |
||
1638 | <Value instant="41">0</Value> |
||
1639 | <Value instant="42">0</Value> |
||
1640 | <Value instant="43">0</Value> |
||
1641 | <Value instant="44">0</Value> |
||
1642 | <Value instant="45">0</Value> |
||
1643 | <Value instant="46">0</Value> |
||
1644 | <Value instant="47">0</Value> |
||
1645 | <Value instant="48">0</Value> |
||
1646 | <Value instant="49">0</Value> |
||
1647 | <Value instant="50">0</Value> |
||
1648 | <Value instant="51">0</Value> |
||
1649 | <Value instant="52">0</Value> |
||
1650 | <Value instant="53">0</Value> |
||
1651 | <Value instant="54">0</Value> |
||
1652 | <Value instant="55">0</Value> |
||
1653 | <Value instant="56">0</Value> |
||
1654 | <Value instant="57">0</Value> |
||
1655 | <Value instant="58">0</Value> |
||
1656 | <Value instant="59">0</Value> |
||
1657 | <Value instant="60">0</Value> |
||
1658 | <Value instant="61">0</Value> |
||
1659 | <Value instant="62">1</Value> |
||
1660 | <Value instant="63">1</Value> |
||
1661 | b14ec4fb | bourbouh | </Stream>
|
1662 | 6f6af7b8 | hbourbou | <Stream name="avance" type="bool"> |
1663 | b14ec4fb | bourbouh | <Value instant="0">0</Value> |
1664 | <Value instant="1">0</Value> |
||
1665 | <Value instant="2">0</Value> |
||
1666 | <Value instant="3">0</Value> |
||
1667 | <Value instant="4">0</Value> |
||
1668 | <Value instant="5">0</Value> |
||
1669 | <Value instant="6">0</Value> |
||
1670 | <Value instant="7">0</Value> |
||
1671 | <Value instant="8">0</Value> |
||
1672 | <Value instant="9">0</Value> |
||
1673 | <Value instant="10">0</Value> |
||
1674 | <Value instant="11">0</Value> |
||
1675 | <Value instant="12">0</Value> |
||
1676 | <Value instant="13">0</Value> |
||
1677 | 6f6af7b8 | hbourbou | <Value instant="14">0</Value> |
1678 | <Value instant="15">0</Value> |
||
1679 | <Value instant="16">0</Value> |
||
1680 | <Value instant="17">0</Value> |
||
1681 | <Value instant="18">0</Value> |
||
1682 | <Value instant="19">0</Value> |
||
1683 | b14ec4fb | bourbouh | <Value instant="20">1</Value> |
1684 | 6f6af7b8 | hbourbou | <Value instant="21">0</Value> |
1685 | b14ec4fb | bourbouh | <Value instant="22">1</Value> |
1686 | 6f6af7b8 | hbourbou | <Value instant="23">0</Value> |
1687 | b14ec4fb | bourbouh | <Value instant="24">1</Value> |
1688 | 6f6af7b8 | hbourbou | <Value instant="25">0</Value> |
1689 | b14ec4fb | bourbouh | <Value instant="26">1</Value> |
1690 | 6f6af7b8 | hbourbou | <Value instant="27">0</Value> |
1691 | b14ec4fb | bourbouh | <Value instant="28">1</Value> |
1692 | 6f6af7b8 | hbourbou | <Value instant="29">0</Value> |
1693 | b14ec4fb | bourbouh | <Value instant="30">1</Value> |
1694 | 6f6af7b8 | hbourbou | <Value instant="31">0</Value> |
1695 | b14ec4fb | bourbouh | <Value instant="32">1</Value> |
1696 | 6f6af7b8 | hbourbou | <Value instant="33">0</Value> |
1697 | b14ec4fb | bourbouh | <Value instant="34">1</Value> |
1698 | 6f6af7b8 | hbourbou | <Value instant="35">0</Value> |
1699 | b14ec4fb | bourbouh | <Value instant="36">1</Value> |
1700 | 6f6af7b8 | hbourbou | <Value instant="37">0</Value> |
1701 | b14ec4fb | bourbouh | <Value instant="38">1</Value> |
1702 | 6f6af7b8 | hbourbou | <Value instant="39">0</Value> |
1703 | b14ec4fb | bourbouh | <Value instant="40">1</Value> |
1704 | 6f6af7b8 | hbourbou | <Value instant="41">0</Value> |
1705 | b14ec4fb | bourbouh | <Value instant="42">1</Value> |
1706 | 6f6af7b8 | hbourbou | <Value instant="43">0</Value> |
1707 | b14ec4fb | bourbouh | <Value instant="44">1</Value> |
1708 | 6f6af7b8 | hbourbou | <Value instant="45">0</Value> |
1709 | b14ec4fb | bourbouh | <Value instant="46">1</Value> |
1710 | 6f6af7b8 | hbourbou | <Value instant="47">0</Value> |
1711 | b14ec4fb | bourbouh | <Value instant="48">1</Value> |
1712 | 6f6af7b8 | hbourbou | <Value instant="49">0</Value> |
1713 | b14ec4fb | bourbouh | <Value instant="50">1</Value> |
1714 | 6f6af7b8 | hbourbou | <Value instant="51">0</Value> |
1715 | b14ec4fb | bourbouh | <Value instant="52">1</Value> |
1716 | 6f6af7b8 | hbourbou | <Value instant="53">0</Value> |
1717 | b14ec4fb | bourbouh | <Value instant="54">1</Value> |
1718 | 6f6af7b8 | hbourbou | <Value instant="55">0</Value> |
1719 | b14ec4fb | bourbouh | <Value instant="56">1</Value> |
1720 | 6f6af7b8 | hbourbou | <Value instant="57">0</Value> |
1721 | b14ec4fb | bourbouh | <Value instant="58">1</Value> |
1722 | 6f6af7b8 | hbourbou | <Value instant="59">0</Value> |
1723 | b14ec4fb | bourbouh | <Value instant="60">1</Value> |
1724 | 6f6af7b8 | hbourbou | <Value instant="61">0</Value> |
1725 | b14ec4fb | bourbouh | <Value instant="62">1</Value> |
1726 | 6f6af7b8 | hbourbou | <Value instant="63">0</Value> |
1727 | b14ec4fb | bourbouh | </Stream>
|
1728 | </Node>
|
||
1729 | |||
1730 | </Counterexample>
|
||
1731 | </Property>
|
||
1732 | </Results>
|