lustrec-tests / regression_tests / lustre_files / success / lego_robot / controller / lego_anti_windup_lego_anti_windup_input_values @ 01b56d34
History | View | Annotate | Download (4.02 KB)
1 |
95 |
---|---|
2 |
79 |
3 |
97 |
4 |
18 |
5 |
27 |
6 |
32 |
7 |
29 |
8 |
48 |
9 |
88.50104857090425 |
10 |
9 |
11 |
20 |
12 |
79 |
13 |
30 |
14 |
14 |
15 |
55 |
16 |
26 |
17 |
58 |
18 |
23.376371371728688 |
19 |
49 |
20 |
8 |
21 |
18 |
22 |
94 |
23 |
91 |
24 |
75 |
25 |
53 |
26 |
70 |
27 |
85.93887522936676 |
28 |
96 |
29 |
63 |
30 |
38 |
31 |
68 |
32 |
36 |
33 |
84 |
34 |
84 |
35 |
44 |
36 |
99.26365051337086 |
37 |
97 |
38 |
35 |
39 |
10 |
40 |
99 |
41 |
70 |
42 |
21 |
43 |
93 |
44 |
21 |
45 |
7.471543714116402 |
46 |
10 |
47 |
45 |
48 |
88 |
49 |
23 |
50 |
14 |
51 |
22 |
52 |
86 |
53 |
98 |
54 |
86.73543491049205 |
55 |
86 |
56 |
97 |
57 |
73 |
58 |
31 |
59 |
31 |
60 |
77 |
61 |
22 |
62 |
20 |
63 |
68.00112281099526 |
64 |
22 |
65 |
76 |
66 |
50 |
67 |
28 |
68 |
75 |
69 |
5 |
70 |
73 |
71 |
11 |
72 |
34.49129867861265 |
73 |
26 |
74 |
97 |
75 |
1 |
76 |
2 |
77 |
20 |
78 |
70 |
79 |
90 |
80 |
84 |
81 |
37.9118658435175 |
82 |
98 |
83 |
44 |
84 |
49 |
85 |
26 |
86 |
28 |
87 |
79 |
88 |
22 |
89 |
6 |
90 |
87.50438047551475 |
91 |
37 |
92 |
36 |
93 |
99 |
94 |
69 |
95 |
7 |
96 |
11 |
97 |
50 |
98 |
7 |
99 |
86.59489481024724 |
100 |
91 |
101 |
14 |
102 |
54 |
103 |
90 |
104 |
13 |
105 |
54 |
106 |
1 |
107 |
74 |
108 |
16.231830455248275 |
109 |
41 |
110 |
99 |
111 |
70 |
112 |
58 |
113 |
14 |
114 |
13 |
115 |
52 |
116 |
71 |
117 |
50.14023655547059 |
118 |
14 |
119 |
58 |
120 |
76 |
121 |
11 |
122 |
59 |
123 |
2 |
124 |
12 |
125 |
2 |
126 |
24.282158774018225 |
127 |
60 |
128 |
78 |
129 |
39 |
130 |
52 |
131 |
75 |
132 |
96 |
133 |
52 |
134 |
83 |
135 |
46.29947393426313 |
136 |
19 |
137 |
24 |
138 |
32 |
139 |
50 |
140 |
83 |
141 |
86 |
142 |
20 |
143 |
25 |
144 |
25.99238610787523 |
145 |
25 |
146 |
88 |
147 |
0 |
148 |
32 |
149 |
66 |
150 |
45 |
151 |
97 |
152 |
8 |
153 |
50.96035684144846 |
154 |
85 |
155 |
4 |
156 |
47 |
157 |
90 |
158 |
30 |
159 |
57 |
160 |
72 |
161 |
33 |
162 |
47.65164433859754 |
163 |
14 |
164 |
7 |
165 |
52 |
166 |
98 |
167 |
73 |
168 |
44 |
169 |
89 |
170 |
32 |
171 |
45.54722947165691 |
172 |
47 |
173 |
57 |
174 |
84 |
175 |
93 |
176 |
93 |
177 |
25 |
178 |
87 |
179 |
77 |
180 |
80.48256909753583 |
181 |
31 |
182 |
67 |
183 |
8 |
184 |
35 |
185 |
27 |
186 |
6 |
187 |
13 |
188 |
39 |
189 |
30.784392771648672 |
190 |
90 |
191 |
65 |
192 |
22 |
193 |
32 |
194 |
49 |
195 |
47 |
196 |
32 |
197 |
21 |
198 |
43.805394606754966 |
199 |
20 |
200 |
2 |
201 |
31 |
202 |
3 |
203 |
90 |
204 |
97 |
205 |
19 |
206 |
31 |
207 |
36.262695454146474 |
208 |
69 |
209 |
7 |
210 |
26 |
211 |
64 |
212 |
46 |
213 |
30 |
214 |
14 |
215 |
17 |
216 |
79.72199334041382 |
217 |
84 |
218 |
51 |
219 |
85 |
220 |
18 |
221 |
27 |
222 |
13 |
223 |
34 |
224 |
34 |
225 |
89.67376191030341 |
226 |
46 |
227 |
73 |
228 |
21 |
229 |
43 |
230 |
4 |
231 |
37 |
232 |
2 |
233 |
82 |
234 |
30.640987429360667 |
235 |
18 |
236 |
41 |
237 |
78 |
238 |
99 |
239 |
48 |
240 |
47 |
241 |
0 |
242 |
27 |
243 |
17.175574037259413 |
244 |
68 |
245 |
17 |
246 |
31 |
247 |
9 |
248 |
71 |
249 |
68 |
250 |
81 |
251 |
91 |
252 |
65.30570436031279 |
253 |
58 |
254 |
35 |
255 |
82 |
256 |
22 |
257 |
56 |
258 |
21 |
259 |
39 |
260 |
23 |
261 |
45.193824308435225 |
262 |
53 |
263 |
43 |
264 |
96 |
265 |
36 |
266 |
37 |
267 |
36 |
268 |
86 |
269 |
99 |
270 |
42.781626149307385 |
271 |
69 |
272 |
14 |
273 |
37 |
274 |
28 |
275 |
79 |
276 |
97 |
277 |
77 |
278 |
69 |
279 |
52.42453433458888 |
280 |
38 |
281 |
61 |
282 |
41 |
283 |
97 |
284 |
31 |
285 |
59 |
286 |
41 |
287 |
48 |
288 |
95.01947396207888 |
289 |
30 |
290 |
15 |
291 |
92 |
292 |
8 |
293 |
41 |
294 |
70 |
295 |
6 |
296 |
90 |
297 |
62.57625825872849 |
298 |
26 |
299 |
0 |
300 |
17 |
301 |
12 |
302 |
92 |
303 |
45 |
304 |
3 |
305 |
55 |
306 |
82.85660832411065 |
307 |
52 |
308 |
63 |
309 |
8 |
310 |
9 |
311 |
6 |
312 |
13 |
313 |
89 |
314 |
2 |
315 |
77.47875607219983 |
316 |
91 |
317 |
58 |
318 |
38 |
319 |
63 |
320 |
78 |
321 |
76 |
322 |
2 |
323 |
62 |
324 |
36.18841654588544 |
325 |
1 |
326 |
53 |
327 |
55 |
328 |
26 |
329 |
80 |
330 |
17 |
331 |
91 |
332 |
31 |
333 |
75.90554124735591 |
334 |
69 |
335 |
29 |
336 |
89 |
337 |
18 |
338 |
18 |
339 |
7 |
340 |
84 |
341 |
93 |
342 |
32.8801477342119 |
343 |
57 |
344 |
43 |
345 |
89 |
346 |
59 |
347 |
68 |
348 |
76 |
349 |
1 |
350 |
33 |
351 |
65.43936619029547 |
352 |
96 |
353 |
19 |
354 |
81 |
355 |
3 |
356 |
56 |
357 |
33 |
358 |
72 |
359 |
25 |
360 |
41.95874400040515 |
361 |
21 |
362 |
20 |
363 |
2 |
364 |
15 |
365 |
88 |
366 |
73 |
367 |
61 |
368 |
95 |
369 |
87.89363967517289 |
370 |
34 |
371 |
72 |
372 |
48 |
373 |
54 |
374 |
85 |
375 |
63 |
376 |
33 |
377 |
44 |
378 |
51.69597465656519 |
379 |
7 |
380 |
2 |
381 |
33 |
382 |
62 |
383 |
34 |
384 |
58 |
385 |
59 |
386 |
30 |
387 |
78.44304417328554 |
388 |
43 |
389 |
85 |
390 |
58 |
391 |
60 |
392 |
92 |
393 |
1 |
394 |
39 |
395 |
53 |
396 |
2.153891916228068 |
397 |
22 |
398 |
40 |
399 |
30 |
400 |
18 |
401 |
33 |
402 |
95 |
403 |
6 |
404 |
51 |
405 |
45.27963263754265 |
406 |
53 |
407 |
90 |
408 |
48 |
409 |
89 |
410 |
72 |
411 |
47 |
412 |
37 |
413 |
90 |
414 |
32.20901665294914 |
415 |
35 |
416 |
52 |
417 |
96 |
418 |
17 |
419 |
64 |
420 |
45 |
421 |
81 |
422 |
7 |
423 |
21.17524615612396 |
424 |
55 |
425 |
21 |
426 |
89 |
427 |
80 |
428 |
99 |
429 |
37 |
430 |
36 |
431 |
26 |
432 |
53.41266645584012 |
433 |
2 |
434 |
52 |
435 |
21 |
436 |
54 |
437 |
96 |
438 |
27 |
439 |
97 |
440 |
35 |
441 |
86.98868945863205 |
442 |
93 |
443 |
66 |
444 |
83 |
445 |
47 |
446 |
0 |
447 |
66 |
448 |
31 |
449 |
69 |
450 |
55.504381162124105 |
451 |
48 |
452 |
50 |
453 |
75 |
454 |
5 |
455 |
17 |
456 |
35 |
457 |
80 |
458 |
54 |
459 |
46.41068297141786 |
460 |
71 |
461 |
11 |
462 |
7 |
463 |
40 |
464 |
47 |
465 |
72 |
466 |
76 |
467 |
88 |
468 |
92.00844880073518 |
469 |
59 |
470 |
5 |
471 |
24 |
472 |
1 |
473 |
78 |
474 |
49 |
475 |
0 |
476 |
93 |
477 |
52.90742982001307 |
478 |
74 |
479 |
73 |
480 |
7 |
481 |
7 |
482 |
63 |
483 |
69 |
484 |
47 |
485 |
53 |
486 |
57.957757919456775 |
487 |
17 |
488 |
87 |
489 |
27 |
490 |
10 |
491 |
94 |
492 |
99 |
493 |
75 |
494 |
33 |
495 |
36.033740217204624 |
496 |
1 |
497 |
3 |
498 |
17 |
499 |
36 |
500 |
14 |
501 |
11 |
502 |
38 |
503 |
62 |
504 |
57.06493015583215 |
505 |
42 |
506 |
53 |
507 |
47 |
508 |
75 |
509 |
18 |
510 |
84 |
511 |
79 |
512 |
47 |
513 |
22.48040844956559 |
514 |
53 |
515 |
67 |
516 |
14 |
517 |
61 |
518 |
21 |
519 |
13 |
520 |
95 |
521 |
51 |
522 |
22.0702992220713 |
523 |
15 |
524 |
87 |
525 |
45 |
526 |
66 |
527 |
43 |
528 |
48 |
529 |
95 |
530 |
52 |
531 |
95.15182911905946 |
532 |
61 |
533 |
59 |
534 |
66 |
535 |
3 |
536 |
27 |
537 |
26 |
538 |
55 |
539 |
38 |
540 |
41.8252185972494 |
541 |
40 |
542 |
2 |
543 |
53 |
544 |
91 |
545 |
37 |
546 |
97 |
547 |
69 |
548 |
75 |
549 |
24.30506588804997 |
550 |
29 |
551 |
0 |
552 |
28 |
553 |
31 |
554 |
99 |
555 |
5 |
556 |
17 |
557 |
1 |
558 |
12.014888181736582 |
559 |
50 |
560 |
7 |
561 |
14 |
562 |
91 |
563 |
63 |
564 |
50 |
565 |
43 |
566 |
65 |
567 |
51.69970177308416 |
568 |
32 |
569 |
55 |
570 |
34 |
571 |
20 |
572 |
66 |
573 |
96 |
574 |
47 |
575 |
79 |
576 |
46.197587751639134 |
577 |
26 |
578 |
38 |
579 |
50 |
580 |
14 |
581 |
35 |
582 |
77 |
583 |
20 |
584 |
62 |
585 |
20.50019336448825 |
586 |
85 |
587 |
55 |
588 |
33 |
589 |
19 |
590 |
98 |
591 |
84 |
592 |
37 |
593 |
58 |
594 |
0.7596451952686878 |
595 |
14 |
596 |
99 |
597 |
41 |
598 |
53 |
599 |
38 |
600 |
74 |
601 |
7 |
602 |
11 |
603 |
49.34295263945899 |
604 |
71 |
605 |
75 |
606 |
59 |
607 |
41 |
608 |
57 |
609 |
43 |
610 |
2 |
611 |
73 |
612 |
4.992553378013087 |
613 |
34 |
614 |
89 |
615 |
47 |
616 |
14 |
617 |
77 |
618 |
22 |
619 |
58 |
620 |
23 |
621 |
22.845566161520182 |
622 |
18 |
623 |
8 |
624 |
54 |
625 |
10 |
626 |
83 |
627 |
89 |
628 |
0 |
629 |
38 |
630 |
77.13844809519985 |
631 |
51 |
632 |
2 |
633 |
90 |
634 |
16 |
635 |
95 |
636 |
37 |
637 |
10 |
638 |
58 |
639 |
57.52411387823339 |
640 |
71 |
641 |
88 |
642 |
26 |
643 |
48 |
644 |
23 |
645 |
67 |
646 |
1 |
647 |
16 |
648 |
13.082334603744917 |
649 |
41 |
650 |
98 |
651 |
66 |
652 |
20 |
653 |
34 |
654 |
45 |
655 |
76 |
656 |
48 |
657 |
41.53811316432553 |
658 |
0 |
659 |
55 |
660 |
3 |
661 |
47 |
662 |
6 |
663 |
85 |
664 |
29 |
665 |
32 |
666 |
78.36708327650328 |
667 |
20 |
668 |
9 |
669 |
50 |
670 |
30 |
671 |
37 |
672 |
9 |
673 |
45 |
674 |
8 |
675 |
99.15487120489489 |
676 |
88 |
677 |
91 |
678 |
80 |
679 |
85 |
680 |
69 |
681 |
20 |
682 |
52 |
683 |
77 |
684 |
21.15521744577925 |
685 |
32 |
686 |
16 |
687 |
68 |
688 |
69 |
689 |
4 |
690 |
70 |
691 |
12 |
692 |
10 |
693 |
1.8825825737608604 |
694 |
73 |
695 |
3 |
696 |
83 |
697 |
48 |
698 |
24 |
699 |
61 |
700 |
16 |
701 |
46 |
702 |
66.25762704568044 |
703 |
45 |
704 |
39 |
705 |
74 |
706 |
59 |
707 |
67 |
708 |
45 |
709 |
20 |
710 |
51 |
711 |
13.743089661581864 |
712 |
76 |
713 |
27 |
714 |
78 |
715 |
69 |
716 |
72 |
717 |
32 |
718 |
40 |
719 |
15 |
720 |
93.80367623940886 |
721 |
73 |
722 |
98 |
723 |
88 |
724 |
52 |
725 |
10 |
726 |
70 |
727 |
68 |
728 |
36 |
729 |
89.332386855671 |
730 |
79 |
731 |
91 |
732 |
1 |
733 |
96 |
734 |
55 |
735 |
84 |
736 |
71 |
737 |
4 |
738 |
53.7625043251516 |
739 |
2 |
740 |
66 |
741 |
7 |
742 |
14 |
743 |
42 |
744 |
49 |
745 |
33 |
746 |
28 |
747 |
31.653524188969374 |
748 |
10 |
749 |
67 |
750 |
99 |
751 |
61 |
752 |
56 |
753 |
88 |
754 |
96 |
755 |
98 |
756 |
5.3765665892263055 |
757 |
65 |
758 |
55 |
759 |
63 |
760 |
82 |
761 |
5 |
762 |
84 |
763 |
31 |
764 |
20 |
765 |
99.01890610381467 |
766 |
53 |
767 |
76 |
768 |
7 |
769 |
35 |
770 |
49 |
771 |
0 |
772 |
43 |
773 |
12 |
774 |
92.48360918605711 |
775 |
29 |
776 |
0 |
777 |
16 |
778 |
86 |
779 |
95 |
780 |
76 |
781 |
78 |
782 |
46 |
783 |
33.73619830607707 |
784 |
6 |
785 |
73 |
786 |
74 |
787 |
39 |
788 |
84 |
789 |
35 |
790 |
25 |
791 |
51 |
792 |
98.34211306689355 |
793 |
57 |
794 |
86 |
795 |
11 |
796 |
88 |
797 |
60 |
798 |
84 |
799 |
44 |
800 |
57 |
801 |
72.25521865067562 |
802 |
38 |
803 |
64 |
804 |
54 |
805 |
88 |
806 |
19 |
807 |
2 |
808 |
78 |
809 |
74 |
810 |
51.410780757103446 |
811 |
56 |
812 |
14 |
813 |
9 |
814 |
50 |
815 |
91 |
816 |
48 |
817 |
41 |
818 |
40 |
819 |
9.716626493066515 |
820 |
29 |
821 |
51 |
822 |
95 |
823 |
43 |
824 |
89 |
825 |
85 |
826 |
79 |
827 |
66 |
828 |
43.84975971692533 |
829 |
54 |
830 |
39 |
831 |
58 |
832 |
0 |
833 |
10 |
834 |
62 |
835 |
39 |
836 |
25 |
837 |
99.4728857988607 |
838 |
39 |
839 |
4 |
840 |
47 |
841 |
18 |
842 |
94 |
843 |
96 |
844 |
44 |
845 |
13 |
846 |
52.4077850241172 |
847 |
13 |
848 |
88 |
849 |
55 |
850 |
48 |
851 |
9 |
852 |
97 |
853 |
35 |
854 |
77 |
855 |
8.527215796453957 |
856 |
47 |
857 |
22 |
858 |
92 |
859 |
6 |
860 |
42 |
861 |
29 |
862 |
99 |
863 |
30 |
864 |
24.74544905170267 |
865 |
67 |
866 |
24 |
867 |
90 |
868 |
68 |
869 |
0 |
870 |
96 |
871 |
25 |
872 |
3 |
873 |
56.64806482744158 |
874 |
43 |
875 |
50 |
876 |
5 |
877 |
22 |
878 |
77 |
879 |
66 |
880 |
51 |
881 |
9 |
882 |
78.84295458982821 |
883 |
36 |
884 |
59 |
885 |
31 |
886 |
38 |
887 |
88 |
888 |
77 |
889 |
27 |
890 |
87 |
891 |
94.16929334578589 |
892 |
94 |
893 |
65 |
894 |
42 |
895 |
78 |
896 |
79 |
897 |
6 |
898 |
1 |
899 |
72 |
900 |
7.486201403597825 |