Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.24 KB)

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