Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.24 KB)

1 cac038b0 bourbouh
0
2
1
3
0
4
0
5
0
6
86
7
99.68750500566655
8
0
9
0
10
0
11
0
12
0
13
0
14
55
15
36.75184038359009
16
1
17
1
18
1
19
1
20
1
21
1
22
76
23
97.6744211491153
24
0
25
0
26
0
27
0
28
0
29
1
30
57
31
17.837744338604633
32
1
33
0
34
1
35
1
36
0
37
1
38
67
39
76.9775379991518
40
1
41
0
42
0
43
1
44
1
45
1
46
67
47
64.73346743565212
48
0
49
1
50
1
51
0
52
1
53
0
54
97
55
63.72775200334847
56
1
57
0
58
0
59
0
60
0
61
1
62
18
63
56.1087885686015
64
0
65
0
66
1
67
0
68
0
69
0
70
14
71
77.5123284431782
72
0
73
0
74
0
75
1
76
0
77
0
78
70
79
55.988750120962614
80
1
81
1
82
1
83
1
84
0
85
1
86
45
87
84.54564034746312
88
0
89
1
90
0
91
0
92
0
93
0
94
48
95
28.58620599677735
96
1
97
1
98
1
99
1
100
0
101
0
102
0
103
14.569969405361416
104
1
105
1
106
1
107
0
108
0
109
1
110
38
111
86.14666131672702
112
0
113
1
114
0
115
0
116
1
117
1
118
89
119
13.104538161194302
120
1
121
1
122
0
123
0
124
1
125
0
126
73
127
95.87876389508581
128
1
129
1
130
1
131
1
132
1
133
0
134
68
135
40.074511447529524
136
0
137
0
138
1
139
1
140
0
141
1
142
76
143
61.374704708412686
144
0
145
0
146
1
147
1
148
0
149
1
150
48
151
77.48054822790478
152
1
153
1
154
1
155
1
156
1
157
1
158
89
159
83.5881910404515
160
1
161
0
162
0
163
1
164
1
165
1
166
15
167
64.86477408941123
168
1
169
0
170
0
171
1
172
0
173
0
174
47
175
38.06399793181874
176
0
177
1
178
0
179
0
180
0
181
1
182
82
183
39.99388785135238
184
1
185
0
186
1
187
0
188
0
189
0
190
84
191
75.10615484267505
192
0
193
0
194
1
195
1
196
0
197
1
198
12
199
6.817238315644769
200
0
201
1
202
0
203
0
204
0
205
1
206
32
207
65.38993105125681
208
1
209
0
210
0
211
1
212
1
213
0
214
51
215
88.40529671358635
216
0
217
1
218
1
219
1
220
0
221
1
222
82
223
26.96079765134629
224
1
225
0
226
1
227
1
228
1
229
0
230
8
231
0.7635750826591514
232
0
233
1
234
1
235
0
236
1
237
1
238
62
239
98.36572539375646
240
1
241
0
242
0
243
0
244
0
245
1
246
59
247
62.826352710449605
248
1
249
0
250
1
251
1
252
1
253
0
254
26
255
74.91742539255584
256
1
257
0
258
1
259
1
260
1
261
0
262
30
263
88.71707654510386
264
0
265
0
266
0
267
0
268
1
269
1
270
58
271
68.99214028067975
272
1
273
0
274
1
275
1
276
0
277
1
278
12
279
93.67956359614459
280
0
281
1
282
1
283
1
284
0
285
0
286
61
287
29.920639034871634
288
0
289
0
290
0
291
1
292
0
293
0
294
93
295
23.97086791272741
296
1
297
0
298
0
299
1
300
1
301
0
302
55
303
0.20332583509033997
304
1
305
0
306
0
307
1
308
1
309
0
310
68
311
32.34337570073498
312
0
313
0
314
1
315
0
316
1
317
0
318
58
319
42.4134832479919
320
0
321
0
322
0
323
1
324
0
325
0
326
53
327
48.720629625757525
328
0
329
0
330
0
331
1
332
1
333
0
334
56
335
23.879222395219337
336
0
337
1
338
1
339
1
340
0
341
1
342
60
343
62.76434659439391
344
1
345
1
346
1
347
0
348
1
349
1
350
84
351
70.97770975082774
352
0
353
0
354
1
355
1
356
1
357
0
358
20
359
99.12458761026825
360
0
361
1
362
0
363
1
364
0
365
1
366
60
367
37.91516969693455
368
0
369
1
370
0
371
0
372
0
373
1
374
59
375
94.09881175539437
376
0
377
1
378
1
379
1
380
0
381
0
382
85
383
63.81501528901301
384
0
385
0
386
1
387
1
388
0
389
1
390
38
391
12.835134740035281
392
1
393
0
394
1
395
0
396
0
397
1
398
96
399
46.197423464214914
400
0
401
0
402
0
403
1
404
1
405
1
406
48
407
20.2074090204307
408
1
409
0
410
0
411
0
412
0
413
0
414
33
415
19.351666290196523
416
1
417
1
418
0
419
0
420
0
421
0
422
29
423
47.27351382215799
424
1
425
0
426
0
427
0
428
1
429
0
430
76
431
52.63015414261467
432
0
433
0
434
1
435
0
436
1
437
1
438
97
439
49.47739531834428
440
1
441
0
442
1
443
1
444
0
445
1
446
74
447
63.03020412884236
448
1
449
1
450
1
451
1
452
1
453
1
454
4
455
99.08794800037145
456
0
457
0
458
1
459
1
460
0
461
0
462
47
463
79.70831265003476
464
1
465
1
466
1
467
1
468
0
469
0
470
52
471
29.96311569904223
472
1
473
1
474
1
475
1
476
0
477
1
478
14
479
71.79661402482108
480
0
481
0
482
1
483
0
484
1
485
0
486
34
487
59.71536374687454
488
0
489
0
490
1
491
0
492
0
493
1
494
36
495
2.457375015153962
496
1
497
1
498
1
499
0
500
0
501
0
502
20
503
31.248837880088054
504
0
505
1
506
1
507
1
508
1
509
0
510
69
511
14.356369235176203
512
0
513
1
514
0
515
0
516
1
517
1
518
31
519
63.69881456150694
520
1
521
1
522
1
523
1
524
0
525
0
526
39
527
99.10362385534516
528
1
529
0
530
0
531
1
532
0
533
0
534
41
535
70.84852641822727
536
0
537
1
538
0
539
0
540
1
541
0
542
78
543
5.227607063689166
544
0
545
1
546
1
547
0
548
1
549
1
550
35
551
26.900721902691448
552
1
553
0
554
0
555
1
556
1
557
1
558
74
559
35.14821763115704
560
0
561
0
562
0
563
0
564
1
565
0
566
12
567
53.52385953644391
568
1
569
0
570
0
571
1
572
1
573
0
574
52
575
3.0466245719944496
576
0
577
1
578
1
579
1
580
1
581
1
582
59
583
24.062676794866324
584
0
585
0
586
0
587
1
588
0
589
1
590
41
591
2.4578485538019224
592
1
593
0
594
0
595
0
596
1
597
0
598
18
599
4.847796325037379
600
0
601
1
602
1
603
1
604
1
605
1
606
70
607
10.374086263061233
608
0
609
0
610
1
611
0
612
1
613
1
614
29
615
88.92445196235846
616
0
617
1
618
0
619
0
620
1
621
0
622
29
623
9.73047139468316
624
1
625
1
626
1
627
1
628
1
629
0
630
23
631
42.95117251473882
632
1
633
1
634
0
635
1
636
0
637
0
638
47
639
53.117151905988834
640
0
641
0
642
0
643
1
644
1
645
1
646
99
647
6.5197333575522265
648
1
649
1
650
1
651
0
652
1
653
1
654
59
655
65.7342146336147
656
1
657
1
658
1
659
1
660
0
661
0
662
31
663
26.012071464284336
664
1
665
0
666
1
667
1
668
0
669
0
670
25
671
65.14252286710413
672
0
673
0
674
1
675
1
676
1
677
0
678
1
679
4.067584822310122
680
1
681
0
682
1
683
0
684
0
685
1
686
26
687
57.852395770311816
688
1
689
1
690
0
691
1
692
1
693
1
694
50
695
8.092032906149916
696
1
697
0
698
1
699
0
700
1
701
1
702
97
703
68.04024123268225
704
0
705
0
706
1
707
0
708
0
709
1
710
57
711
83.39330638267307
712
0
713
0
714
1
715
0
716
0
717
0
718
67
719
21.810494319962338
720
1
721
0
722
1
723
0
724
0
725
1
726
47
727
16.862212261760913
728
0
729
0
730
0
731
1
732
0
733
0
734
7
735
90.45249669287783
736
1
737
0
738
0
739
1
740
0
741
0
742
15
743
99.9191022375678
744
1
745
0
746
1
747
1
748
0
749
1
750
81
751
35.43792815213691
752
0
753
0
754
0
755
1
756
1
757
0
758
60
759
57.13171432312034
760
1
761
0
762
0
763
0
764
0
765
1
766
56
767
96.86274588298221
768
1
769
1
770
0
771
1
772
0
773
1
774
86
775
8.40504902988506
776
1
777
0
778
1
779
0
780
1
781
0
782
74
783
81.6668530372524
784
0
785
0
786
1
787
1
788
1
789
1
790
51
791
31.486890763368148
792
1
793
0
794
0
795
0
796
0
797
1
798
49
799
6.017585149261495
800
0