Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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