Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / ccp16_top_input_values @ 0c9457a0

History | View | Annotate | Download (3.22 KB)

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