Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.24 KB)

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