Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / cruise_controller_07_top_input_values @ b745c1a8

History | View | Annotate | Download (3.24 KB)

1 cac038b0 bourbouh
1
2
1
3
1
4
1
5
0
6
46
7
8.471406345008049
8
0
9
1
10
1
11
1
12
0
13
0
14
54
15
87.97714119474907
16
0
17
1
18
1
19
0
20
0
21
0
22
30
23
40.168407072031
24
0
25
0
26
0
27
0
28
0
29
1
30
84
31
40.81348431923784
32
0
33
1
34
1
35
1
36
0
37
0
38
50
39
96.95118192532586
40
0
41
0
42
0
43
0
44
0
45
1
46
6
47
17.218780092658758
48
1
49
1
50
1
51
1
52
0
53
0
54
2
55
82.82032025043887
56
1
57
0
58
0
59
1
60
0
61
0
62
28
63
55.477181870209805
64
1
65
0
66
0
67
0
68
1
69
0
70
87
71
61.78306221140476
72
1
73
1
74
1
75
1
76
1
77
1
78
20
79
91.94826044400357
80
0
81
1
82
0
83
0
84
0
85
0
86
31
87
86.77875355616985
88
0
89
0
90
0
91
0
92
0
93
0
94
54
95
32.32663445527286
96
0
97
0
98
1
99
0
100
0
101
0
102
37
103
15.032930302380665
104
1
105
0
106
1
107
0
108
0
109
0
110
32
111
10.654893302505053
112
0
113
0
114
0
115
1
116
1
117
1
118
57
119
59.74148632511502
120
0
121
0
122
0
123
1
124
1
125
1
126
31
127
35.72707860115383
128
0
129
0
130
1
131
1
132
0
133
0
134
28
135
35.178489041041274
136
0
137
0
138
1
139
0
140
0
141
1
142
99
143
28.247678888065998
144
0
145
0
146
0
147
0
148
1
149
1
150
28
151
54.950724992804254
152
1
153
0
154
1
155
0
156
1
157
1
158
66
159
40.98949320430181
160
0
161
1
162
0
163
1
164
0
165
1
166
2
167
40.94146239015177
168
1
169
1
170
0
171
0
172
0
173
1
174
5
175
59.55679175867866
176
1
177
1
178
0
179
1
180
0
181
0
182
16
183
56.1795871943185
184
1
185
0
186
1
187
0
188
0
189
0
190
55
191
18.855845526026105
192
1
193
0
194
0
195
1
196
0
197
0
198
5
199
57.95543188352199
200
0
201
0
202
1
203
0
204
0
205
1
206
34
207
34.137849805308484
208
0
209
1
210
1
211
1
212
1
213
0
214
58
215
83.24530007532297
216
1
217
0
218
1
219
1
220
1
221
0
222
45
223
44.927296460878296
224
0
225
0
226
0
227
0
228
1
229
1
230
74
231
38.474809917013275
232
0
233
0
234
1
235
0
236
1
237
0
238
60
239
45.737566772731405
240
1
241
0
242
0
243
1
244
1
245
1
246
28
247
72.20695307133025
248
0
249
0
250
0
251
1
252
0
253
0
254
98
255
34.85875870948707
256
1
257
1
258
0
259
1
260
1
261
0
262
35
263
66.91689270812459
264
1
265
0
266
0
267
1
268
0
269
0
270
54
271
42.680371874074375
272
0
273
1
274
1
275
1
276
0
277
1
278
9
279
17.725096065029298
280
0
281
1
282
1
283
1
284
1
285
0
286
22
287
7.16732133000092
288
0
289
1
290
1
291
0
292
1
293
1
294
91
295
4.668301645210349
296
0
297
1
298
1
299
0
300
1
301
0
302
94
303
93.96293521292091
304
1
305
1
306
1
307
0
308
0
309
0
310
51
311
3.7084279613275983
312
0
313
1
314
0
315
1
316
0
317
0
318
43
319
44.23272206302678
320
1
321
1
322
0
323
1
324
1
325
1
326
25
327
8.095986177841219
328
0
329
1
330
1
331
1
332
1
333
1
334
89
335
68.61030354128019
336
0
337
0
338
1
339
0
340
1
341
0
342
30
343
39.321524347973714
344
0
345
1
346
1
347
0
348
1
349
0
350
86
351
44.1493160363459
352
1
353
1
354
1
355
1
356
0
357
1
358
80
359
82.46002473346246
360
0
361
0
362
0
363
0
364
0
365
1
366
64
367
6.779440607626364
368
0
369
0
370
1
371
1
372
0
373
1
374
53
375
46.712769178246575
376
0
377
0
378
0
379
0
380
0
381
0
382
0
383
24.97830498886392
384
0
385
0
386
1
387
0
388
0
389
1
390
45
391
1.3722560911010429
392
0
393
0
394
1
395
0
396
1
397
1
398
68
399
84.43163101663093
400
0
401
0
402
1
403
1
404
1
405
0
406
96
407
64.54038805897049
408
0
409
0
410
0
411
1
412
1
413
1
414
44
415
84.91557502330166
416
1
417
0
418
1
419
0
420
0
421
1
422
75
423
43.08518980796576
424
1
425
0
426
0
427
0
428
0
429
1
430
91
431
68.68517688162584
432
1
433
0
434
1
435
0
436
0
437
1
438
14
439
76.68751957642492
440
0
441
0
442
1
443
1
444
0
445
0
446
38
447
21.016571272028994
448
1
449
0
450
1
451
1
452
0
453
1
454
40
455
39.29600749483376
456
1
457
0
458
0
459
0
460
0
461
0
462
25
463
88.06745096721036
464
0
465
1
466
1
467
0
468
0
469
1
470
37
471
1.6866387998840882
472
1
473
0
474
0
475
1
476
0
477
1
478
98
479
32.299618458656035
480
1
481
1
482
1
483
1
484
0
485
1
486
92
487
43.939839900136924
488
1
489
0
490
0
491
0
492
0
493
0
494
54
495
55.9864015249818
496
1
497
0
498
1
499
0
500
1
501
0
502
72
503
77.60510268828338
504
0
505
0
506
0
507
0
508
1
509
1
510
79
511
54.99011410445034
512
0
513
0
514
1
515
0
516
1
517
1
518
52
519
54.81610467035338
520
0
521
0
522
0
523
1
524
1
525
1
526
93
527
62.324298644458466
528
1
529
1
530
1
531
1
532
0
533
0
534
60
535
5.824317763315845
536
0
537
1
538
1
539
1
540
0
541
0
542
94
543
5.8895114933490085
544
0
545
1
546
0
547
0
548
1
549
0
550
41
551
32.59560256431679
552
0
553
1
554
0
555
1
556
1
557
1
558
3
559
7.921730157596551
560
1
561
1
562
0
563
0
564
1
565
1
566
7
567
20.68551123260297
568
1
569
1
570
0
571
0
572
1
573
0
574
22
575
9.687125482520798
576
1
577
0
578
1
579
1
580
1
581
1
582
87
583
84.11052921518697
584
0
585
0
586
0
587
0
588
1
589
0
590
7
591
90.98078851397277
592
0
593
1
594
1
595
0
596
1
597
1
598
74
599
89.84769881255093
600
0
601
1
602
1
603
1
604
1
605
0
606
74
607
5.623807763432509
608
0
609
0
610
1
611
1
612
0
613
0
614
22
615
10.713673354239717
616
0
617
1
618
0
619
0
620
1
621
0
622
53
623
49.498831314715986
624
0
625
1
626
1
627
0
628
1
629
1
630
21
631
20.943674213930695
632
1
633
0
634
1
635
1
636
1
637
1
638
66
639
24.221981905071786
640
0
641
0
642
1
643
0
644
0
645
0
646
19
647
70.34798645511835
648
0
649
1
650
0
651
1
652
0
653
0
654
63
655
26.486544604307593
656
0
657
1
658
1
659
0
660
0
661
0
662
62
663
16.32495460292419
664
0
665
1
666
1
667
0
668
1
669
1
670
5
671
84.58521435591749
672
1
673
1
674
1
675
1
676
1
677
1
678
71
679
92.7976334296879
680
0
681
1
682
1
683
1
684
1
685
0
686
95
687
6.976870005455027
688
0
689
1
690
0
691
0
692
1
693
1
694
4
695
31.017179515343685
696
1
697
0
698
1
699
0
700
0
701
0
702
35
703
33.6252499451114
704
1
705
0
706
0
707
0
708
1
709
1
710
30
711
1.9627033388360027
712
1
713
1
714
0
715
0
716
0
717
0
718
59
719
0.05813869285060669
720
1
721
0
722
1
723
1
724
1
725
0
726
50
727
15.185713924393395
728
1
729
0
730
0
731
1
732
0
733
1
734
30
735
59.889071634707555
736
0
737
0
738
0
739
1
740
0
741
1
742
59
743
94.04102948322657
744
1
745
0
746
1
747
0
748
1
749
0
750
35
751
23.04119492327723
752
1
753
0
754
0
755
1
756
0
757
1
758
73
759
66.22273740291514
760
0
761
1
762
0
763
0
764
1
765
0
766
22
767
3.640642970232244
768
1
769
1
770
0
771
1
772
1
773
1
774
81
775
54.90345709671698
776
0
777
0
778
1
779
0
780
0
781
1
782
33
783
26.38458703746769
784
1
785
1
786
1
787
1
788
1
789
0
790
78
791
45.85910421397191
792
0
793
1
794
1
795
0
796
1
797
0
798
99
799
21.52074909330296
800
1