Project

General

Profile

Revision 6f6af7b8 regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_8_top__timeout60_xml.xml

View differences:

regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_8_top__timeout60_xml.xml
1 1
<?xml version="1.0"?>
2 2
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 3
     <Property name="top">
4
      <Date>2016-11-29 19:05</Date>
4
      <Date>2018-11-16 11:13</Date>
5 5
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 6
      <Parse unit="sec">0.00</Parse>
7
      <Query unit="sec">1.40</Query>
7
      <Query unit="sec">1.58</Query>
8 8
      <Answer>CEX</Answer>
9 9
      <Counterexample>
10 10
         <Node name ="Sofar">
......
28 28
                <Value instant="6">1</Value>
29 29
                <Value instant="7">1</Value>
30 30
           </Stream>
31
            <Stream name="X" type="bool">
32
                <Value instant="0">1</Value>
33
                <Value instant="1">1</Value>
34
                <Value instant="2">1</Value>
35
                <Value instant="3">1</Value>
36
                <Value instant="4">1</Value>
37
                <Value instant="5">1</Value>
38
                <Value instant="6">1</Value>
39
                <Value instant="7">1</Value>
40
           </Stream>
41 31
         </Node>
42 32
 <Node name ="top">
43 33
            <Stream name="e6" type="bool">
44
                <Value instant="0">1</Value>
45
                <Value instant="1">1</Value>
46
                <Value instant="2">1</Value>
47
                <Value instant="3">1</Value>
48
                <Value instant="4">1</Value>
49
                <Value instant="5">1</Value>
50
                <Value instant="6">1</Value>
51
                <Value instant="7">1</Value>
52
           </Stream>
53
            <Stream name="e6" type="bool">
54
                <Value instant="0">1</Value>
55
                <Value instant="1">1</Value>
56
                <Value instant="2">1</Value>
57
                <Value instant="3">1</Value>
58
                <Value instant="4">1</Value>
59
                <Value instant="5">1</Value>
60
                <Value instant="6">1</Value>
61
                <Value instant="7">1</Value>
62
           </Stream>
63
            <Stream name="e6" type="bool">
64
                <Value instant="0">1</Value>
65
                <Value instant="1">1</Value>
66
                <Value instant="2">1</Value>
67
                <Value instant="3">1</Value>
68
                <Value instant="4">1</Value>
69
                <Value instant="5">1</Value>
70
                <Value instant="6">1</Value>
71
                <Value instant="7">1</Value>
72
           </Stream>
73
            <Stream name="x1" type="int">
74 34
                <Value instant="0">0</Value>
75
                <Value instant="1">1</Value>
76
                <Value instant="2">0</Value>
77
                <Value instant="3">0</Value>
78
                <Value instant="4">0</Value>
79
                <Value instant="5">0</Value>
80
                <Value instant="6">0</Value>
81
                <Value instant="7">0</Value>
82
           </Stream>
83
            <Stream name="x1" type="int">
84
                <Value instant="0">0</Value>
85
                <Value instant="1">1</Value>
35
                <Value instant="1">0</Value>
86 36
                <Value instant="2">0</Value>
87 37
                <Value instant="3">0</Value>
88 38
                <Value instant="4">0</Value>
......
161 111
                <Value instant="7">0</Value>
162 112
           </Stream>
163 113
            <Stream name="e5" type="bool">
164
                <Value instant="0">1</Value>
165
                <Value instant="1">1</Value>
166
                <Value instant="2">1</Value>
167
                <Value instant="3">1</Value>
168
                <Value instant="4">1</Value>
169
                <Value instant="5">1</Value>
170
                <Value instant="6">1</Value>
171
                <Value instant="7">1</Value>
172
           </Stream>
173
            <Stream name="e4" type="bool">
174
                <Value instant="0">1</Value>
175
                <Value instant="1">1</Value>
176
                <Value instant="2">1</Value>
177
                <Value instant="3">1</Value>
178
                <Value instant="4">1</Value>
179
                <Value instant="5">1</Value>
180
                <Value instant="6">1</Value>
181
                <Value instant="7">1</Value>
182
           </Stream>
183
            <Stream name="e4" type="bool">
184
                <Value instant="0">1</Value>
185
                <Value instant="1">1</Value>
186
                <Value instant="2">1</Value>
187
                <Value instant="3">1</Value>
188
                <Value instant="4">1</Value>
114
                <Value instant="0">0</Value>
115
                <Value instant="1">0</Value>
116
                <Value instant="2">0</Value>
117
                <Value instant="3">0</Value>
118
                <Value instant="4">0</Value>
189 119
                <Value instant="5">1</Value>
190 120
                <Value instant="6">1</Value>
191 121
                <Value instant="7">1</Value>
192 122
           </Stream>
193 123
            <Stream name="e4" type="bool">
194
                <Value instant="0">1</Value>
195
                <Value instant="1">1</Value>
196
                <Value instant="2">1</Value>
197
                <Value instant="3">1</Value>
124
                <Value instant="0">0</Value>
125
                <Value instant="1">0</Value>
126
                <Value instant="2">0</Value>
127
                <Value instant="3">0</Value>
198 128
                <Value instant="4">1</Value>
199
                <Value instant="5">1</Value>
200
                <Value instant="6">1</Value>
201
                <Value instant="7">1</Value>
129
                <Value instant="5">0</Value>
130
                <Value instant="6">0</Value>
131
                <Value instant="7">0</Value>
202 132
           </Stream>
203 133
            <Stream name="x7" type="int">
204 134
                <Value instant="0">1</Value>
......
211 141
                <Value instant="7">3</Value>
212 142
           </Stream>
213 143
            <Stream name="e3" 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
           </Stream>
223
            <Stream name="e2" type="bool">
224
                <Value instant="0">1</Value>
225
                <Value instant="1">1</Value>
226
                <Value instant="2">1</Value>
227
                <Value instant="3">1</Value>
228
                <Value instant="4">1</Value>
229
                <Value instant="5">1</Value>
230
                <Value instant="6">1</Value>
231
                <Value instant="7">1</Value>
232
           </Stream>
233
            <Stream name="init_p2" type="int">
234
                <Value instant="0">1</Value>
144
                <Value instant="0">0</Value>
235 145
                <Value instant="1">0</Value>
236 146
                <Value instant="2">0</Value>
237
                <Value instant="3">0</Value>
147
                <Value instant="3">1</Value>
238 148
                <Value instant="4">0</Value>
239 149
                <Value instant="5">0</Value>
240 150
                <Value instant="6">0</Value>
241 151
                <Value instant="7">0</Value>
242 152
           </Stream>
243
            <Stream name="init_p1" type="int">
244
                <Value instant="0">1</Value>
153
            <Stream name="e2" type="bool">
154
                <Value instant="0">0</Value>
245 155
                <Value instant="1">0</Value>
246
                <Value instant="2">0</Value>
156
                <Value instant="2">1</Value>
247 157
                <Value instant="3">0</Value>
248 158
                <Value instant="4">0</Value>
249 159
                <Value instant="5">0</Value>
250 160
                <Value instant="6">0</Value>
251 161
                <Value instant="7">0</Value>
252 162
           </Stream>
253
            <Stream name="OK" type="bool">
163
            <Stream name="init_p2" type="int">
164
                <Value instant="0">1</Value>
165
           </Stream>
166
            <Stream name="init_p1" type="int">
254 167
                <Value instant="0">1</Value>
255
                <Value instant="1">1</Value>
256
                <Value instant="2">1</Value>
257
                <Value instant="3">1</Value>
258
                <Value instant="4">1</Value>
259
                <Value instant="5">1</Value>
260
                <Value instant="6">1</Value>
261
                <Value instant="7">1</Value>
262 168
           </Stream>
263 169
            <Stream name="OK" type="bool">
264 170
                <Value instant="0">1</Value>
......
268 174
                <Value instant="4">1</Value>
269 175
                <Value instant="5">1</Value>
270 176
                <Value instant="6">1</Value>
271
                <Value instant="7">1</Value>
177
                <Value instant="7">0</Value>
272 178
           </Stream>
273 179
            <Stream name="e1" type="bool">
274 180
                <Value instant="0">1</Value>
275 181
                <Value instant="1">1</Value>
276
                <Value instant="2">1</Value>
277
                <Value instant="3">1</Value>
278
                <Value instant="4">1</Value>
279
                <Value instant="5">1</Value>
280
                <Value instant="6">1</Value>
281
                <Value instant="7">1</Value>
182
                <Value instant="2">0</Value>
183
                <Value instant="3">0</Value>
184
                <Value instant="4">0</Value>
185
                <Value instant="5">0</Value>
186
                <Value instant="6">0</Value>
187
                <Value instant="7">0</Value>
282 188
           </Stream>
283 189
            <Stream name="p2" type="int">
284 190
                <Value instant="0">1</Value>
......
300 206
                <Value instant="6">1</Value>
301 207
                <Value instant="7">1</Value>
302 208
           </Stream>
303
            <Stream name="x4" type="int">
304
                <Value instant="0">0</Value>
305
                <Value instant="1">0</Value>
306
                <Value instant="2">0</Value>
307
                <Value instant="3">0</Value>
308
                <Value instant="4">1</Value>
309
                <Value instant="5">1</Value>
310
                <Value instant="6">1</Value>
311
                <Value instant="7">1</Value>
312
           </Stream>
313 209
            <Stream name="First" type="int">
314 210
                <Value instant="0">1</Value>
315 211
                <Value instant="1">1</Value>
......
321 217
                <Value instant="7">1</Value>
322 218
           </Stream>
323 219
         </Node>
324
 <Node name ="excludes6">
325
            <Stream name="excludes" type="bool">
326
                <Value instant="0">1</Value>
327
                <Value instant="1">1</Value>
328
                <Value instant="2">1</Value>
329
                <Value instant="3">1</Value>
330
                <Value instant="4">1</Value>
331
                <Value instant="5">1</Value>
332
                <Value instant="6">1</Value>
333
                <Value instant="7">1</Value>
334
           </Stream>
335
            <Stream name="X2" type="bool">
336
                <Value instant="0">1</Value>
337
                <Value instant="1">1</Value>
338
                <Value instant="2">1</Value>
339
                <Value instant="3">1</Value>
340
                <Value instant="4">1</Value>
341
                <Value instant="5">1</Value>
342
                <Value instant="6">1</Value>
343
                <Value instant="7">1</Value>
344
           </Stream>
345
            <Stream name="X3" type="bool">
346
                <Value instant="0">1</Value>
347
                <Value instant="1">1</Value>
348
                <Value instant="2">1</Value>
349
                <Value instant="3">1</Value>
350
                <Value instant="4">1</Value>
351
                <Value instant="5">1</Value>
352
                <Value instant="6">1</Value>
353
                <Value instant="7">1</Value>
354
           </Stream>
355
            <Stream name="X1" type="bool">
356
                <Value instant="0">1</Value>
357
                <Value instant="1">1</Value>
358
                <Value instant="2">1</Value>
359
                <Value instant="3">1</Value>
360
                <Value instant="4">1</Value>
361
                <Value instant="5">1</Value>
362
                <Value instant="6">1</Value>
363
                <Value instant="7">1</Value>
364
           </Stream>
365
            <Stream name="X6" type="bool">
366
                <Value instant="0">1</Value>
367
                <Value instant="1">1</Value>
368
                <Value instant="2">1</Value>
369
                <Value instant="3">1</Value>
370
                <Value instant="4">1</Value>
371
                <Value instant="5">1</Value>
372
                <Value instant="6">1</Value>
373
                <Value instant="7">1</Value>
374
           </Stream>
375
            <Stream name="X4" type="bool">
376
                <Value instant="0">1</Value>
377
                <Value instant="1">1</Value>
378
                <Value instant="2">1</Value>
379
                <Value instant="3">1</Value>
380
                <Value instant="4">1</Value>
381
                <Value instant="5">1</Value>
382
                <Value instant="6">1</Value>
383
                <Value instant="7">1</Value>
384
           </Stream>
385
            <Stream name="X5" type="bool">
386
                <Value instant="0">1</Value>
387
                <Value instant="1">1</Value>
388
                <Value instant="2">1</Value>
389
                <Value instant="3">1</Value>
390
                <Value instant="4">1</Value>
391
                <Value instant="5">1</Value>
392
                <Value instant="6">1</Value>
393
                <Value instant="7">1</Value>
394
           </Stream>
395
         </Node>
396 220
 <Node name ="swimingpool">
397 221
            <Stream name="p2" type="int">
398 222
                <Value instant="0">1</Value>
......
404 228
                <Value instant="6">1</Value>
405 229
                <Value instant="7">1</Value>
406 230
           </Stream>
407
            <Stream name="p2" type="int">
408
                <Value instant="0">1</Value>
409
                <Value instant="1">1</Value>
410
                <Value instant="2">1</Value>
411
                <Value instant="3">1</Value>
412
                <Value instant="4">1</Value>
413
                <Value instant="5">1</Value>
414
                <Value instant="6">1</Value>
415
                <Value instant="7">1</Value>
416
           </Stream>
417
            <Stream name="p2" type="int">
418
                <Value instant="0">1</Value>
419
                <Value instant="1">1</Value>
420
                <Value instant="2">1</Value>
421
                <Value instant="3">1</Value>
422
                <Value instant="4">1</Value>
423
                <Value instant="5">1</Value>
424
                <Value instant="6">1</Value>
425
                <Value instant="7">1</Value>
426
           </Stream>
427
            <Stream name="p2" type="int">
428
                <Value instant="0">1</Value>
429
                <Value instant="1">1</Value>
430
                <Value instant="2">1</Value>
431
                <Value instant="3">1</Value>
432
                <Value instant="4">1</Value>
433
                <Value instant="5">1</Value>
434
                <Value instant="6">1</Value>
435
                <Value instant="7">1</Value>
436
           </Stream>
437
            <Stream name="p2" type="int">
438
                <Value instant="0">1</Value>
439
                <Value instant="1">1</Value>
440
                <Value instant="2">1</Value>
441
                <Value instant="3">1</Value>
442
                <Value instant="4">1</Value>
443
                <Value instant="5">1</Value>
444
                <Value instant="6">1</Value>
445
                <Value instant="7">1</Value>
446
           </Stream>
447
            <Stream name="x1" type="int">
448
                <Value instant="0">0</Value>
449
                <Value instant="1">1</Value>
450
                <Value instant="2">0</Value>
451
                <Value instant="3">0</Value>
452
                <Value instant="4">0</Value>
453
                <Value instant="5">0</Value>
454
                <Value instant="6">0</Value>
455
                <Value instant="7">0</Value>
456
           </Stream>
457
            <Stream name="x1" type="int">
458
                <Value instant="0">0</Value>
459
                <Value instant="1">1</Value>
460
                <Value instant="2">0</Value>
461
                <Value instant="3">0</Value>
462
                <Value instant="4">0</Value>
463
                <Value instant="5">0</Value>
464
                <Value instant="6">0</Value>
465
                <Value instant="7">0</Value>
466
           </Stream>
467 231
            <Stream name="x1" type="int">
468 232
                <Value instant="0">0</Value>
469 233
                <Value instant="1">1</Value>
......
495 259
                <Value instant="7">1</Value>
496 260
           </Stream>
497 261
            <Stream name="e4" type="bool">
498
                <Value instant="0">1</Value>
499
                <Value instant="1">1</Value>
500
                <Value instant="2">1</Value>
501
                <Value instant="3">1</Value>
262
                <Value instant="0">0</Value>
263
                <Value instant="1">0</Value>
264
                <Value instant="2">0</Value>
265
                <Value instant="3">0</Value>
502 266
                <Value instant="4">1</Value>
503
                <Value instant="5">1</Value>
504
                <Value instant="6">1</Value>
505
                <Value instant="7">1</Value>
267
                <Value instant="5">0</Value>
268
                <Value instant="6">0</Value>
269
                <Value instant="7">0</Value>
506 270
           </Stream>
507 271
            <Stream name="e5" type="bool">
508
                <Value instant="0">1</Value>
509
                <Value instant="1">1</Value>
510
                <Value instant="2">1</Value>
511
                <Value instant="3">1</Value>
512
                <Value instant="4">1</Value>
272
                <Value instant="0">0</Value>
273
                <Value instant="1">0</Value>
274
                <Value instant="2">0</Value>
275
                <Value instant="3">0</Value>
276
                <Value instant="4">0</Value>
513 277
                <Value instant="5">1</Value>
514 278
                <Value instant="6">1</Value>
515 279
                <Value instant="7">1</Value>
......
525 289
                <Value instant="7">0</Value>
526 290
           </Stream>
527 291
            <Stream name="e6" type="bool">
528
                <Value instant="0">1</Value>
529
                <Value instant="1">1</Value>
530
                <Value instant="2">1</Value>
531
                <Value instant="3">1</Value>
532
                <Value instant="4">1</Value>
533
                <Value instant="5">1</Value>
534
                <Value instant="6">1</Value>
535
                <Value instant="7">1</Value>
536
           </Stream>
537
            <Stream name="e6" type="bool">
538
                <Value instant="0">1</Value>
539
                <Value instant="1">1</Value>
540
                <Value instant="2">1</Value>
541
                <Value instant="3">1</Value>
542
                <Value instant="4">1</Value>
543
                <Value instant="5">1</Value>
544
                <Value instant="6">1</Value>
545
                <Value instant="7">1</Value>
292
                <Value instant="0">0</Value>
293
                <Value instant="1">0</Value>
294
                <Value instant="2">0</Value>
295
                <Value instant="3">0</Value>
296
                <Value instant="4">0</Value>
297
                <Value instant="5">0</Value>
298
                <Value instant="6">0</Value>
299
                <Value instant="7">0</Value>
546 300
           </Stream>
547 301
            <Stream name="x7" type="int">
548 302
                <Value instant="0">1</Value>
......
576 330
           </Stream>
577 331
            <Stream name="init_p2" type="int">
578 332
                <Value instant="0">1</Value>
579
                <Value instant="1">0</Value>
580
                <Value instant="2">0</Value>
581
                <Value instant="3">0</Value>
582
                <Value instant="4">0</Value>
583
                <Value instant="5">0</Value>
584
                <Value instant="6">0</Value>
585
                <Value instant="7">0</Value>
333
                <Value instant="1">1</Value>
334
                <Value instant="2">1</Value>
335
                <Value instant="3">1</Value>
336
                <Value instant="4">1</Value>
337
                <Value instant="5">1</Value>
338
                <Value instant="6">2</Value>
339
                <Value instant="7">3</Value>
586 340
           </Stream>
587 341
            <Stream name="init_p1" type="int">
588 342
                <Value instant="0">1</Value>
589
                <Value instant="1">0</Value>
343
                <Value instant="1">1</Value>
344
                <Value instant="2">1</Value>
345
                <Value instant="3">1</Value>
346
                <Value instant="4">1</Value>
347
                <Value instant="5">1</Value>
348
                <Value instant="6">2</Value>
349
                <Value instant="7">3</Value>
350
           </Stream>
351
            <Stream name="e1" type="bool">
352
                <Value instant="0">1</Value>
353
                <Value instant="1">1</Value>
590 354
                <Value instant="2">0</Value>
591 355
                <Value instant="3">0</Value>
592 356
                <Value instant="4">0</Value>
......
594 358
                <Value instant="6">0</Value>
595 359
                <Value instant="7">0</Value>
596 360
           </Stream>
597
            <Stream name="e1" type="bool">
598
                <Value instant="0">1</Value>
599
                <Value instant="1">1</Value>
600
                <Value instant="2">1</Value>
601
                <Value instant="3">1</Value>
602
                <Value instant="4">1</Value>
603
                <Value instant="5">1</Value>
604
                <Value instant="6">1</Value>
605
                <Value instant="7">1</Value>
606
           </Stream>
607 361
            <Stream name="x6" type="int">
608 362
                <Value instant="0">1</Value>
609 363
                <Value instant="1">0</Value>
......
614 368
                <Value instant="6">0</Value>
615 369
                <Value instant="7">0</Value>
616 370
           </Stream>
617
            <Stream name="x6" type="int">
618
                <Value instant="0">1</Value>
371
            <Stream name="e3" type="bool">
372
                <Value instant="0">0</Value>
619 373
                <Value instant="1">0</Value>
620 374
                <Value instant="2">0</Value>
621 375
                <Value instant="3">1</Value>
......
624 378
                <Value instant="6">0</Value>
625 379
                <Value instant="7">0</Value>
626 380
           </Stream>
627
            <Stream name="e3" type="bool">
628
                <Value instant="0">1</Value>
629
                <Value instant="1">1</Value>
381
            <Stream name="e2" type="bool">
382
                <Value instant="0">0</Value>
383
                <Value instant="1">0</Value>
630 384
                <Value instant="2">1</Value>
631
                <Value instant="3">1</Value>
632
                <Value instant="4">1</Value>
633
                <Value instant="5">1</Value>
634
                <Value instant="6">1</Value>
635
                <Value instant="7">1</Value>
385
                <Value instant="3">0</Value>
386
                <Value instant="4">0</Value>
387
                <Value instant="5">0</Value>
388
                <Value instant="6">0</Value>
389
                <Value instant="7">0</Value>
636 390
           </Stream>
637
            <Stream name="e3" type="bool">
391
         </Node>
392
 <Node name ="excludes6_fun">
393
            <Stream name="excludes" type="unk">
638 394
                <Value instant="0">1</Value>
639 395
                <Value instant="1">1</Value>
640 396
                <Value instant="2">1</Value>
......
644 400
                <Value instant="6">1</Value>
645 401
                <Value instant="7">1</Value>
646 402
           </Stream>
647
            <Stream name="e2" type="bool">
648
                <Value instant="0">1</Value>
649
                <Value instant="1">1</Value>
403
            <Stream name="X2" type="unk">
404
                <Value instant="0">0</Value>
405
                <Value instant="1">0</Value>
650 406
                <Value instant="2">1</Value>
407
                <Value instant="3">0</Value>
408
                <Value instant="4">0</Value>
409
                <Value instant="5">0</Value>
410
                <Value instant="6">0</Value>
411
                <Value instant="7">0</Value>
412
           </Stream>
413
            <Stream name="X3" type="unk">
414
                <Value instant="0">0</Value>
415
                <Value instant="1">0</Value>
416
                <Value instant="2">0</Value>
651 417
                <Value instant="3">1</Value>
652
                <Value instant="4">1</Value>
653
                <Value instant="5">1</Value>
654
                <Value instant="6">1</Value>
655
                <Value instant="7">1</Value>
418
                <Value instant="4">0</Value>
419
                <Value instant="5">0</Value>
420
                <Value instant="6">0</Value>
421
                <Value instant="7">0</Value>
656 422
           </Stream>
657
         </Node>
658
 <Node name ="First">
659
            <Stream name="X" type="int">
423
            <Stream name="X1" type="unk">
660 424
                <Value instant="0">1</Value>
661 425
                <Value instant="1">1</Value>
662 426
                <Value instant="2">0</Value>
......
665 429
                <Value instant="5">0</Value>
666 430
                <Value instant="6">0</Value>
667 431
                <Value instant="7">0</Value>
668
                <Value instant="8">0</Value>
669
                <Value instant="9">0</Value>
670
                <Value instant="10">0</Value>
671
                <Value instant="11">0</Value>
672
                <Value instant="12">0</Value>
673
                <Value instant="13">0</Value>
674
                <Value instant="14">0</Value>
675
                <Value instant="15">0</Value>
676 432
           </Stream>
677
            <Stream name="X" type="int">
678
                <Value instant="0">1</Value>
679
                <Value instant="1">1</Value>
433
            <Stream name="X6" type="unk">
434
                <Value instant="0">0</Value>
435
                <Value instant="1">0</Value>
680 436
                <Value instant="2">0</Value>
681 437
                <Value instant="3">0</Value>
682 438
                <Value instant="4">0</Value>
683 439
                <Value instant="5">0</Value>
684 440
                <Value instant="6">0</Value>
685 441
                <Value instant="7">0</Value>
686
                <Value instant="8">0</Value>
687
                <Value instant="9">0</Value>
688
                <Value instant="10">0</Value>
689
                <Value instant="11">0</Value>
690
                <Value instant="12">0</Value>
691
                <Value instant="13">0</Value>
692
                <Value instant="14">0</Value>
693
                <Value instant="15">0</Value>
442
           </Stream>
443
            <Stream name="X4" type="unk">
444
                <Value instant="0">0</Value>
445
                <Value instant="1">0</Value>
446
                <Value instant="2">0</Value>
447
                <Value instant="3">0</Value>
448
                <Value instant="4">1</Value>
449
                <Value instant="5">0</Value>
450
                <Value instant="6">0</Value>
451
                <Value instant="7">0</Value>
452
           </Stream>
453
            <Stream name="X5" type="unk">
454
                <Value instant="0">0</Value>
455
                <Value instant="1">0</Value>
456
                <Value instant="2">0</Value>
457
                <Value instant="3">0</Value>
458
                <Value instant="4">0</Value>
459
                <Value instant="5">1</Value>
460
                <Value instant="6">1</Value>
461
                <Value instant="7">1</Value>
462
           </Stream>
463
         </Node>
464
 <Node name ="First">
465
            <Stream name="X" type="int">
466
                <Value instant="0">1</Value>
467
                <Value instant="1">1</Value>
468
                <Value instant="2">1</Value>
469
                <Value instant="3">1</Value>
470
                <Value instant="4">1</Value>
471
                <Value instant="5">1</Value>
472
                <Value instant="6">1</Value>
473
                <Value instant="7">1</Value>
474
                <Value instant="8">1</Value>
475
                <Value instant="9">1</Value>
476
                <Value instant="10">1</Value>
477
                <Value instant="11">1</Value>
478
                <Value instant="12">2</Value>
479
                <Value instant="13">2</Value>
480
                <Value instant="14">3</Value>
481
                <Value instant="15">3</Value>
694 482
           </Stream>
695 483
            <Stream name="First" type="int">
696 484
                <Value instant="0">1</Value>

Also available in: Unified diff