Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.22 KB)

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