Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_if_multi_test / if_multi_test_if_multi_test_input_values @ 0c9457a0

History | View | Annotate | Download (5.53 KB)

1
71.80668694362743
2
74.8260665273205
3
73.63870366714197
4
1
5
97.81500336952651
6
23.548575927308256
7
18.544554790398017
8
1
9
84.78133753188773
10
83.90078905685205
11
41.069327461565194
12
0
13
51.490441353247796
14
79.0042498618391
15
79.54225530384338
16
1
17
22.799738754256428
18
0.7408233048471824
19
73.30051590759705
20
1
21
46.39722334852123
22
20.653750455004584
23
93.33662574088214
24
0
25
93.37807660176912
26
59.499914509987185
27
47.255455606649775
28
0
29
67.97925533688212
30
18.857826735019934
31
48.77526772225866
32
1
33
3.971714996932052
34
20.735411445645667
35
99.20537936379473
36
1
37
53.57332420724442
38
18.78669517115037
39
28.621230967901003
40
0
41
46.99539609154101
42
1.6184427969852866
43
14.556780691272209
44
1
45
24.437335860752906
46
56.96875591781926
47
2.531873235731641
48
1
49
85.40113931204745
50
70.96054991289536
51
88.07176887520964
52
0
53
28.86171485781319
54
20.293820305044996
55
46.41510576181812
56
1
57
92.20356406813617
58
5.7847028386413974
59
87.86494512318824
60
1
61
24.75905243472688
62
84.82509503628984
63
4.821510474562496
64
1
65
80.4996676624754
66
29.373344261386347
67
81.60507856012354
68
1
69
97.15611272861541
70
50.95224456242562
71
44.45322515654184
72
0
73
79.33248564422122
74
93.7351943585752
75
11.954779145770555
76
1
77
30.519020645903105
78
73.79539802127307
79
29.880533740869797
80
0
81
21.788562710944113
82
51.67208164516764
83
10.855555384436343
84
1
85
8.754142103419227
86
94.18330134609634
87
16.03624889841957
88
1
89
15.702696998403143
90
64.05888203682171
91
52.64548098671056
92
1
93
62.165602036208824
94
55.93956902581101
95
43.58241499269367
96
0
97
54.11300351367022
98
38.388717438185424
99
50.27920905860588
100
0
101
72.24815549570332
102
49.97671788313499
103
95.63722157566839
104
1
105
68.66211789860235
106
59.540125620654486
107
79.17026311888804
108
1
109
87.36070537030582
110
71.7154498950524
111
58.909063838888066
112
0
113
32.39878937785531
114
16.852240519481988
115
86.98304594683442
116
1
117
20.294601074440678
118
62.02392207991828
119
3.749308578161936
120
1
121
89.41469703943888
122
79.29449199293025
123
28.97827200438259
124
0
125
98.10693860510415
126
7.749053193193845
127
57.86326115055215
128
1
129
76.64478266786915
130
15.78239454113194
131
84.29709050769591
132
1
133
48.85879341205287
134
53.64646857825519
135
2.586984834618511
136
0
137
19.713305002398364
138
8.50646905609439
139
40.966552829558566
140
1
141
49.651983039741545
142
92.79669468123905
143
91.67742980259024
144
1
145
98.17904782338431
146
67.00891613130057
147
19.2190349780325
148
1
149
25.154173462692164
150
81.45157913133451
151
16.40582962078384
152
1
153
81.34667531014792
154
28.648046997333754
155
79.58731408582213
156
1
157
72.17774122474023
158
37.07632209475198
159
6.829506105486072
160
0
161
69.94726342554604
162
12.552666022989822
163
43.64503890321794
164
1
165
21.45999591473925
166
51.833372946982
167
7.494403756157442
168
1
169
24.48274018774462
170
64.39245789811244
171
10.96328949535106
172
1
173
3.4877914943089006
174
53.83379209877129
175
24.044767295772573
176
0
177
7.3462394696616755
178
23.80573998284863
179
73.79282514702969
180
0
181
64.29693374368257
182
13.235106455277268
183
77.1162489382846
184
0
185
15.279879031692179
186
13.885791247539547
187
37.07538952274345
188
1
189
52.007662562148326
190
36.57593413524515
191
16.16247848719492
192
1
193
53.398489216268445
194
48.99936422149348
195
0.9382344856346814
196
1
197
58.742344594942566
198
92.45157523452873
199
5.329121062132947
200
0
201
89.12219032795447
202
51.38571741205716
203
47.70355956779597
204
1
205
26.30356244206171
206
29.7718274389281
207
75.68523991596804
208
1
209
7.358380109135498
210
15.179879661192619
211
50.55885208112411
212
1
213
53.33897213700824
214
59.32630602463151
215
84.85810929494275
216
1
217
45.191314942907546
218
26.244031613755737
219
37.98269887454908
220
1
221
44.0878358219513
222
3.610070920231101
223
38.4015632319783
224
0
225
94.55655590772422
226
89.59084108279437
227
93.18120680577043
228
0
229
4.143601766823268
230
96.31746891767453
231
1.9123339438347875
232
0
233
46.10965337066829
234
61.45809204364845
235
36.49699061501332
236
1
237
11.583636295932598
238
57.90365730146484
239
82.26028915453274
240
0
241
78.77486181920008
242
94.18719454974506
243
36.57110774810748
244
1
245
8.713871337853762
246
0.08879091319017318
247
85.56240148388319
248
0
249
46.76912382501879
250
66.14340076841701
251
42.53209814583167
252
0
253
86.62376095022859
254
49.44374746280937
255
64.4488065675786
256
0
257
58.98388764219287
258
5.926912865637279
259
49.23793261170394
260
0
261
48.667778846413825
262
26.234540834201027
263
81.27603290782496
264
1
265
66.32521919432669
266
67.82040155550581
267
27.626647635024703
268
0
269
66.6040752706527
270
78.69492354560148
271
0.34236935109606126
272
1
273
48.09232185273894
274
27.875397941575464
275
84.32804646576706
276
0
277
68.9848300624356
278
97.36514166995075
279
2.367856860150541
280
1
281
42.25399442372784
282
76.83600647784421
283
85.5412512811546
284
0
285
78.23232291452975
286
33.06056753355983
287
48.79394887890324
288
0
289
91.61153678650908
290
93.83471972996072
291
81.58274669769055
292
1
293
54.25095033975636
294
63.14426093576544
295
4.069782091680629
296
1
297
44.34406283717066
298
61.964354834831205
299
34.261360229598935
300
0
301
59.92798646839126
302
67.07891635402687
303
14.454789129731394
304
0
305
73.9281064860039
306
57.427309881832
307
24.79240544636149
308
1
309
37.069430728630046
310
29.74899929727751
311
91.97131945216698
312
1
313
56.96785902102427
314
24.599617330631652
315
75.17349039537625
316
1
317
81.94524230775127
318
86.57593203350133
319
41.974878603654986
320
1
321
65.23614110746506
322
99.01344352174529
323
60.68836990097694
324
1
325
97.04332680052974
326
59.07878223110452
327
82.70288910411719
328
1
329
60.825296247373394
330
51.25140546179574
331
88.04408384547207
332
1
333
23.20353941207309
334
80.42670292473218
335
83.73681500096752
336
0
337
55.08338753101923
338
67.63267288366784
339
41.012882952596975
340
0
341
14.943842394053286
342
85.51066728918195
343
47.615536506202126
344
1
345
9.894945941106048
346
28.50316646354566
347
99.26550707106212
348
1
349
39.000722824594945
350
26.275422280622628
351
14.120580673978766
352
0
353
81.83985749553597
354
15.89763597671766
355
17.067519986544678
356
0
357
25.4653519856372
358
62.920629216651626
359
87.21063921380477
360
1
361
28.316939343001824
362
60.356097290817644
363
66.8307784467433
364
0
365
99.02188115229094
366
56.13627743863957
367
23.262730316718283
368
0
369
20.053217782531764
370
12.438389501266034
371
90.7724279635297
372
0
373
32.56898124344572
374
57.08187951117482
375
57.24406417121967
376
1
377
66.55922075364397
378
10.053042150960124
379
13.91146210037152
380
1
381
31.299703600226824
382
54.73185234144699
383
3.1306167391598194
384
0
385
9.396218305804982
386
56.53789407717343
387
39.51978426269696
388
0
389
87.75890458882233
390
50.61921897742396
391
28.508998576923794
392
0
393
1.1135351216921552
394
33.09401590392695
395
47.43319919881671
396
0
397
73.17418075240599
398
32.89772049427662
399
81.93805526215516
400
1