Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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