Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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