Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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