Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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