Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / memory2 / MOESI_2_e2_1599_e1_2383_top_input_values @ 0c9457a0

History | View | Annotate | Download (1.06 KB)

1
70
2
0
3
0
4
1
5
1
6
0
7
1
8
0
9
0
10
0
11
88
12
0
13
1
14
0
15
0
16
26
17
1
18
0
19
1
20
0
21
89
22
0
23
1
24
0
25
0
26
46
27
1
28
1
29
1
30
0
31
86
32
1
33
0
34
1
35
1
36
87
37
0
38
0
39
0
40
1
41
76
42
1
43
1
44
1
45
0
46
78
47
1
48
1
49
1
50
1
51
36
52
1
53
1
54
1
55
0
56
42
57
1
58
1
59
0
60
1
61
33
62
0
63
0
64
0
65
1
66
46
67
1
68
0
69
0
70
1
71
58
72
0
73
1
74
1
75
1
76
42
77
0
78
0
79
0
80
0
81
33
82
0
83
0
84
1
85
0
86
59
87
1
88
1
89
0
90
0
91
33
92
0
93
0
94
1
95
1
96
67
97
1
98
0
99
1
100
0
101
1
102
0
103
1
104
1
105
1
106
34
107
0
108
1
109
0
110
0
111
32
112
1
113
0
114
1
115
1
116
70
117
1
118
1
119
0
120
1
121
34
122
0
123
0
124
0
125
1
126
58
127
1
128
1
129
0
130
0
131
96
132
0
133
1
134
0
135
0
136
25
137
1
138
0
139
1
140
1
141
71
142
0
143
0
144
0
145
1
146
37
147
0
148
0
149
1
150
1
151
20
152
0
153
0
154
0
155
1
156
85
157
0
158
0
159
1
160
1
161
48
162
0
163
1
164
1
165
0
166
24
167
1
168
0
169
0
170
1
171
6
172
0
173
1
174
0
175
1
176
41
177
0
178
0
179
1
180
0
181
93
182
0
183
0
184
1
185
1
186
89
187
0
188
1
189
1
190
0
191
39
192
1
193
0
194
0
195
0
196
60
197
1
198
0
199
0
200
0
201
85
202
0
203
0
204
0
205
0
206
47
207
0
208
0
209
0
210
1
211
69
212
1
213
1
214
1
215
0
216
13
217
1
218
0
219
1
220
1
221
4
222
0
223
0
224
1
225
0
226
72
227
1
228
1
229
1
230
0
231
15
232
0
233
1
234
1
235
0
236
74
237
0
238
0
239
0
240
1
241
91
242
1
243
1
244
1
245
0
246
24
247
1
248
1
249
1
250
1
251
58
252
0
253
1
254
1
255
1
256
36
257
0
258
1
259
0
260
1
261
18
262
1
263
0
264
1
265
1
266
18
267
0
268
0
269
1
270
0
271
51
272
1
273
0
274
1
275
1
276
92
277
1
278
1
279
0
280
0
281
6
282
1
283
1
284
1
285
0
286
69
287
1
288
0
289
0
290
0
291
98
292
0
293
1
294
1
295
1
296
12
297
1
298
0
299
0
300
1
301
78
302
0
303
0
304
1
305
1
306
53
307
0
308
1
309
0
310
0
311
93
312
1
313
1
314
1
315
1
316
15
317
1
318
1
319
0
320
1
321
88
322
1
323
0
324
1
325
1
326
27
327
1
328
1
329
1
330
0
331
3
332
1
333
0
334
0
335
1
336
89
337
0
338
1
339
1
340
0
341
88
342
1
343
1
344
0
345
0
346
19
347
0
348
1
349
0
350
0
351
87
352
1
353
1
354
0
355
1
356
39
357
1
358
1
359
0
360
0
361
84
362
1
363
0
364
1
365
1
366
57
367
1
368
1
369
0
370
0
371
57
372
1
373
1
374
0
375
1
376
12
377
1
378
0
379
0
380
0
381
24
382
1
383
1
384
0
385
0
386
59
387
0
388
0
389
1
390
1
391
88
392
0
393
1
394
1
395
1
396
87
397
0
398
1
399
0
400
0
401
61
402
0
403
0
404
1
405
1
406
86
407
1
408
1
409
1
410
0
411
78
412
1
413
1
414
1
415
0
416
17
417
1
418
0
419
1
420
1
421
5
422
1
423
0
424
1
425
1
426
7
427
0
428
0
429
1
430
1
431
63
432
1
433
1
434
0
435
1
436
62
437
0
438
0
439
0
440
0
441
42
442
1
443
0
444
0
445
0
446
30
447
0
448
1
449
1
450
0
451
80
452
1
453
0
454
1
455
1
456
72
457
1
458
0
459
0
460
1
461
64
462
0
463
0
464
1
465
1
466
15
467
0
468
0
469
0
470
0
471
92
472
1
473
1
474
0
475
1
476
79
477
1
478
0
479
0
480
1
481
1
482
0
483
0
484
0
485
1
486
81
487
0
488
1
489
0
490
0
491
40
492
0
493
0
494
0
495
0
496
0
497
1
498
0
499
0
500
0