Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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