Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel2 / Parallel2_Parallel2_input_values @ 79ef5fc5

History | View | Annotate | Download (3.1 KB)

1
97
2
17
3
37.985454691284694
4
91
5
83
6
1
7
14
8
69
9
91.13204559693685
10
7
11
4
12
0
13
98
14
82
15
19.726539426928525
16
40
17
68
18
0
19
0
20
90
21
41.58313357235321
22
3
23
70
24
1
25
25
26
13
27
66.85043140174915
28
4
29
89
30
0
31
73
32
82
33
51.228751727691616
34
19
35
17
36
0
37
6
38
49
39
91.07875637623071
40
68
41
96
42
0
43
47
44
69
45
38.66774106740903
46
58
47
99
48
1
49
34
50
25
51
9.6382501962489
52
14
53
74
54
1
55
99
56
33
57
23.699054304488975
58
21
59
72
60
1
61
79
62
13
63
2.2380799087352576
64
18
65
90
66
0
67
80
68
21
69
41.43904441900605
70
0
71
29
72
1
73
56
74
36
75
5.993626902010263
76
9
77
58
78
1
79
97
80
48
81
88.96903023409988
82
22
83
89
84
1
85
18
86
60
87
95.13446433403792
88
22
89
79
90
1
91
85
92
84
93
48.45736137491099
94
59
95
26
96
1
97
96
98
31
99
21.16180009165216
100
51
101
31
102
1
103
71
104
78
105
8.756453635091798
106
66
107
44
108
0
109
89
110
34
111
2.216726606760633
112
76
113
4
114
0
115
31
116
44
117
28.141891906825865
118
64
119
48
120
0
121
67
122
53
123
10.250287590603735
124
93
125
11
126
1
127
93
128
46
129
40.32474563657238
130
40
131
40
132
1
133
60
134
37
135
67.64745942991175
136
42
137
44
138
0
139
45
140
87
141
45.677846267467835
142
44
143
28
144
0
145
9
146
37
147
40.52742216617343
148
53
149
91
150
1
151
66
152
18
153
35.099310263140126
154
30
155
90
156
1
157
60
158
92
159
81.611800569071
160
96
161
44
162
1
163
69
164
21
165
89.05444216567953
166
40
167
80
168
1
169
79
170
79
171
37.435695321819026
172
39
173
70
174
1
175
66
176
20
177
72.43001042536014
178
40
179
97
180
0
181
97
182
8
183
29.565651277348117
184
31
185
78
186
0
187
53
188
70
189
22.58121701040633
190
37
191
88
192
0
193
54
194
15
195
90.59457686580691
196
28
197
32
198
1
199
72
200
36
201
74.74756380911438
202
47
203
7
204
0
205
13
206
80
207
72.9708256258849
208
28
209
14
210
1
211
34
212
70
213
81.85214147005794
214
36
215
16
216
1
217
49
218
55
219
69.23625260891359
220
74
221
5
222
0
223
17
224
1
225
66.49812199236558
226
50
227
65
228
0
229
15
230
67
231
35.21234907919113
232
94
233
5
234
0
235
80
236
40
237
17.189273096073
238
67
239
22
240
0
241
83
242
79
243
23.44979816927789
244
59
245
6
246
0
247
24
248
9
249
7.00656257943737
250
41
251
84
252
1
253
19
254
44
255
95.7513166851663
256
10
257
71
258
0
259
23
260
38
261
17.025785079626708
262
70
263
3
264
0
265
14
266
28
267
82.93387077766863
268
28
269
89
270
1
271
27
272
91
273
94.95927692183639
274
49
275
63
276
0
277
7
278
70
279
12.858423827499156
280
62
281
63
282
0
283
90
284
75
285
52.09571409909931
286
50
287
62
288
0
289
71
290
30
291
51.74111289543699
292
31
293
89
294
1
295
30
296
79
297
99.84392351668573
298
36
299
49
300
1
301
4
302
30
303
27.15841129827552
304
57
305
74
306
1
307
59
308
20
309
83.98515287443472
310
60
311
20
312
1
313
42
314
88
315
52.24345751276821
316
80
317
44
318
0
319
99
320
50
321
80.95579414433726
322
78
323
4
324
1
325
72
326
27
327
7.29194439610411
328
70
329
70
330
1
331
23
332
85
333
65.55544139244113
334
81
335
0
336
0
337
35
338
78
339
9.197280636508044
340
73
341
45
342
0
343
94
344
17
345
57.185578074208934
346
33
347
21
348
1
349
2
350
80
351
8.804144057299645
352
1
353
2
354
0
355
92
356
73
357
18.64870854400862
358
45
359
31
360
0
361
60
362
49
363
23.72041665154826
364
50
365
86
366
1
367
91
368
96
369
57.63562370607298
370
71
371
63
372
1
373
92
374
92
375
37.370509354421934
376
15
377
17
378
1
379
64
380
92
381
28.69340111379731
382
98
383
49
384
1
385
83
386
43
387
54.02508939229617
388
63
389
43
390
0
391
86
392
0
393
23.25347513026913
394
86
395
7
396
0
397
41
398
18
399
58.081767453971054
400
94
401
83
402
0
403
72
404
80
405
23.39277410145939
406
40
407
48
408
0
409
11
410
37
411
55.13648981431649
412
89
413
97
414
0
415
39
416
92
417
19.39200716684619
418
17
419
61
420
0
421
4
422
76
423
30.076669573343274
424
81
425
67
426
0
427
35
428
60
429
60.34116133816898
430
95
431
90
432
1
433
26
434
76
435
92.25684760909607
436
88
437
82
438
0
439
13
440
18
441
26.96190406466593
442
90
443
93
444
1
445
30
446
12
447
87.62123432642922
448
30
449
53
450
0
451
21
452
64
453
97.59689230295712
454
58
455
9
456
0
457
37
458
35
459
14.03860773117266
460
90
461
2
462
1
463
33
464
18
465
91.27908056927511
466
35
467
29
468
0
469
72
470
43
471
38.006979528623006
472
94
473
16
474
0
475
32
476
31
477
53.06019875808076
478
27
479
3
480
1
481
72
482
19
483
83.37413213388812
484
2
485
20
486
1
487
27
488
84
489
50.65890686566764
490
95
491
55
492
0
493
80
494
70
495
17.539561367764513
496
38
497
46
498
0
499
37
500
7
501
18.760356787979838
502
36
503
75
504
1
505
91
506
61
507
18.396966524470535
508
21
509
74
510
0
511
4
512
56
513
36.29039620246372
514
17
515
47
516
0
517
89
518
81
519
89.51036488699746
520
23
521
32
522
0
523
8
524
7
525
10.336604788462155
526
20
527
15
528
1
529
34
530
52
531
97.66272993529155
532
38
533
86
534
0
535
46
536
50
537
18.143851063439843
538
0
539
15
540
0
541
22
542
54
543
93.42251388672257
544
73
545
81
546
1
547
75
548
96
549
30.27813235731124
550
42
551
65
552
1
553
70
554
69
555
56.81477472276894
556
2
557
74
558
1
559
86
560
93
561
73.01919194889503
562
79
563
4
564
0
565
41
566
60
567
59.85168773819212
568
17
569
74
570
1
571
78
572
1
573
65.7327673408076
574
15
575
73
576
0
577
39
578
79
579
23.75765660602066
580
61
581
76
582
1
583
13
584
80
585
16.91171188062375
586
87
587
8
588
0
589
42
590
86
591
98.07161491477737
592
77
593
92
594
1
595
42
596
20
597
42.452738394182454
598
19
599
38
600
1