Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

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