Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.23 KB)

1 cac038b0 bourbouh
1
2
1
3
0
4
0
5
1
6
11
7
77.82062405435686
8
1
9
0
10
0
11
0
12
0
13
0
14
30
15
27.060639908117867
16
0
17
1
18
1
19
0
20
1
21
1
22
21
23
75.10175302640592
24
0
25
1
26
1
27
0
28
0
29
0
30
55
31
45.145023192607404
32
0
33
0
34
1
35
1
36
0
37
0
38
37
39
1.0123747517213455
40
1
41
0
42
1
43
0
44
1
45
1
46
85
47
1.1232456328021612
48
0
49
1
50
0
51
0
52
0
53
0
54
38
55
38.60123410087607
56
0
57
0
58
1
59
0
60
0
61
1
62
13
63
24.39648781493179
64
0
65
0
66
0
67
1
68
0
69
0
70
76
71
49.14890496506435
72
1
73
1
74
1
75
0
76
1
77
1
78
45
79
26.551907568851128
80
0
81
1
82
0
83
1
84
1
85
1
86
28
87
84.1373783377345
88
1
89
0
90
1
91
1
92
0
93
1
94
90
95
37.48283270592453
96
1
97
0
98
0
99
1
100
0
101
0
102
35
103
80.27439798648996
104
1
105
0
106
1
107
0
108
1
109
0
110
23
111
77.73916837723512
112
1
113
1
114
0
115
1
116
1
117
1
118
67
119
90.65629129982231
120
1
121
0
122
1
123
0
124
1
125
1
126
18
127
73.74786393305074
128
0
129
0
130
0
131
0
132
0
133
1
134
94
135
64.6557032726557
136
0
137
1
138
0
139
1
140
0
141
1
142
50
143
49.646102214983465
144
0
145
1
146
1
147
0
148
0
149
0
150
44
151
95.74017524006415
152
0
153
0
154
0
155
0
156
1
157
0
158
7
159
49.03083235366766
160
1
161
1
162
0
163
0
164
1
165
1
166
50
167
83.13966204025334
168
0
169
0
170
1
171
1
172
1
173
0
174
40
175
82.25184949310366
176
1
177
1
178
1
179
1
180
0
181
0
182
33
183
11.30442396544592
184
0
185
1
186
0
187
0
188
1
189
0
190
68
191
61.440166349827784
192
0
193
0
194
1
195
1
196
0
197
0
198
32
199
89.21229197764492
200
1
201
1
202
1
203
1
204
0
205
1
206
46
207
76.05094842701867
208
0
209
1
210
0
211
1
212
1
213
0
214
93
215
16.023442595533165
216
1
217
1
218
0
219
1
220
0
221
0
222
25
223
6.263903619912281
224
0
225
1
226
0
227
0
228
1
229
1
230
78
231
82.964064414382
232
0
233
1
234
1
235
0
236
0
237
1
238
55
239
37.55239494029177
240
0
241
0
242
0
243
0
244
1
245
0
246
69
247
79.82996757831869
248
0
249
0
250
1
251
0
252
0
253
1
254
76
255
63.58491877032599
256
0
257
0
258
0
259
1
260
1
261
0
262
65
263
48.02237164368188
264
1
265
1
266
0
267
1
268
0
269
0
270
57
271
59.681629415022094
272
0
273
1
274
0
275
0
276
1
277
1
278
34
279
32.659859960754424
280
1
281
0
282
0
283
0
284
0
285
0
286
28
287
29.57442720688587
288
1
289
1
290
1
291
1
292
0
293
0
294
52
295
16.26385436303798
296
1
297
1
298
1
299
1
300
0
301
1
302
79
303
23.00365880367775
304
1
305
0
306
1
307
1
308
1
309
1
310
84
311
97.03353995933864
312
0
313
1
314
1
315
0
316
1
317
1
318
46
319
88.4768140763209
320
1
321
1
322
0
323
0
324
1
325
0
326
13
327
73.30081209252702
328
1
329
0
330
1
331
1
332
1
333
1
334
6
335
80.72896982832923
336
1
337
1
338
0
339
0
340
1
341
0
342
56
343
89.5178704333639
344
0
345
1
346
0
347
1
348
0
349
1
350
86
351
48.71060292372593
352
0
353
1
354
0
355
0
356
0
357
1
358
59
359
87.94505552721401
360
1
361
1
362
0
363
0
364
1
365
1
366
82
367
77.30364365876753
368
1
369
0
370
0
371
0
372
0
373
1
374
98
375
13.602304113950204
376
0
377
0
378
1
379
1
380
0
381
0
382
16
383
70.34534482228774
384
0
385
1
386
1
387
1
388
0
389
0
390
43
391
17.74935644195913
392
0
393
1
394
0
395
0
396
1
397
1
398
91
399
18.602872628588486
400
0
401
1
402
1
403
1
404
0
405
1
406
42
407
21.61691979346072
408
1
409
1
410
0
411
0
412
1
413
1
414
61
415
39.83544483836453
416
1
417
0
418
0
419
0
420
0
421
1
422
88
423
1.034034532627448
424
1
425
1
426
1
427
0
428
0
429
0
430
57
431
15.737652221968379
432
0
433
0
434
0
435
1
436
1
437
1
438
17
439
98.146309128604
440
0
441
0
442
1
443
1
444
0
445
1
446
93
447
43.975455100315955
448
0
449
0
450
1
451
0
452
1
453
0
454
78
455
23.30890955212208
456
0
457
0
458
0
459
0
460
1
461
0
462
4
463
26.454754804840498
464
0
465
0
466
0
467
1
468
1
469
1
470
7
471
95.64387937077193
472
0
473
1
474
0
475
0
476
1
477
0
478
22
479
21.575198489295012
480
1
481
0
482
0
483
1
484
1
485
0
486
90
487
36.54700535535535
488
1
489
1
490
1
491
0
492
0
493
0
494
59
495
13.079560276544665
496
0
497
0
498
0
499
1
500
0
501
0
502
80
503
44.87956081975925
504
1
505
0
506
0
507
0
508
0
509
0
510
83
511
36.638225806443295
512
0
513
1
514
1
515
1
516
1
517
1
518
78
519
96.26569177587149
520
1
521
0
522
1
523
1
524
1
525
0
526
77
527
76.75226281531062
528
0
529
0
530
0
531
0
532
0
533
1
534
88
535
30.276800061897102
536
0
537
1
538
1
539
0
540
0
541
1
542
31
543
99.476736866884
544
0
545
1
546
1
547
0
548
0
549
0
550
80
551
60.796473339863276
552
0
553
0
554
0
555
1
556
1
557
0
558
90
559
49.98463338583134
560
0
561
1
562
0
563
0
564
1
565
1
566
97
567
1.4908388354178181
568
1
569
1
570
1
571
1
572
0
573
1
574
70
575
36.13593259969152
576
0
577
1
578
0
579
1
580
0
581
0
582
97
583
5.511165561541476
584
0
585
0
586
1
587
1
588
1
589
0
590
31
591
76.77402407089947
592
1
593
1
594
1
595
1
596
0
597
1
598
1
599
27.691210272443534
600
0
601
0
602
0
603
0
604
1
605
1
606
92
607
65.9692981080751
608
1
609
1
610
0
611
1
612
1
613
0
614
28
615
42.21771599574262
616
0
617
0
618
1
619
0
620
0
621
0
622
36
623
57.9233159062531
624
0
625
0
626
0
627
0
628
0
629
0
630
65
631
56.4407404893595
632
0
633
0
634
1
635
1
636
0
637
1
638
26
639
31.754079075449436
640
1
641
0
642
0
643
1
644
0
645
0
646
40
647
89.60332186883565
648
1
649
0
650
0
651
0
652
0
653
0
654
31
655
22.9118171264882
656
0
657
1
658
1
659
0
660
1
661
0
662
57
663
32.87791651223968
664
0
665
1
666
1
667
1
668
1
669
1
670
58
671
46.226638016590115
672
1
673
1
674
0
675
1
676
1
677
1
678
43
679
17.708615971189513
680
1
681
1
682
1
683
0
684
1
685
1
686
54
687
25.537460760376952
688
0
689
1
690
0
691
0
692
0
693
0
694
9
695
61.7377806823175
696
1
697
1
698
0
699
1
700
0
701
1
702
95
703
78.52627691224299
704
1
705
1
706
0
707
1
708
0
709
0
710
5
711
30.249591886072878
712
1
713
0
714
1
715
0
716
0
717
0
718
58
719
73.31197779142215
720
0
721
0
722
0
723
1
724
0
725
0
726
12
727
50.7802700931704
728
1
729
0
730
1
731
0
732
0
733
1
734
79
735
29.25154241315886
736
1
737
0
738
1
739
0
740
0
741
1
742
82
743
59.511281385613465
744
0
745
0
746
0
747
1
748
0
749
0
750
95
751
47.757497621129296
752
0
753
1
754
1
755
1
756
0
757
0
758
84
759
82.18783534971088
760
0
761
0
762
1
763
1
764
0
765
0
766
84
767
4.456157248259673
768
1
769
1
770
0
771
0
772
1
773
1
774
80
775
24.929231812357898
776
1
777
1
778
0
779
1
780
1
781
1
782
25
783
69.6574557575366
784
0
785
1
786
0
787
1
788
0
789
0
790
3
791
92.76273943831853
792
0
793
1
794
0
795
1
796
0
797
0
798
98
799
38.05534713111941
800
0