Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / lego_robot / controller / lego_lqr_pur_lego_lqr_pur_input_values @ 01b56d34

History | View | Annotate | Download (4.04 KB)

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