Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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