Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.22 KB)

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