Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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