Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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