Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.24 KB)

1
0
2
1
3
0
4
0
5
1
6
86
7
14.63075267890468
8
1
9
0
10
1
11
1
12
1
13
0
14
91
15
30.967464457010674
16
0
17
1
18
0
19
1
20
1
21
0
22
64
23
6.502305374623807
24
1
25
1
26
0
27
1
28
1
29
1
30
88
31
94.64049579780404
32
1
33
0
34
1
35
0
36
0
37
1
38
70
39
30.019390770083398
40
1
41
1
42
1
43
1
44
0
45
1
46
31
47
32.152527329132475
48
0
49
0
50
1
51
1
52
1
53
1
54
0
55
88.52139320538993
56
1
57
1
58
1
59
0
60
1
61
1
62
80
63
61.97110454513252
64
0
65
0
66
1
67
1
68
1
69
1
70
68
71
84.12091421639855
72
0
73
1
74
1
75
1
76
0
77
0
78
70
79
3.915521284754453
80
0
81
1
82
1
83
0
84
0
85
1
86
49
87
49.48650813247335
88
0
89
0
90
1
91
1
92
1
93
0
94
1
95
81.93433951574526
96
1
97
1
98
0
99
0
100
1
101
1
102
68
103
91.95194956706653
104
0
105
1
106
0
107
0
108
0
109
0
110
26
111
79.36052805470071
112
0
113
0
114
1
115
1
116
1
117
0
118
65
119
64.9887776720094
120
0
121
1
122
1
123
0
124
1
125
1
126
44
127
42.471648039757426
128
0
129
1
130
1
131
0
132
1
133
1
134
81
135
19.85089829933201
136
0
137
1
138
0
139
1
140
0
141
1
142
32
143
27.44925186371898
144
0
145
1
146
1
147
1
148
0
149
0
150
78
151
1.8198527647651286
152
0
153
0
154
0
155
0
156
1
157
1
158
0
159
70.95935674041412
160
0
161
0
162
0
163
0
164
1
165
1
166
50
167
48.10892051811735
168
1
169
1
170
0
171
1
172
1
173
1
174
36
175
21.221820688277802
176
1
177
1
178
0
179
1
180
0
181
1
182
93
183
91.11535923464103
184
1
185
1
186
1
187
1
188
1
189
0
190
58
191
47.574320549537994
192
1
193
0
194
0
195
1
196
1
197
1
198
95
199
19.253388059301802
200
0
201
0
202
1
203
1
204
1
205
1
206
70
207
26.539704385608097
208
1
209
0
210
0
211
0
212
1
213
0
214
17
215
91.15438350498137
216
1
217
0
218
0
219
0
220
0
221
1
222
84
223
63.991403467682225
224
0
225
0
226
0
227
1
228
1
229
0
230
73
231
60.83900797053611
232
0
233
1
234
0
235
1
236
0
237
1
238
88
239
62.75133974904578
240
1
241
0
242
0
243
1
244
1
245
0
246
55
247
48.762434548600254
248
0
249
0
250
0
251
1
252
1
253
1
254
18
255
31.173986674316712
256
0
257
0
258
1
259
0
260
0
261
0
262
91
263
19.990859093151602
264
1
265
0
266
0
267
1
268
1
269
1
270
97
271
38.297145959268775
272
0
273
0
274
1
275
0
276
0
277
0
278
72
279
57.538680719134206
280
1
281
0
282
0
283
0
284
0
285
1
286
49
287
62.975986189936286
288
1
289
0
290
1
291
0
292
1
293
1
294
69
295
81.61805327438391
296
1
297
1
298
1
299
1
300
0
301
0
302
12
303
11.034782955386468
304
1
305
1
306
0
307
1
308
1
309
0
310
44
311
92.0094876093164
312
1
313
0
314
0
315
0
316
0
317
0
318
92
319
87.06817107573498
320
0
321
1
322
0
323
1
324
1
325
0
326
94
327
42.96171550947161
328
0
329
0
330
1
331
0
332
0
333
0
334
42
335
77.18411184231053
336
0
337
0
338
1
339
0
340
1
341
1
342
62
343
2.990354365485881
344
1
345
0
346
1
347
0
348
1
349
1
350
38
351
74.32149630093222
352
1
353
1
354
0
355
1
356
0
357
1
358
34
359
27.80423951469665
360
1
361
1
362
0
363
1
364
1
365
1
366
77
367
99.28436802974117
368
1
369
1
370
1
371
1
372
1
373
1
374
49
375
51.17162493613054
376
0
377
0
378
0
379
0
380
0
381
0
382
62
383
90.52612411628843
384
1
385
1
386
0
387
1
388
0
389
0
390
54
391
77.15832912827253
392
0
393
1
394
0
395
0
396
0
397
0
398
33
399
45.25534210897111
400
1
401
0
402
1
403
0
404
0
405
1
406
75
407
45.04583905000386
408
0
409
1
410
0
411
1
412
1
413
1
414
50
415
88.81041265614653
416
0
417
1
418
0
419
1
420
1
421
0
422
21
423
96.54699230148891
424
0
425
0
426
0
427
0
428
1
429
0
430
94
431
13.20448754272665
432
0
433
1
434
0
435
0
436
0
437
0
438
60
439
24.145434196440373
440
1
441
1
442
0
443
1
444
1
445
0
446
31
447
1.274980007620219
448
0
449
1
450
1
451
0
452
0
453
1
454
36
455
59.11440453952921
456
1
457
0
458
1
459
1
460
0
461
0
462
29
463
53.47986539869194
464
0
465
1
466
1
467
0
468
1
469
1
470
58
471
79.10010666466297
472
1
473
0
474
0
475
1
476
1
477
0
478
19
479
98.41130335795606
480
1
481
1
482
1
483
0
484
1
485
1
486
9
487
8.870255583833785
488
0
489
1
490
0
491
0
492
0
493
0
494
25
495
96.90419475612018
496
1
497
0
498
1
499
1
500
0
501
0
502
23
503
42.75722240582388
504
0
505
1
506
1
507
0
508
0
509
1
510
21
511
54.38312393625379
512
1
513
1
514
1
515
1
516
0
517
0
518
48
519
18.526765433050198
520
0
521
0
522
1
523
0
524
0
525
0
526
85
527
40.220114995939774
528
0
529
0
530
1
531
1
532
1
533
1
534
39
535
89.60283661796007
536
1
537
0
538
0
539
0
540
0
541
1
542
73
543
45.07525070468209
544
1
545
1
546
0
547
0
548
1
549
0
550
83
551
84.86088847923679
552
1
553
0
554
0
555
0
556
0
557
1
558
3
559
93.42549262694862
560
0
561
1
562
1
563
0
564
0
565
0
566
62
567
88.60401565482341
568
1
569
0
570
0
571
0
572
1
573
0
574
27
575
69.13414120637309
576
0
577
1
578
1
579
0
580
0
581
0
582
18
583
83.60927728006978
584
1
585
0
586
0
587
0
588
0
589
0
590
88
591
33.58737245014266
592
1
593
0
594
1
595
1
596
0
597
0
598
15
599
13.556449062505127
600
0
601
0
602
1
603
0
604
0
605
1
606
83
607
95.52611988409447
608
1
609
1
610
1
611
0
612
0
613
0
614
40
615
11.928145006366876
616
0
617
0
618
1
619
0
620
0
621
0
622
75
623
43.413417640065575
624
0
625
1
626
0
627
1
628
1
629
1
630
31
631
97.81903895398548
632
0
633
1
634
0
635
1
636
0
637
1
638
20
639
25.223030211295804
640
1
641
1
642
1
643
1
644
1
645
1
646
97
647
64.83432963710996
648
0
649
1
650
0
651
1
652
0
653
1
654
13
655
5.6624991318914075
656
1
657
1
658
1
659
0
660
1
661
1
662
24
663
51.26538614676427
664
1
665
1
666
0
667
1
668
1
669
1
670
66
671
0.6048000181902324
672
0
673
1
674
1
675
0
676
1
677
0
678
28
679
82.26033091985212
680
0
681
0
682
1
683
1
684
0
685
0
686
76
687
24.53598594019928
688
0
689
1
690
1
691
0
692
0
693
1
694
29
695
37.25988067410735
696
0
697
0
698
0
699
0
700
1
701
1
702
30
703
90.46961323947593
704
1
705
0
706
0
707
1
708
0
709
1
710
47
711
63.939911790506734
712
1
713
0
714
0
715
0
716
1
717
0
718
24
719
8.465316487266128
720
0
721
0
722
0
723
0
724
1
725
0
726
75
727
38.91485790651886
728
1
729
1
730
0
731
1
732
0
733
1
734
19
735
27.90344720888196
736
0
737
0
738
0
739
0
740
1
741
1
742
70
743
42.88990424992881
744
1
745
1
746
1
747
1
748
1
749
0
750
78
751
63.96900166094277
752
0
753
0
754
1
755
1
756
1
757
1
758
11
759
55.808904026842484
760
0
761
0
762
1
763
1
764
0
765
1
766
15
767
34.73236414418358
768
0
769
1
770
1
771
1
772
0
773
0
774
30
775
86.4279905881948
776
1
777
1
778
0
779
0
780
1
781
1
782
31
783
64.07563346541495
784
0
785
1
786
0
787
0
788
0
789
0
790
13
791
45.31120032564583
792
1
793
0
794
1
795
1
796
1
797
0
798
49
799
52.22640774893647
800
0