|
1
|
Process ./simulation/metros_4_e3_1091_e3_522.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
2
|
Process ./simulation/metros_4_e2_968_e3_931.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
3
|
Process ./simulation/PRODUCER_CONSUMER_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
4
|
Process ./simulation/car_4_e8_118_e7_178.lus : OK ALREADY TIMEOUT OK OK
|
|
5
|
Process ./simulation/ums_e7_1700.lus : OK ALREADY INVALID OK OK
|
|
6
|
Process ./simulation/car_5_e3_11_e1_429.lus : NO_OLD ALREADY INVALID OK OK
|
|
7
|
Process ./simulation/hysteresis_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
8
|
Process ./simulation/fast_1.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
9
|
Process ./simulation/production_cell_e7_21.lus : OK ALREADY INVALID OK OK
|
|
10
|
Process ./simulation/car_all_e3_1068.lus : OK ALREADY INVALID OK OK
|
|
11
|
Process ./simulation/speed2.lus : OK ALREADY TOOMUCHP OK OK
|
|
12
|
Process ./simulation/fast_1_e8_747_e7_692.lus : OK ALREADY INVALID OK OK
|
|
13
|
Process ./simulation/metros_4_e5_1150.lus : OK ALREADY TIMEOUT OK OK
|
|
14
|
Process ./simulation/car_4_e3_57.lus : OK ALREADY INVALID OK OK
|
|
15
|
Process ./simulation/car_6_e1_152.lus : OK ALREADY TIMEOUT OK OK
|
|
16
|
Process ./simulation/tramway_e7_1834_e7_2363.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
17
|
Process ./simulation/metros_4_e2_968_e1_956.lus : OK ALREADY INVALID OK OK
|
|
18
|
Process ./simulation/metros_2_e2_704_e2_13.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
19
|
Process ./simulation/car_all_e7_188_e7_743.lus : OK ALREADY TIMEOUT OK OK
|
|
20
|
Process ./simulation/metros_1_e7_606.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
21
|
Process ./simulation/car_3_e8_33_e1_856.lus : OK ALREADY INVALID OK OK
|
|
22
|
Process ./simulation/speed2_e7_223_e8_329.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
23
|
Process ./simulation/metros_1_e2_1102_e2_943.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
24
|
Process ./simulation/metros_1_e1_846_e1_1317.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
25
|
Process ./simulation/fast_2_e7_2526_e7_2736.lus : OK ALREADY INVALID OK OK
|
|
26
|
Process ./simulation/speed2_e8_750.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
27
|
Process ./simulation/metros_1.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
28
|
Process ./simulation/metros_4_e1_917.lus : OK ALREADY TIMEOUT OK OK
|
|
29
|
Process ./simulation/car_3_e8_33_e7_220.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
30
|
Process ./simulation/speed_e7_207_e8_507.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
31
|
Process ./simulation/car_6_e3_294_e3_47.lus : OK ALREADY INVALID OK OK
|
|
32
|
Process ./simulation/car_4_e7_592_e7_265.lus : OK ALREADY TIMEOUT OK OK
|
|
33
|
Process ./simulation/fast_1_e7_2044.lus : OK ALREADY INVALID OK OK
|
|
34
|
Process ./simulation/metros_1_e2_1102_e7_1163.lu : OK ALREADY OK(k=3) OK OK WRITE
|
|
35
|
Process ./simulation/car_2_e7_1027_e1_1047.lus : OK ALREADY TIMEOUT OK OK
|
|
36
|
Process ./simulation/metros_4.lus : OK ALREADY TIMEOUT OK OK
|
|
37
|
Process ./simulation/car_1_e7_184_e3_299.lus : OK ALREADY TIMEOUT OK OK
|
|
38
|
Process ./simulation/car_5_e7_244_e2_693.lus : OK ALREADY INVALID OK OK
|
|
39
|
Process ./simulation/metros_4_e2_968_e2_1166.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
40
|
Process ./simulation/speed_e7_492.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
41
|
Process ./simulation/production_cell_e8_792.lus : OK ALREADY TIMEOUT OK OK
|
|
42
|
Process ./simulation/speed_e8_649_e7_709.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
43
|
Process ./simulation/car_all_e8_856_e3_180.lus : OK ALREADY INVALID OK OK
|
|
44
|
Process ./simulation/PRODUCER_CONSUMMER_luke_2.l : OK ALREADY TIMEOUT OK OK
|
|
45
|
Process ./simulation/metros_2_e2_968.lus : OK ALREADY INVALID OK OK
|
|
46
|
Process ./simulation/PRODUCER_CONSUMER_vt_e7_105 : OK ALREADY TIMEOUT OK OK
|
|
47
|
Process ./simulation/metros_1_e8_725_e1_919.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
48
|
Process ./simulation/ums_e8_1032.lus : OK ALREADY TIMEOUT OK OK
|
|
49
|
Process ./simulation/car_4_e3_57_e5_999.lus : OK ALREADY INVALID OK OK
|
|
50
|
Process ./simulation/tramway.lus : OK ALREADY TIMEOUT OK OK
|
|
51
|
Process ./simulation/metros_3_e3_1275_e3_640.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
52
|
Process ./simulation/car_all_e3_1068_e5_882.lus : OK ALREADY INVALID OK OK
|
|
53
|
Process ./simulation/metros_4_e2_968_e7_860.lus : OK ALREADY TIMEOUT OK OK
|
|
54
|
Process ./simulation/car_4_e8_118_e3_514.lus : OK ALREADY INVALID OK OK
|
|
55
|
Process ./simulation/car_4_e3_57_e4_1047.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
56
|
Process ./simulation/metros_2_e1_190.lus : OK ALREADY TIMEOUT OK OK
|
|
57
|
Process ./simulation/speed_e8_649.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
58
|
Process ./simulation/metros_3_e4_987_e1_1115.lus : OK ALREADY TIMEOUT OK OK
|
|
59
|
Process ./simulation/fast_2_e8_976.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
60
|
Process ./simulation/production_cell_e8_6_e7_651 : OK ALREADY INVALID OK OK
|
|
61
|
Process ./simulation/metros_1_e2_1102_e3_961.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
62
|
Process ./simulation/hysteresis_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
63
|
Process ./simulation/car_2_e8_491_e7_826.lus : OK ALREADY TIMEOUT OK OK
|
|
64
|
Process ./simulation/car_3_e2_695.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
65
|
Process ./simulation/cd_e7_621_e7_669.lus : OK ALREADY INVALID OK OK
|
|
66
|
Process ./simulation/car_5_e3_11_e5_24.lus : OK ALREADY INVALID OK OK
|
|
67
|
Process ./simulation/metros_5.lus : OK ALREADY TIMEOUT OK OK
|
|
68
|
Process ./simulation/metros_4_e2_968_e6_236.lus : OK ALREADY INVALID OK OK
|
|
69
|
Process ./simulation/car_5_e3_661.lus : OK ALREADY INVALID OK OK
|
|
70
|
Process ./simulation/car_5.lus : OK ALREADY TIMEOUT OK OK
|
|
71
|
Process ./simulation/production_cell_e7_207_e8_2 : OK ALREADY TIMEOUT OK OK
|
|
72
|
Process ./simulation/metros_4_e2_968_e4_801.lus : OK ALREADY TIMEOUT OK OK
|
|
73
|
Process ./simulation/metros_2_e3_112.lus : OK ALREADY INVALID OK OK
|
|
74
|
Process ./simulation/car_6.lus : OK ALREADY TIMEOUT OK OK
|
|
75
|
Process ./simulation/metros_3_e4_987_e2_80.lus : OK ALREADY TIMEOUT OK OK
|
|
76
|
Process ./simulation/metros_3_e3_1275_e5_846.lus : OK ALREADY TIMEOUT OK OK
|
|
77
|
Process ./simulation/car_6_e2_893.lus : OK ALREADY INVALID OK OK
|
|
78
|
Process ./simulation/metros_3_e3_1275_e6_1315.lu : OK ALREADY TIMEOUT OK OK
|
|
79
|
Process ./simulation/car_6_e3_294_e5_979.lus : OK ALREADY INVALID OK OK
|
|
80
|
Process ./simulation/metros_5_e4_1208_e1_337.lus : OK ALREADY TIMEOUT OK OK
|
|
81
|
Process ./simulation/PRODUCER_CONSUMER_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
82
|
Process ./simulation/car_3_e8_33_e2_1010.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
83
|
Process ./simulation/metros_4_e3_1091.lus : OK ALREADY TIMEOUT OK OK
|
|
84
|
Process ./simulation/metros_3_e3_1275.lus : OK ALREADY TIMEOUT OK OK
|
|
85
|
Process ./simulation/speed2_e7_223_e7_213.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
86
|
Process ./simulation/car_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
87
|
Process ./simulation/metros_1_e2_1102_e1_317.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
88
|
Process ./simulation/fast_1_e8_747_e8_1041.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
89
|
Process ./simulation/car_all_e3_1068_e4_275.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
90
|
Process ./simulation/car_3_e8_33.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
91
|
Process ./simulation/car_3_e2_777.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
92
|
Process ./simulation/car_all_e3_1068_e2_13.lus : OK ALREADY INVALID OK OK
|
|
93
|
Process ./simulation/PRODUCER_CONSUMER_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
94
|
Process ./simulation/car_5_e2_405_e2_1083.lus : OK ALREADY INVALID OK OK
|
|
95
|
Process ./simulation/car_5_e2_405_e8_1055.lus : OK ALREADY INVALID OK OK
|
|
96
|
Process ./simulation/PRODUCER_CONSUMMER_luke_1.l : OK ALREADY INVALID OK OK
|
|
97
|
Process ./simulation/tramway_e7_1834_e8_3192.lus : OK ALREADY TIMEOUT OK OK
|
|
98
|
Process ./simulation/car_4_e7_592_e3_442.lus : OK ALREADY INVALID OK OK
|
|
99
|
Process ./simulation/car_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
100
|
Process ./simulation/metros_2_e2_704_e7_810.lus : OK ALREADY INVALID OK OK
|
|
101
|
Process ./simulation/speed_e7_207.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
102
|
Process ./simulation/car_4_e3_556.lus : OK ALREADY INVALID OK OK
|
|
103
|
Process ./simulation/fast_2.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
104
|
Process ./simulation/PRODUCER_CONSUMER_vt_e2_135 : OK ALREADY TIMEOUT OK OK
|
|
105
|
Process ./simulation/car_4_e8_118.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
106
|
Process ./simulation/car_all_e1_618_e3_303.lus : OK ALREADY INVALID OK OK
|
|
107
|
Process ./simulation/metros_2_e2_704_e3_76.lus : OK ALREADY INVALID OK OK
|
|
108
|
Process ./simulation/car_all_e3_1068_e3_163.lus : OK ALREADY INVALID OK OK
|
|
109
|
Process ./simulation/metros_1_e2_627.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
110
|
Process ./simulation/car_all_e8_856.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
111
|
Process ./simulation/metros_4_e2_968.lus : OK ALREADY TIMEOUT OK OK
|
|
112
|
Process ./simulation/metros_4_e3_1091_e4_232.lus : OK ALREADY TIMEOUT OK OK
|
|
113
|
Process ./simulation/metros_3_e3_1275_e1_1350.lu : OK ALREADY INVALID OK OK
|
|
114
|
Process ./simulation/metros_2_e2_704_e1_389.lus : OK ALREADY INVALID OK OK
|
|
115
|
Process ./simulation/production_cell_e8_6.lus : OK ALREADY TIMEOUT OK OK
|
|
116
|
Process ./simulation/metros_2_e1_1116_e3_287.lus : OK ALREADY INVALID OK OK
|
|
117
|
Process ./simulation/fast_2_e7_2526.lus : OK ALREADY INVALID OK OK
|
|
118
|
Process ./simulation/metros_1_e8_725_e3_556.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
119
|
Process ./simulation/car_6_e2_589_e2_506.lus : OK ALREADY INVALID OK OK
|
|
120
|
Process ./simulation/metros_3_e3_1275_e7_529.lus : OK ALREADY TIMEOUT OK OK
|
|
121
|
Process ./simulation/metros_1_e7_1255_e7_12.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
122
|
Process ./simulation/car_5_e7_244_e3_1071.lus : OK ALREADY INVALID OK OK
|
|
123
|
Process ./simulation/metros_3_e3_1275_e4_164.lus : OK ALREADY TIMEOUT OK OK
|
|
124
|
Process ./simulation/metros_4_e3_1091_e1_1044.lu : OK ALREADY INVALID OK OK
|
|
125
|
Process ./simulation/metros_2_e1_1116_e7_1440.lu : OK ALREADY INVALID OK OK
|
|
126
|
Process ./simulation/fast_1_e8_751.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
127
|
Process ./simulation/car_all_e2_142_e7_209.lus : OK ALREADY TIMEOUT OK OK
|
|
128
|
Process ./simulation/metros_1_e1_846_e3_1060.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
129
|
Process ./simulation/metros_1_e1_846_e7_397.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
130
|
Process ./simulation/car_all_e8_856_e7_578.lus : OK ALREADY TIMEOUT OK OK
|
|
131
|
Process ./simulation/speed_e7_207_e7_538.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
132
|
Process ./simulation/PRODUCER_CONSUMMER_luke_2_e : OK ALREADY TIMEOUT OK OK
|
|
133
|
Process ./simulation/fast_1_e7_2044_e7_1287.lus : OK ALREADY INVALID OK OK
|
|
134
|
Process ./simulation/speed2_e8_449.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
135
|
Process ./simulation/production_cell.lus : OK ALREADY TIMEOUT OK OK
|
|
136
|
Process ./simulation/car_5_e7_244.lus : OK ALREADY TIMEOUT OK OK
|
|
137
|
Process ./simulation/metros_3.lus : OK ALREADY TIMEOUT OK OK
|
|
138
|
Process ./simulation/tramway_e7_3304.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
139
|
Process ./simulation/metros_2_e1_1116_e1_556.lus : OK ALREADY INVALID OK OK
|
|
140
|
Process ./simulation/hysteresis_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
141
|
Process ./simulation/car_all_e8_856_e2_585.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
142
|
Process ./simulation/metros_2.lus : OK ALREADY TIMEOUT OK OK
|
|
143
|
Process ./simulation/production_cell_e8_6_e8_427 : OK ALREADY INVALID OK OK
|
|
144
|
Process ./simulation/car_6_e1_152_e1_391.lus : OK ALREADY TIMEOUT OK OK
|
|
145
|
Process ./simulation/metros_4_e3_1025.lus : OK ALREADY TIMEOUT OK OK
|
|
146
|
Process ./simulation/metros_3_e4_987.lus : OK ALREADY TIMEOUT OK OK
|
|
147
|
Process ./simulation/metros_4_e1_821_e5_911.lus : OK ALREADY TIMEOUT OK OK
|
|
148
|
Process ./simulation/car_all_e1_618.lus : OK ALREADY INVALID OK OK
|
|
149
|
Process ./simulation/car_3_e7_626_e1_305.lus : OK ALREADY INVALID OK OK
|
|
150
|
Process ./simulation/car_all_e8_856_e1_217.lus : OK ALREADY INVALID OK OK
|
|
151
|
Process ./simulation/car_3_e1_924.lus : OK ALREADY INVALID OK OK
|
|
152
|
Process ./simulation/tramway_e7_1834.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
153
|
Process ./simulation/car_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
154
|
Process ./simulation/car_5_e7_244_e1_823.lus : OK ALREADY TIMEOUT OK OK
|
|
155
|
Process ./simulation/cd_e7_8.lus : OK ALREADY INVALID OK OK
|
|
156
|
Process ./simulation/metros_4_e2_968_e5_991.lus : OK ALREADY TIMEOUT OK OK
|
|
157
|
Process ./simulation/metros_2_e1_1116_e2_617.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
158
|
Process ./simulation/car_3_e1_586.lus : OK ALREADY INVALID OK OK
|
|
159
|
Process ./simulation/car_4_e3_57_e6_784.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
160
|
Process ./simulation/ums.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
161
|
Process ./simulation/speed2_e8_449_e8_517.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
162
|
Process ./simulation/PRODUCER_CONSUMER_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
163
|
Process ./simulation/PRODUCER_CONSUMER_vt_e3_507 : OK ALREADY TIMEOUT OK OK
|
|
164
|
Process ./simulation/car_5_e2_405_e3_473.lus : OK ALREADY INVALID OK OK
|
|
165
|
Process ./simulation/fast_2_e8_460_e8_1920.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
166
|
Process ./simulation/metros_3_e4_987_e3_291.lus : OK ALREADY TIMEOUT OK OK
|
|
167
|
Process ./simulation/metros_1_e8_725.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
168
|
Process ./simulation/hysteresis_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
169
|
Process ./simulation/car_all_e2_142.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
170
|
Process ./simulation/car_6_e2_589_e3_349.lus : OK ALREADY INVALID OK OK
|
|
171
|
Process ./simulation/PRODUCER_CONSUMER_vt.lus : OK ALREADY TIMEOUT OK OK
|
|
172
|
Process ./simulation/speed2_e7_496.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
173
|
Process ./simulation/fast_2_e8_460_e7_43.lus : OK ALREADY INVALID OK OK
|
|
174
|
Process ./simulation/production_cell_e7_207_e7_4 : OK ALREADY INVALID OK OK
|
|
175
|
Process ./simulation/metros_4_e6_239_e2_307.lus : OK ALREADY INVALID OK OK
|
|
176
|
Process ./simulation/car_3_e7_626.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
177
|
Process ./simulation/car_2_e7_1027_e7_359.lus : OK ALREADY TIMEOUT OK OK
|
|
178
|
Process ./simulation/car_all_e3_1068_e1_178.lus : OK ALREADY INVALID OK OK
|
|
179
|
Process ./simulation/cd.lus : OK ALREADY OK(k=10) OK OK WRITE
|
|
180
|
Process ./simulation/speed2_e8_449_e7_353.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
181
|
Process ./simulation/car_6_e3_294_e1_956.lus : OK ALREADY INVALID OK OK
|
|
182
|
Process ./simulation/car_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
183
|
Process ./simulation/metros_3_e3_1275_e2_454.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
184
|
Process ./simulation/metros_4_e3_1091_e2_1317.lu : OK ALREADY OK(k=2) OK OK WRITE
|
|
185
|
Process ./simulation/car_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
186
|
Process ./simulation/metros_1_e1_846_e2_1394.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
187
|
Process ./simulation/Gas.lus : OK ALREADY TIMEOUT OK OK
|
|
188
|
Process ./simulation/metros_2_e1_1116.lus : OK ALREADY TIMEOUT OK OK
|
|
189
|
Process ./simulation/car_4_e7_592.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
190
|
Process ./simulation/metros_1_e8_725_e2_1144.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
191
|
Process ./misc/ex8_e8_376.lus : OK ALREADY INVALID OK OK
|
|
192
|
Process ./misc/_6counters_e8_371_e2_80.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
193
|
Process ./misc/stalmark_e8_64_e8_207.lus : OK ALREADY INVALID OK OK
|
|
194
|
Process ./misc/traffic_e7_46_e7_171.lus : OK ALREADY INVALID OK OK
|
|
195
|
Process ./misc/ticket3i_all_e8_505_e7_2450.lus : OK ALREADY TIMEOUT OK OK
|
|
196
|
Process ./misc/ticket3i_3_e8_1703_e7_3491.lus : OK ALREADY INVALID OK OK
|
|
197
|
Process ./misc/switch.lus : OK ALREADY INVALID OK PARSE_1
|
|
198
|
Process ./misc/durationThm_2_e3_99.lus : OK ALREADY TIMEOUT OK OK
|
|
199
|
Process ./misc/_6counters_e8_371_e7_304.lus : OK ALREADY INVALID OK OK
|
|
200
|
Process ./misc/ticket3i_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
201
|
Process ./misc/durationThm_1_e7_217_e1_89.lus : OK ALREADY INVALID OK OK
|
|
202
|
Process ./misc/durationThm_2_e7_145_e3_222.lus : OK ALREADY TIMEOUT OK OK
|
|
203
|
Process ./misc/twisted_counters.lus : OK ALREADY TIMEOUT OK OK
|
|
204
|
Process ./misc/_6counters_e8_371_e1_448.lus : OK ALREADY INVALID OK OK
|
|
205
|
Process ./misc/durationThm_3_e3_207.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
206
|
Process ./misc/ex3_e7_590_e7_590.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
207
|
Process ./misc/durationThm_2_e7_145_e2_169.lus : OK ALREADY TIMEOUT OK OK
|
|
208
|
Process ./misc/ticket3i_3_e7_1312_e8_1916.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
209
|
Process ./misc/durationThm_1_e3_389_e5_5.lus : OK ALREADY TIMEOUT OK OK
|
|
210
|
Process ./misc/ticket3i_all_e1_2706_e7_1776.lus : OK ALREADY TIMEOUT OK OK
|
|
211
|
Process ./misc/durationThm_1_e2_3.lus : OK ALREADY TIMEOUT OK OK
|
|
212
|
Process ./misc/stalmark_e7_27.lus : OK ALREADY OK(k=4) OK OK WRITE
|
|
213
|
Process ./misc/ticket3i_all_e7_591.lus : OK ALREADY TIMEOUT OK OK
|
|
214
|
Process ./misc/stalmark_e7_27_e7_31.lus : OK ALREADY OK(k=4) OK OK WRITE
|
|
215
|
Process ./misc/durationThm_1_e3_389_e4_294.lus : OK ALREADY TIMEOUT OK OK
|
|
216
|
Process ./misc/ticket3i_7_e2_2724_e7_524.lus : OK ALREADY TIMEOUT OK OK
|
|
217
|
Process ./misc/durationThm_3_e7_334_e3_42.lus : OK ALREADY TIMEOUT OK OK
|
|
218
|
Process ./misc/durationThm_1_e3_389.lus : OK ALREADY TIMEOUT OK OK
|
|
219
|
Process ./misc/stalmark_e8_48.lus : OK ALREADY INVALID OK OK
|
|
220
|
Process ./misc/ticket3i_7_e7_3176.lus : OK ALREADY TIMEOUT OK OK
|
|
221
|
Process ./misc/durationThm_2.lus : OK ALREADY TIMEOUT OK OK
|
|
222
|
Process ./misc/durationThm_3.lus : OK ALREADY TIMEOUT OK OK
|
|
223
|
Process ./misc/two_counters.lus : OK ALREADY OK(k=5) OK OK WRITE
|
|
224
|
Process ./misc/ex8_e7_74.lus : OK ALREADY INVALID OK OK
|
|
225
|
Process ./misc/ticket3i_7_e3_59_e7_2122.lus : OK ALREADY TIMEOUT OK OK
|
|
226
|
Process ./misc/ticket3i_6_e7_1096_e7_2688.lus : OK ALREADY TIMEOUT OK OK
|
|
227
|
Process ./misc/durationThm_1_e7_217.lus : OK ALREADY INVALID OK OK
|
|
228
|
Process ./misc/two_counters_e3_325.lus : OK ALREADY INVALID OK OK
|
|
229
|
Process ./misc/ticket3i_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
230
|
Process ./misc/two_counters_e2_3.lus : OK ALREADY INVALID OK OK
|
|
231
|
Process ./misc/ex8_e8_220.lus : OK ALREADY INVALID OK OK
|
|
232
|
Process ./misc/durationThm_3_e2_148.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
233
|
Process ./misc/ticket3i_all_e2_1117_e7_553.lus : OK ALREADY TIMEOUT OK OK
|
|
234
|
Process ./misc/durationThm_3_e7_334_e1_431.lus : OK ALREADY INVALID OK OK
|
|
235
|
Process ./misc/ticket3i_7_e1_2192_e1_1852.lus : OK ALREADY TIMEOUT OK OK
|
|
236
|
Process ./misc/durationThm_3_e7_334_e2_62.lus : OK ALREADY TIMEOUT OK OK
|
|
237
|
Process ./misc/ticket3i_3_e7_1312.lus : OK ALREADY INVALID OK OK
|
|
238
|
Process ./misc/stalmark_e8_64.lus : OK ALREADY INVALID OK OK
|
|
239
|
Process ./misc/ticket3i_7.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
240
|
Process ./misc/ticket3i_7_e8_2126_e7_78.lus : OK ALREADY TIMEOUT OK OK
|
|
241
|
Process ./misc/ex3.lus : NO_OLD ALREADY OK(k=2) OK OK WRITE
|
|
242
|
Process ./misc/_6counters_e8_371_e3_224.lus : OK ALREADY INVALID OK OK
|
|
243
|
Process ./misc/ticket3i_3_e8_1703.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
244
|
Process ./misc/ex3_e8_381.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
245
|
Process ./misc/durationThm_3_e7_334_e7_118.lus : OK ALREADY INVALID OK OK
|
|
246
|
Process ./misc/durationThm_1_e1_350.lus : OK ALREADY INVALID OK OK
|
|
247
|
Process ./misc/ex3_e8_381_e8_477.lus : OK ALREADY OK(k=3) OK OK WRITE
|
|
248
|
Process ./misc/durationThm_1_e7_217_e7_31.lus : OK ALREADY INVALID OK OK
|
|
249
|
Process ./misc/durationThm_3_e3_442.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
250
|
Process ./misc/ticket3i_3_e7_1312_e7_1495.lus : OK ALREADY INVALID OK OK
|
|
251
|
Process ./misc/durationThm_2_e7_145_e1_343.lus : OK ALREADY INVALID OK OK
|
|
252
|
Process ./misc/_6counter2.lus : OK ALREADY INVALID OK OK
|
|
253
|
Process ./misc/durationThm_1_e7_217_e2_352.lus : OK ALREADY TIMEOUT OK OK
|
|
254
|
Process ./misc/traffic_e7_46.lus : OK ALREADY INVALID OK OK
|
|
255
|
Process ./misc/ex8_e7_74_e7_740.lus : OK ALREADY INVALID OK OK
|
|
256
|
Process ./misc/ex3_e7_655.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
257
|
Process ./misc/durationThm_1_e7_217_e3_132.lus : OK ALREADY TIMEOUT OK OK
|
|
258
|
Process ./misc/stalmark_e7_76.lus : OK ALREADY OK(k=4) OK OK WRITE
|
|
259
|
Process ./misc/ex8.lus : OK ALREADY INVALID OK OK
|
|
260
|
Process ./misc/ticket3i_all_e7_1837.lus : OK ALREADY TIMEOUT OK OK
|
|
261
|
Process ./misc/durationThm_3_e7_334.lus : OK ALREADY INVALID OK OK
|
|
262
|
Process ./misc/durationThm_2_e2_63.lus : OK ALREADY TIMEOUT OK OK
|
|
263
|
Process ./misc/ticket3i_3_e7_99.lus : OK ALREADY INVALID OK OK
|
|
264
|
Process ./misc/ticket3i_1_e7_1669.lus : OK ALREADY TIMEOUT OK OK
|
|
265
|
Process ./misc/durationThm_2_e3_329_e5_124.lus : OK ALREADY TIMEOUT OK OK
|
|
266
|
Process ./misc/ticket3i_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
267
|
Process ./misc/durationThm_3_e1_36.lus : OK ALREADY INVALID OK OK
|
|
268
|
Process ./misc/switch2.lus : OK ALREADY INVALID OK PARSE_1
|
|
269
|
Process ./misc/two_counters_e7_222.lus : OK ALREADY INVALID OK OK
|
|
270
|
Process ./misc/traffic.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
271
|
Process ./misc/durationThm_3_e2_63.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
272
|
Process ./misc/ex8_e7_74_e8_302.lus : OK ALREADY INVALID OK OK
|
|
273
|
Process ./misc/ticket3i_4_e7_1775_e7_3320.lus : OK ALREADY TIMEOUT OK OK
|
|
274
|
Process ./misc/durationThm_3_e3_442_e5_260.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
275
|
Process ./misc/ticket3i_5.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
276
|
Process ./misc/ticket3i_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
277
|
Process ./misc/_6counters.lus : OK ALREADY INVALID OK OK
|
|
278
|
Process ./misc/_6countern.lus : OK ALREADY INVALID OK OK
|
|
279
|
Process ./misc/durationThm_1.lus : OK ALREADY TIMEOUT OK OK
|
|
280
|
Process ./misc/ticket3i_7_e7_3176_e1_2924.lus : OK ALREADY TIMEOUT OK OK
|
|
281
|
Process ./misc/durationThm_2_e7_145_e8_73.lus : OK ALREADY TIMEOUT OK OK
|
|
282
|
Process ./misc/durationThm_3_e3_442_e4_165.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
283
|
Process ./misc/two_counters_e1_268.lus : OK ALREADY INVALID OK OK
|
|
284
|
Process ./misc/ticket3i_5_e7_3307.lus : OK ALREADY TIMEOUT OK OK
|
|
285
|
Process ./misc/stalmark_e8_64_e7_80.lus : OK ALREADY INVALID OK OK
|
|
286
|
Process ./misc/durationThm_3_e1_71.lus : OK ALREADY INVALID OK OK
|
|
287
|
Process ./misc/_6counter.lus : OK ALREADY TOOMUCHP OK OK
|
|
288
|
Process ./misc/ticket3i_6.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
289
|
Process ./misc/stalmark.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
290
|
Process ./misc/ticket3i_all_e3_557_e7_3464.lus : OK ALREADY TIMEOUT OK OK
|
|
291
|
Process ./misc/durationThm_2_e3_329_e4_1.lus : OK ALREADY TIMEOUT OK OK
|
|
292
|
Process ./misc/ticket3i_3_e8_1788.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
293
|
Process ./misc/durationThm_2_e1_301.lus : OK ALREADY TIMEOUT OK OK
|
|
294
|
Process ./misc/ex8_e8_220_e7_249.lus : OK ALREADY INVALID OK OK
|
|
295
|
Process ./misc/ticket3i_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
296
|
Process ./misc/ex3_e8_381_e7_224.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
297
|
Process ./misc/ticket3i_3_e8_1703_e8_2560.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
298
|
Process ./misc/durationThm_2_e7_145_e7_154.lus : OK ALREADY INVALID OK OK
|
|
299
|
Process ./misc/durationThm_2_e7_149.lus : OK ALREADY INVALID OK OK
|
|
300
|
Process ./misc/_6counters_e3_140_e8_149.lus : OK ALREADY INVALID OK OK
|
|
301
|
Process ./memory2/ILLINOIS_3_e3_2581_e5_4006.lus : OK ALREADY INVALID OK OK
|
|
302
|
Process ./memory2/SYNAPSE_3_e8_1329_e1_1270.lus : OK ALREADY INVALID OK OK
|
|
303
|
Process ./memory2/MOESI_2_e1_1753_e1_1510.lus : OK ALREADY INVALID OK OK
|
|
304
|
Process ./memory2/SYNAPSE_3_e1_1416_e3_1191.lus : OK ALREADY INVALID OK OK
|
|
305
|
Process ./memory2/ILLINOIS_r4a.lus : OK ALREADY TIMEOUT OK OK
|
|
306
|
Process ./memory2/ILLINOIS_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
307
|
Process ./memory2/MESI_i1_e4_1986_e1_1519.lus : OK ALREADY INVALID OK OK
|
|
308
|
Process ./memory2/ILLINOIS_2_e1_834.lus : OK ALREADY INVALID OK OK
|
|
309
|
Process ./memory2/SYNAPSE_123_e3_302.lus : OK ALREADY INVALID OK OK
|
|
310
|
Process ./memory2/SYNAPSE_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
311
|
Process ./memory2/SYNAPSE_123_e8_953_e2_458.lus : OK ALREADY INVALID OK OK
|
|
312
|
Process ./memory2/MESI_i3_e1_447_e5_2444.lus : OK ALREADY INVALID OK OK
|
|
313
|
Process ./memory2/MOESI_2_e7_2910_e2_611.lus : OK ALREADY INVALID OK OK
|
|
314
|
Process ./memory2/MOESI_2_e3_929_e5_1826.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
315
|
Process ./memory2/ILLINOIS_2_e2_876.lus : OK ALREADY INVALID OK OK
|
|
316
|
Process ./memory2/SYNAPSE_2_e8_1118_e3_1216.lus : OK ALREADY INVALID OK OK
|
|
317
|
Process ./memory2/ILLINOIS_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
318
|
Process ./memory2/MOESI_2_e2_155.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
319
|
Process ./memory2/SYNAPSE_123_e7_837_e7_1262.lus : OK ALREADY TIMEOUT OK OK
|
|
320
|
Process ./memory2/MOESI_2_e8_926_e3_1758.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
321
|
Process ./memory2/MOESI_2_e7_2910_e7_1804.lus : OK ALREADY INVALID OK OK
|
|
322
|
Process ./memory2/MOESI_2_e3_929_e4_578.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
323
|
Process ./memory2/ILLINOIS_3_e3_2581_e4_958.lus : OK ALREADY INVALID OK OK
|
|
324
|
Process ./memory2/SYNAPSE_2_e8_1118_e1_667.lus : OK ALREADY INVALID OK OK
|
|
325
|
Process ./memory2/ILLINOIS_3_e3_2581_e3_979.lus : OK ALREADY INVALID OK OK
|
|
326
|
Process ./memory2/SYNAPSE_all_e8_251_e2_1053.lus : OK ALREADY INVALID OK OK
|
|
327
|
Process ./memory2/SYNAPSE_3_e8_1329_e2_236.lus : OK ALREADY INVALID OK OK
|
|
328
|
Process ./memory2/MOESI_2_e3_929_e6_2707.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
329
|
Process ./memory2/MESI_4_e7_1140_e7_433.lus : OK ALREADY TIMEOUT OK OK
|
|
330
|
Process ./memory2/SYNAPSE_123_e8_953_e3_271.lus : OK ALREADY INVALID OK OK
|
|
331
|
Process ./memory2/MOESI_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
332
|
Process ./memory2/SYNAPSE_2_e1_1239_e2_74.lus : OK ALREADY INVALID OK OK
|
|
333
|
Process ./memory2/ILLINOIS_3_e3_2581.lus : OK ALREADY INVALID OK OK
|
|
334
|
Process ./memory2/MOESI_2_e2_1599.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
335
|
Process ./memory2/MESI_3_e1_2517_e8_2163.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
336
|
Process ./memory2/ILLINOIS_5.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
337
|
Process ./memory2/ILLINOIS_2_e1_834_e3_2931.lus : OK ALREADY INVALID OK OK
|
|
338
|
Process ./memory2/MOESI_1_e3_1884_e7_1875.lus : OK ALREADY TIMEOUT OK OK
|
|
339
|
Process ./memory2/MESI_i1_e3_2145_e8_2325.lus : OK ALREADY INVALID OK OK
|
|
340
|
Process ./memory2/SYNAPSE_3_e7_425.lus : OK ALREADY TIMEOUT OK OK
|
|
341
|
Process ./memory2/SYNAPSE_2_e8_1118_e2_237.lus : OK ALREADY INVALID OK OK
|
|
342
|
Process ./memory2/MOESI_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
343
|
Process ./memory2/SYNAPSE_6_e7_938_e2_1012.lus : OK ALREADY TIMEOUT OK OK
|
|
344
|
Process ./memory2/MESI_i4_e4_1689.lus : OK ALREADY INVALID OK OK
|
|
345
|
Process ./memory2/MESI_3_e2_819.lus : OK ALREADY INVALID OK OK
|
|
346
|
Process ./memory2/MESI_i4_e6_2175.lus : OK ALREADY TIMEOUT OK OK
|
|
347
|
Process ./memory2/MOESI_2_e7_2910_e3_2002.lus : OK ALREADY INVALID OK OK
|
|
348
|
Process ./memory2/MOESI_2_e8_926_e8_2138.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
349
|
Process ./memory2/ILLINOIS_2_e2_2367_e3_1601.lus : OK ALREADY INVALID OK OK
|
|
350
|
Process ./memory2/MESI_i1_e3_2145_e2_2228.lus : OK ALREADY INVALID OK OK
|
|
351
|
Process ./memory2/MOESI_2_e3_929_e7_619.lus : OK ALREADY INVALID OK OK
|
|
352
|
Process ./memory2/MESI_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
353
|
Process ./memory2/SYNAPSE_all_e8_251.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
354
|
Process ./memory2/MOESI_2_e7_2910.lus : OK ALREADY INVALID OK OK
|
|
355
|
Process ./memory2/SYNAPSE_all_e3_1864_e4_34.lus : OK ALREADY INVALID OK OK
|
|
356
|
Process ./memory2/SYNAPSE_4_e8_420_e8_1525.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
357
|
Process ./memory2/ILLINOIS_3_e3_2581_e2_2545.lus : OK ALREADY INVALID OK OK
|
|
358
|
Process ./memory2/MESI_i4.lus : OK ALREADY INVALID OK OK
|
|
359
|
Process ./memory2/ILLINOIS_3_e3_2581_e1_1130.lus : OK ALREADY INVALID OK OK
|
|
360
|
Process ./memory2/ILLINOIS_5_e7_692_e7_2865.lus : OK ALREADY TIMEOUT OK OK
|
|
361
|
Process ./memory2/MESI_all_e4_1147_e7_497.lus : OK ALREADY TIMEOUT OK OK
|
|
362
|
Process ./memory2/ILLINOIS_4_e7_2651_e7_2847.lus : OK ALREADY TIMEOUT OK OK
|
|
363
|
Process ./memory2/SYNAPSE_123_e8_953_e7_1465.lus : OK ALREADY TIMEOUT OK OK
|
|
364
|
Process ./memory2/ILLINOIS_2_e2_2367_e2_1561.lus : OK ALREADY INVALID OK OK
|
|
365
|
Process ./memory2/SYNAPSE_3_e1_1416_e2_753.lus : OK ALREADY INVALID OK OK
|
|
366
|
Process ./memory2/SYNAPSE_4_e8_420_e7_572.lus : OK ALREADY TIMEOUT OK OK
|
|
367
|
Process ./memory2/SYNAPSE_3_e3_1041.lus : OK ALREADY INVALID OK OK
|
|
368
|
Process ./memory2/SYNAPSE_6.lus : OK ALREADY TIMEOUT OK OK
|
|
369
|
Process ./memory2/SYNAPSE_123_e2_1653.lus : OK ALREADY INVALID OK OK
|
|
370
|
Process ./memory2/MESI_i1.lus : OK ALREADY INVALID OK OK
|
|
371
|
Process ./memory2/SYNAPSE_6_e8_1147_e2_1326.lus : OK ALREADY TIMEOUT OK OK
|
|
372
|
Process ./memory2/SYNAPSE_2_e8_656.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
373
|
Process ./memory2/SYNAPSE_3_e8_1329_e8_320.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
374
|
Process ./memory2/SYNAPSE_2_e1_1239.lus : OK ALREADY INVALID OK OK
|
|
375
|
Process ./memory2/SYNAPSE_all_e8_251_e3_1472.lus : OK ALREADY INVALID OK OK
|
|
376
|
Process ./memory2/SYNAPSE_123_e7_856.lus : OK ALREADY TIMEOUT OK OK
|
|
377
|
Process ./memory2/SYNAPSE_5_e1_811.lus : OK ALREADY INVALID OK OK
|
|
378
|
Process ./memory2/SYNAPSE_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
379
|
Process ./memory2/SYNAPSE_2_e1_1239_e1_1331.lus : OK ALREADY INVALID OK OK
|
|
380
|
Process ./memory2/ILLINOIS_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
381
|
Process ./memory2/MESI_i1_e2_2656.lus : OK ALREADY INVALID OK OK
|
|
382
|
Process ./memory2/MESI_i4_e8_1381_e4_313.lus : OK ALREADY INVALID OK OK
|
|
383
|
Process ./memory2/MOESI_2_e3_929_e2_2421.lus : OK ALREADY INVALID OK OK
|
|
384
|
Process ./memory2/SYNAPSE_2_e8_1118_e7_1043.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
385
|
Process ./memory2/SYNAPSE_3_e8_1329_e7_1062.lus : OK ALREADY TIMEOUT OK OK
|
|
386
|
Process ./memory2/MOESI_2_e2_1599_e2_1815.lus : OK ALREADY INVALID OK OK
|
|
387
|
Process ./memory2/SYNAPSE_all_e3_1864_e5_1637.lu : OK ALREADY INVALID OK OK
|
|
388
|
Process ./memory2/SYNAPSE_all_e7_907_e7_1363.lus : OK ALREADY TIMEOUT OK OK
|
|
389
|
Process ./memory2/MESI_3_e2_819_e7_1665.lus : OK ALREADY INVALID OK OK
|
|
390
|
Process ./memory2/SYNAPSE_123_e8_953_e8_941.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
391
|
Process ./memory2/MOESI_2_e8_101.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
392
|
Process ./memory2/MESI_i3.lus : OK ALREADY INVALID OK OK
|
|
393
|
Process ./memory2/ILLINOIS_2_e1_834_e7_3738.lus : OK ALREADY INVALID OK OK
|
|
394
|
Process ./memory2/MESI_i1_e3_2145_e4_1717.lus : OK ALREADY INVALID OK OK
|
|
395
|
Process ./memory2/SYNAPSE_5.lus : OK ALREADY TIMEOUT OK OK
|
|
396
|
Process ./memory2/MOESI_2_e1_1753.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
397
|
Process ./memory2/MESI_i3_e1_447_e6_2281.lus : OK ALREADY TIMEOUT OK OK
|
|
398
|
Process ./memory2/MESI_i2.lus : OK ALREADY INVALID OK OK
|
|
399
|
Process ./memory2/SYNAPSE_5_e1_811_e1_823.lus : OK ALREADY INVALID OK OK
|
|
400
|
Process ./memory2/MOESI_2_e8_926_e1_1065.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
401
|
Process ./memory2/ILLINOIS_2_e2_2367_e7_2728.lus : OK ALREADY INVALID OK OK
|
|
402
|
Process ./memory2/SYNAPSE_all_e3_1864_e7_251.lus : OK ALREADY INVALID OK OK
|
|
403
|
Process ./memory2/ILLINOIS_a1.lus : OK ALREADY TIMEOUT OK OK
|
|
404
|
Process ./memory2/MESI_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
405
|
Process ./memory2/MOESI_2_e1_1753_e2_615.lus : OK ALREADY INVALID OK OK
|
|
406
|
Process ./memory2/MOESI_1_e2_982_e7_492.lus : OK ALREADY TIMEOUT OK OK
|
|
407
|
Process ./memory2/SYNAPSE_5_e2_1525.lus : OK ALREADY TIMEOUT OK OK
|
|
408
|
Process ./memory2/MESI_3_e2_819_e5_2554.lus : OK ALREADY INVALID OK OK
|
|
409
|
Process ./memory2/MOESI_2_e8_926_e2_349.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
410
|
Process ./memory2/SYNAPSE_2_e8_1118_e8_1177.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
411
|
Process ./memory2/SYNAPSE_123_e3_302_e1_1141.lus : OK ALREADY INVALID OK OK
|
|
412
|
Process ./memory2/MESI_3_e2_819_e8_1896.lus : OK ALREADY INVALID OK OK
|
|
413
|
Process ./memory2/SYNAPSE_all_e7_907.lus : OK ALREADY TIMEOUT OK OK
|
|
414
|
Process ./memory2/ILLINOIS_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
415
|
Process ./memory2/MESI_i4_e8_1381_e1_1837.lus : OK ALREADY INVALID OK OK
|
|
416
|
Process ./memory2/MESI_i1_e4_1986.lus : OK ALREADY INVALID OK OK
|
|
417
|
Process ./memory2/MESI_i3_e1_447_e1_1292.lus : OK ALREADY TIMEOUT OK OK
|
|
418
|
Process ./memory2/MESI_1_e2_162_e7_1545.lus : OK ALREADY TIMEOUT OK OK
|
|
419
|
Process ./memory2/MESI_3_e2_819_e1_1145.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
420
|
Process ./memory2/SYNAPSE_2_e3_216.lus : OK ALREADY INVALID OK OK
|
|
421
|
Process ./memory2/SYNAPSE_3_e7_1444_e7_638.lus : OK ALREADY TIMEOUT OK OK
|
|
422
|
Process ./memory2/SYNAPSE_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
423
|
Process ./memory2/MESI_i1_e3_2145_e5_2391.lus : OK ALREADY INVALID OK OK
|
|
424
|
Process ./memory2/MESI_i1_e2_1758_e8_12.lus : OK ALREADY INVALID OK OK
|
|
425
|
Process ./memory2/MESI_i1_e3_2145.lus : OK ALREADY INVALID OK OK
|
|
426
|
Process ./memory2/MOESI_2_e7_2910_e1_1021.lus : OK ALREADY INVALID OK OK
|
|
427
|
Process ./memory2/MESI_i1_e3_2145_e3_977.lus : OK ALREADY INVALID OK OK
|
|
428
|
Process ./memory2/MOESI_2_e3_1523.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
429
|
Process ./memory2/SYNAPSE_i1.lus : OK ALREADY INVALID OK OK
|
|
430
|
Process ./memory2/MOESI_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
431
|
Process ./memory2/SYNAPSE_3_e8_1708.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
432
|
Process ./memory2/SYNAPSE_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
433
|
Process ./memory2/MESI_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
434
|
Process ./memory2/MESI_i4_e7_1017_e6_1132.lus : OK ALREADY TIMEOUT OK OK
|
|
435
|
Process ./memory2/MESI_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
436
|
Process ./memory2/SYNAPSE_123_e7_837_e2_1394.lus : OK ALREADY INVALID OK OK
|
|
437
|
Process ./memory2/SYNAPSE_5_e1_811_e2_1026.lus : OK ALREADY INVALID OK OK
|
|
438
|
Process ./memory2/MESI_3_e2_819_e3_2698.lus : OK ALREADY INVALID OK OK
|
|
439
|
Process ./memory2/SYNAPSE_123_e7_837_e3_135.lus : OK ALREADY INVALID OK OK
|
|
440
|
Process ./memory2/SYNAPSE_6_e2_1439_e1_954.lus : OK ALREADY TIMEOUT OK OK
|
|
441
|
Process ./memory2/MESI_i1_e3_2145_e1_2667.lus : OK ALREADY INVALID OK OK
|
|
442
|
Process ./memory2/SYNAPSE_123_e8_953_e1_1128.lus : OK ALREADY INVALID OK OK
|
|
443
|
Process ./memory2/SYNAPSE_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
444
|
Process ./memory2/MOESI_2_e2_1599_e3_1658.lus : OK ALREADY INVALID OK OK
|
|
445
|
Process ./memory2/ILLINOIS_2_e1_834_e2_3395.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
446
|
Process ./memory2/MOESI_2_e8_926_e7_961.lus : OK ALREADY INVALID OK OK
|
|
447
|
Process ./memory2/MESI_i1_e3_2145_e7_1847.lus : OK ALREADY INVALID OK OK
|
|
448
|
Process ./memory2/MOESI_2_e3_929_e1_2319.lus : OK ALREADY INVALID OK OK
|
|
449
|
Process ./memory2/SYNAPSE_6_e3_1666_e5_1558.lus : OK ALREADY TIMEOUT OK OK
|
|
450
|
Process ./memory2/MESI_i3_e1_447_e2_1098.lus : OK ALREADY INVALID OK OK
|
|
451
|
Process ./memory2/MOESI_2_e3_929.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
452
|
Process ./memory2/MOESI_2_e7_2910_e8_2590.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
453
|
Process ./memory2/MOESI_2_e2_1599_e1_2383.lus : OK ALREADY INVALID OK OK
|
|
454
|
Process ./memory2/SYNAPSE_123_e8_953.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
455
|
Process ./memory2/ILLINOIS_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
456
|
Process ./memory2/MOESI_2_e2_1599_e8_1334.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
457
|
Process ./memory2/MESI_3_e2_819_e2_562.lus : OK ALREADY INVALID OK OK
|
|
458
|
Process ./memory2/MESI_i3_e1_447_e7_2194.lus : OK ALREADY INVALID OK OK
|
|
459
|
Process ./memory2/SYNAPSE_3_e1_1416.lus : OK ALREADY INVALID OK OK
|
|
460
|
Process ./memory2/MOESI_2_e8_926.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
461
|
Process ./memory2/SYNAPSE_all_e3_1750.lus : OK ALREADY INVALID OK OK
|
|
462
|
Process ./memory2/MOESI_2_e7_2607.lus : OK ALREADY INVALID OK OK
|
|
463
|
Process ./memory2/MESI_i3_e1_447_e3_1180.lus : OK ALREADY TIMEOUT OK OK
|
|
464
|
Process ./memory2/MOESI_2_e1_1753_e3_2021.lus : OK ALREADY INVALID OK OK
|
|
465
|
Process ./memory2/SYNAPSE_3_e8_1329_e3_421.lus : OK ALREADY INVALID OK OK
|
|
466
|
Process ./memory2/MESI_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
467
|
Process ./memory2/MOESI_2_e3_929_e3_2294.lus : OK ALREADY INVALID OK OK
|
|
468
|
Process ./memory2/ILLINOIS_3_e3_2581_e7_3447.lus : OK ALREADY INVALID OK OK
|
|
469
|
Process ./memory2/MESI_i3_e1_447.lus : OK ALREADY INVALID OK OK
|
|
470
|
Process ./memory2/MOESI_2_e3_929_e8_1167.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
471
|
Process ./memory2/MESI_3_e2_819_e6_1459.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
472
|
Process ./memory2/SYNAPSE_all_e3_1864_e3_495.lus : OK ALREADY INVALID OK OK
|
|
473
|
Process ./memory2/MESI_3_e2_819_e4_1595.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
474
|
Process ./memory2/SYNAPSE_123.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
475
|
Process ./memory2/MESI_3_e3_2669.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
476
|
Process ./memory2/SYNAPSE_all_e8_251_e1_1852.lus : OK ALREADY INVALID OK OK
|
|
477
|
Process ./memory2/SYNAPSE_4_e8_974.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
478
|
Process ./memory2/ILLINOIS_2_e2_2367_e1_3182.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
479
|
Process ./memory2/SYNAPSE_3_e1_1416_e1_1675.lus : OK ALREADY INVALID OK OK
|
|
480
|
Process ./memory2/MOESI_all_e3_2032_e3_2788.lus : OK ALREADY INVALID OK OK
|
|
481
|
Process ./memory2/ILLINOIS_2_e1_834_e1_1895.lus : OK ALREADY INVALID OK OK
|
|
482
|
Process ./memory2/SYNAPSE_3_e1_1416_e7_193.lus : OK ALREADY INVALID OK OK
|
|
483
|
Process ./protocol/readwrit.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
484
|
Process ./protocol/peterson_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
485
|
Process ./protocol/swimmingpool_3.lus : OK ALREADY INVALID OK OK
|
|
486
|
Process ./protocol/swimmingpool_7.lus : OK ALREADY INVALID OK OK
|
|
487
|
Process ./protocol/swimmingpool_6.lus : OK ALREADY INVALID OK OK
|
|
488
|
Process ./protocol/swimmingpool_6_e7_399.lus : OK ALREADY INVALID OK OK
|
|
489
|
Process ./protocol/rtp_9.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
490
|
Process ./protocol/rtp_vt.lus : OK ALREADY TIMEOUT OK OK
|
|
491
|
Process ./protocol/swimmingpool_4.lus : OK ALREADY INVALID OK OK
|
|
492
|
Process ./protocol/peterson_vt.lus : OK ALREADY INVALID OK OK
|
|
493
|
Process ./protocol/rtp_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
494
|
Process ./protocol/peterson_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
495
|
Process ./protocol/rtp_5.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
496
|
Process ./protocol/peterson_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
497
|
Process ./protocol/rtp_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
498
|
Process ./protocol/peterson_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
499
|
Process ./protocol/swimmingpool_1_e7_1621.lus : OK ALREADY INVALID OK OK
|
|
500
|
Process ./protocol/rtp_8.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
501
|
Process ./protocol/swimmingpool_4_e7_2197.lus : OK ALREADY INVALID OK OK
|
|
502
|
Process ./protocol/rtp_5_e7_3972.lus : OK ALREADY TIMEOUT OK OK
|
|
503
|
Process ./protocol/swimmingpool_1.lus : OK ALREADY INVALID OK OK
|
|
504
|
Process ./protocol/swimmingpool_6_e7_10_e7_341.l : OK ALREADY INVALID OK OK
|
|
505
|
Process ./protocol/rtp_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
506
|
Process ./protocol/swimmingpool_2.lus : OK ALREADY INVALID OK OK
|
|
507
|
Process ./protocol/peterson_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
508
|
Process ./protocol/rtp_6.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
509
|
Process ./protocol/swimmingpool_9.lus : OK ALREADY INVALID OK OK
|
|
510
|
Process ./protocol/rtp_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
511
|
Process ./protocol/rtp_7.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
512
|
Process ./protocol/rtp_10.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
513
|
Process ./protocol/rtp_all_e7_2500.lus : OK ALREADY TIMEOUT OK OK
|
|
514
|
Process ./protocol/rtp_10_e7_106_e7_2564.lus : OK ALREADY TIMEOUT OK OK
|
|
515
|
Process ./protocol/peterson_1_e7_4234.lus : OK ALREADY TIMEOUT OK OK
|
|
516
|
Process ./protocol/swimmingpool_8.lus : OK ALREADY INVALID OK OK
|
|
517
|
Process ./protocol/swimmingpool_5.lus : OK ALREADY INVALID OK OK
|
|
518
|
Process ./protocol/rtp_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
519
|
Process ./large/ccp07.lus : OK ALREADY TOOMUCHP OK OK
|
|
520
|
Process ./large/cruise_controller_07.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
521
|
Process ./large/cruise_controller_22.lus : OK ALREADY INVALID OK OK
|
|
522
|
Process ./large/cruise_controller_19.lus : OK ALREADY TIMEOUT OK OK
|
|
523
|
Process ./large/steam_boiler_no_arr2_e7_12307.lu : OK ALREADY OK(k=2) OK OK WRITE
|
|
524
|
Process ./large/cruise_controller_21.lus : OK ALREADY INVALID OK OK
|
|
525
|
Process ./large/microwave08.lus : OK ALREADY TIMEOUT OK OK
|
|
526
|
Process ./large/microwave21.lus : OK ALREADY TIMEOUT OK OK
|
|
527
|
Process ./large/ccp14.lus : OK ALREADY TOOMUCHP OK OK
|
|
528
|
Process ./large/ccp16.lus : OK ALREADY TOOMUCHP OK OK
|
|
529
|
Process ./large/microwave22.lus : OK ALREADY TIMEOUT OK OK
|
|
530
|
Process ./large/cruise_controller_11.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
531
|
Process ./large/microwave20.lus : OK ALREADY INVALID OK OK
|
|
532
|
Process ./large/cruise_controller_18.lus : OK ALREADY TIMEOUT OK OK
|
|
533
|
Process ./large/microwave18.lus : OK ALREADY INVALID OK OK
|
|
534
|
Process ./large/microwave11.lus : OK ALREADY TIMEOUT OK OK
|
|
535
|
Process ./large/cruise_controller_12.lus : OK ALREADY TIMEOUT OK OK
|
|
536
|
Process ./large/ccp10.lus : OK ALREADY TOOMUCHP OK OK
|
|
537
|
Process ./large/ccp01.lus : OK ALREADY TOOMUCHP OK OK
|
|
538
|
Process ./large/microwave25.lus : OK ALREADY INVALID OK OK
|
|
539
|
Process ./large/microwave35.lus : OK ALREADY INVALID OK OK
|
|
540
|
Process ./large/ccp09.lus : OK ALREADY TOOMUCHP OK OK
|
|
541
|
Process ./large/microwave07.lus : OK ALREADY TIMEOUT OK OK
|
|
542
|
Process ./large/microwave37.lus : OK ALREADY INVALID OK OK
|
|
543
|
Process ./large/cruise_controller_08.lus : OK ALREADY TIMEOUT OK OK
|
|
544
|
Process ./large/microwave32.lus : OK ALREADY INVALID OK OK
|
|
545
|
Process ./large/steam_boiler_no_arr2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
546
|
Process ./large/microwave29.lus : OK ALREADY TIMEOUT OK OK
|
|
547
|
Process ./large/microwave28.lus : OK ALREADY INVALID OK OK
|
|
548
|
Process ./large/microwave19.lus : OK ALREADY TIMEOUT OK OK
|
|
549
|
Process ./large/ccp08.lus : OK ALREADY TOOMUCHP OK OK
|
|
550
|
Process ./large/cruise_controller_17.lus : OK ALREADY INVALID OK OK
|
|
551
|
Process ./large/ccp04.lus : OK ALREADY TOOMUCHP OK OK
|
|
552
|
Process ./large/ccp02.lus : OK ALREADY TOOMUCHP OK OK
|
|
553
|
Process ./large/cruise_controller_01.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
554
|
Process ./large/microwave02.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
555
|
Process ./large/ccp11.lus : OK ALREADY TOOMUCHP OK OK
|
|
556
|
Process ./large/microwave38.lus : OK ALREADY INVALID OK OK
|
|
557
|
Process ./large/cruise_controller_24.lus : OK ALREADY TIMEOUT OK OK
|
|
558
|
Process ./large/ccp22.lus : OK ALREADY TOOMUCHP OK OK
|
|
559
|
Process ./large/cruise_controller_23.lus : OK ALREADY TIMEOUT OK OK
|
|
560
|
Process ./large/ccp24.lus : OK ALREADY TOOMUCHP OK OK
|
|
561
|
Process ./large/microwave39.lus : OK ALREADY INVALID OK OK
|
|
562
|
Process ./large/ccp03.lus : OK ALREADY TOOMUCHP OK OK
|
|
563
|
Process ./large/cruise_controller_10.lus : OK ALREADY TIMEOUT OK OK
|
|
564
|
Process ./large/cruise_controller_20.lus : OK ALREADY INVALID OK OK
|
|
565
|
Process ./large/steam_boiler_no_arr1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
566
|
Process ./large/ccp17.lus : OK ALREADY TOOMUCHP OK OK
|
|
567
|
Process ./large/ccp21.lus : OK ALREADY TOOMUCHP OK OK
|
|
568
|
Process ./large/microwave36.lus : OK ALREADY INVALID OK OK
|
|
569
|
Process ./large/cruise_controller_15.lus : OK ALREADY INVALID OK OK
|
|
570
|
Process ./large/steam_boiler_no_arr2_e6_3003_e4_ : OK ALREADY OK(k=2) OK OK WRITE
|
|
571
|
Process ./large/microwave26.lus : OK ALREADY TIMEOUT OK OK
|
|
572
|
Process ./large/ccp23.lus : OK ALREADY TOOMUCHP OK OK
|
|
573
|
Process ./large/microwave15.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
574
|
Process ./large/ccp15.lus : OK ALREADY TOOMUCHP OK OK
|
|
575
|
Process ./large/steam_boiler_no_arr2_e1_17214_e5 : OK ALREADY OK(k=2) OK OK WRITE
|
|
576
|
Process ./large/microwave09.lus : OK ALREADY TIMEOUT OK OK
|
|
577
|
Process ./large/microwave03.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
578
|
Process ./large/ccp18.lus : OK ALREADY TOOMUCHP OK OK
|
|
579
|
Process ./large/cruise_controller_06.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
580
|
Process ./large/ccp12.lus : OK ALREADY TOOMUCHP OK OK
|
|
581
|
Process ./large/cruise_controller_04.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
582
|
Process ./large/ccp06.lus : OK ALREADY TOOMUCHP OK OK
|
|
583
|
Process ./large/cruise_controller_13.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
584
|
Process ./large/microwave40.lus : OK ALREADY INVALID OK OK
|
|
585
|
Process ./large/microwave13.lus : OK ALREADY TIMEOUT OK OK
|
|
586
|
Process ./large/cruise_controller_03.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
587
|
Process ./large/microwave10.lus : OK ALREADY TIMEOUT OK OK
|
|
588
|
Process ./large/cruise_controller_16.lus : OK ALREADY TIMEOUT OK OK
|
|
589
|
Process ./large/microwave14.lus : OK ALREADY INVALID OK OK
|
|
590
|
Process ./large/microwave27.lus : OK ALREADY TIMEOUT OK OK
|
|
591
|
Process ./large/microwave30.lus : OK ALREADY TIMEOUT OK OK
|
|
592
|
Process ./large/steam_boiler_no_arr2_e3_514_e4_1 : OK ALREADY OK(k=2) OK OK WRITE
|
|
593
|
Process ./large/microwave23.lus : OK ALREADY INVALID OK OK
|
|
594
|
Process ./large/cruise_controller_14.lus : OK ALREADY TIMEOUT OK OK
|
|
595
|
Process ./large/ccp20.lus : OK ALREADY TOOMUCHP OK OK
|
|
596
|
Process ./large/microwave06.lus : OK ALREADY TIMEOUT OK OK
|
|
597
|
Process ./large/microwave24.lus : OK ALREADY TIMEOUT OK OK
|
|
598
|
Process ./large/microwave17.lus : OK ALREADY TIMEOUT OK OK
|
|
599
|
Process ./large/ccp13.lus : OK ALREADY TOOMUCHP OK OK
|
|
600
|
Process ./large/steam_boiler_no_arr1_e4_23904_e4 : OK ALREADY OK(k=2) OK OK WRITE
|
|
601
|
Process ./large/cruise_controller_05.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
602
|
Process ./large/cruise_controller_02.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
603
|
Process ./large/microwave04.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
604
|
Process ./large/microwave05.lus : OK ALREADY TIMEOUT OK OK
|
|
605
|
Process ./large/steam_boiler_no_arr2_e8_21449_e5 : OK ALREADY OK(k=2) OK OK WRITE
|
|
606
|
Process ./large/microwave16.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
607
|
Process ./large/microwave31.lus : OK ALREADY INVALID OK OK
|
|
608
|
Process ./large/ccp05.lus : OK ALREADY TOOMUCHP OK OK
|
|
609
|
Process ./large/microwave33.lus : OK ALREADY INVALID OK OK
|
|
610
|
Process ./large/microwave34.lus : OK ALREADY INVALID OK OK
|
|
611
|
Process ./large/microwave12.lus : OK ALREADY INVALID OK OK
|
|
612
|
Process ./large/cruise_controller_09.lus : OK ALREADY INVALID OK OK
|
|
613
|
Process ./large/microwave01.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
614
|
Process ./large/ccp19.lus : OK ALREADY TOOMUCHP OK OK
|
|
615
|
Process ./memory1/DRAGON_3_e1_4783_e7_4070.lus : OK ALREADY INVALID OK OK
|
|
616
|
Process ./memory1/DRAGON_9_e7_1843_e2_1145.lus : OK ALREADY TIMEOUT OK OK
|
|
617
|
Process ./memory1/DRAGON_10_e1_998.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
618
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e1_725. : OK ALREADY INVALID OK OK
|
|
619
|
Process ./memory1/FIREFLY_1_e1_1092_e7_1119.lus : OK ALREADY INVALID OK OK
|
|
620
|
Process ./memory1/FIREFLY_1_e1_1092_e1_1486.lus : OK ALREADY INVALID OK OK
|
|
621
|
Process ./memory1/FIREFLY_a3_e2_2086_e2_2689.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
622
|
Process ./memory1/DRAGON_2_e7_25_e2_5340.lus : OK ALREADY INVALID OK OK
|
|
623
|
Process ./memory1/DRAGON_13_e7_2336_e3_3117.lus : OK ALREADY INVALID OK OK
|
|
624
|
Process ./memory1/DRAGON_2_e7_25_e3_829.lus : OK ALREADY INVALID OK OK
|
|
625
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e6_1974 : OK ALREADY OK(k=2) OK OK WRITE
|
|
626
|
Process ./memory1/DRAGON_all_e2_6104.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
627
|
Process ./memory1/DRAGON_14_e1_5710.lus : OK ALREADY TIMEOUT OK OK
|
|
628
|
Process ./memory1/FIREFLY_luke_1a_e7_3042_e3_121 : OK ALREADY TIMEOUT OK OK
|
|
629
|
Process ./memory1/DRAGON_all_e2_6104_e2_3308.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
630
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e2_2131 : OK ALREADY INVALID OK OK
|
|
631
|
Process ./memory1/DRAGON_all_e1_4037.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
632
|
Process ./memory1/FIREFLY_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
633
|
Process ./memory1/FIREFLY_3_e2_2236_e7_3681.lus : OK ALREADY TIMEOUT OK OK
|
|
634
|
Process ./memory1/DRAGON_12_e2_1618_e3_2012.lus : OK ALREADY TIMEOUT OK OK
|
|
635
|
Process ./memory1/DRAGON_12_e2_1618_e1_6030.lus : OK ALREADY TIMEOUT OK OK
|
|
636
|
Process ./memory1/FIREFLY_all_e3_1600_e1_667.lus : OK ALREADY INVALID OK OK
|
|
637
|
Process ./memory1/FIREFLY_luke_1b.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
638
|
Process ./memory1/DRAGON_2_e7_25.lus : OK ALREADY INVALID OK OK
|
|
639
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e5_1637 : OK ALREADY INVALID OK OK
|
|
640
|
Process ./memory1/DRAGON_4_e2_2799_e2_2251.lus : OK ALREADY TIMEOUT OK OK
|
|
641
|
Process ./memory1/FIREFLY_luke_1b_e7_3191_e3_125 : OK ALREADY INVALID OK OK
|
|
642
|
Process ./memory1/DRAGON_all2_e3_4612_e2_5774.lu : OK ALREADY TIMEOUT OK OK
|
|
643
|
Process ./memory1/DRAGON_12_e1_4640_e7_128.lus : OK ALREADY INVALID OK OK
|
|
644
|
Process ./memory1/FIREFLY_a3_e1_3233_e3_2970.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
645
|
Process ./memory1/DRAGON_3_e1_4783_e3_511.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
646
|
Process ./memory1/FIREFLY_luke_1b_e7_3191_e2_186 : OK ALREADY INVALID OK OK
|
|
647
|
Process ./memory1/FIREFLY_luke_1b_e2_3049.lus : OK ALREADY INVALID OK OK
|
|
648
|
Process ./memory1/DRAGON_7_e2_2872_e3_2640.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
649
|
Process ./memory1/DRAGON_4_e7_2329_e7_3856.lus : OK ALREADY INVALID OK OK
|
|
650
|
Process ./memory1/FIREFLY_8_e2_1711_e7_1962.lus : OK ALREADY INVALID OK OK
|
|
651
|
Process ./memory1/FIREFLY_a3_e3_314_e2_2812.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
652
|
Process ./memory1/FIREFLY_all_e3_1600_e4_2415.lu : OK ALREADY INVALID OK OK
|
|
653
|
Process ./memory1/FIREFLY_a3_e3_314_e1_1979.lus : OK ALREADY INVALID OK OK
|
|
654
|
Process ./memory1/FIREFLY_1_e1_1092.lus : OK ALREADY INVALID OK OK
|
|
655
|
Process ./memory1/FIREFLY_all_e1_1207_e7_156.lus : OK ALREADY INVALID OK OK
|
|
656
|
Process ./memory1/DRAGON_6_e7_5046_e7_3623.lus : OK ALREADY TIMEOUT OK OK
|
|
657
|
Process ./memory1/DRAGON_5_e2_3018_e2_936.lus : OK ALREADY TIMEOUT OK OK
|
|
658
|
Process ./memory1/FIREFLY_luke_1a_e2_284_e1_2924 : OK ALREADY TIMEOUT OK OK
|
|
659
|
Process ./memory1/DRAGON_5_e7_2017_e1_5832.lus : OK ALREADY INVALID OK OK
|
|
660
|
Process ./memory1/DRAGON_12_e2_1618_e2_138.lus : OK ALREADY TIMEOUT OK OK
|
|
661
|
Process ./memory1/FIREFLY_a3_e2_2952.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
662
|
Process ./memory1/DRAGON_7.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
663
|
Process ./memory1/FIREFLY_u1_e7_3318.lus : OK ALREADY INVALID OK OK
|
|
664
|
Process ./memory1/DRAGON_5_e7_2017_e2_664.lus : OK ALREADY INVALID OK OK
|
|
665
|
Process ./memory1/DRAGON_6.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
666
|
Process ./memory1/FIREFLY_luke_1a_e2_284_e7_998. : OK ALREADY INVALID OK OK
|
|
667
|
Process ./memory1/DRAGON_7_e2_2872_e2_5844.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
668
|
Process ./memory1/FIREFLY_a3_e1_3233_e2_2392.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
669
|
Process ./memory1/FIREFLY_luke_rt_e2_3460_e7_471 : OK ALREADY INVALID OK OK
|
|
670
|
Process ./memory1/DRAGON_10_e3_144_e7_523.lus : OK ALREADY INVALID OK OK
|
|
671
|
Process ./memory1/FIREFLY_all_e3_1600_e5_84.lus : OK ALREADY INVALID OK OK
|
|
672
|
Process ./memory1/FIREFLY_luke_2_e2_1375_e1_418. : OK ALREADY TIMEOUT OK OK
|
|
673
|
Process ./memory1/FIREFLY_all_e2_2924_e7_3371.lu : OK ALREADY INVALID OK OK
|
|
674
|
Process ./memory1/DRAGON_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
675
|
Process ./memory1/DRAGON_8.lus : OK ALREADY TIMEOUT OK OK
|
|
676
|
Process ./memory1/DRAGON_11_e3_382_e4_4421.lus : OK ALREADY TIMEOUT OK OK
|
|
677
|
Process ./memory1/DRAGON_all2_e7_5406_e2_3084.lu : OK ALREADY INVALID OK OK
|
|
678
|
Process ./memory1/FIREFLY_luke_rt_e1_913.lus : OK ALREADY INVALID OK OK
|
|
679
|
Process ./memory1/DRAGON_1_e1_3184_e7_1888.lus : OK ALREADY TIMEOUT OK OK
|
|
680
|
Process ./memory1/FIREFLY_luke_1b_e7_3191.lus : OK ALREADY INVALID OK OK
|
|
681
|
Process ./memory1/FIREFLY_all.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
682
|
Process ./memory1/DRAGON_4.lus : OK ALREADY TIMEOUT OK OK
|
|
683
|
Process ./memory1/FIREFLY_4_e3_3511_e5_3248.lus : OK ALREADY TIMEOUT OK OK
|
|
684
|
Process ./memory1/DRAGON_all_e7_1941_e2_6086.lus : OK ALREADY INVALID OK OK
|
|
685
|
Process ./memory1/DRAGON_all_e2_6104_e3_2607.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
686
|
Process ./memory1/DRAGON_5_e1_1835.lus : OK ALREADY TIMEOUT OK OK
|
|
687
|
Process ./memory1/DRAGON_1_e1_5070.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
688
|
Process ./memory1/FIREFLY_11_e3_2076_e1_1270.lus : OK ALREADY TIMEOUT OK OK
|
|
689
|
Process ./memory1/DRAGON_10.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
690
|
Process ./memory1/FIREFLY_all_e2_2924_e2_1767.lu : OK ALREADY INVALID OK OK
|
|
691
|
Process ./memory1/FIREFLY_a3_e3_314_e4_897.lus : OK ALREADY INVALID OK OK
|
|
692
|
Process ./memory1/FIREFLY_all_e1_1207_e3_1928.lu : OK ALREADY INVALID OK OK
|
|
693
|
Process ./memory1/FIREFLY_luke_rt.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
694
|
Process ./memory1/DRAGON_3_e3_5422_e1_2288.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
695
|
Process ./memory1/FIREFLY_luke_rt_e1_913_e3_2128 : OK ALREADY INVALID OK OK
|
|
696
|
Process ./memory1/FIREFLY_all_e3_1600_e2_676.lus : OK ALREADY INVALID OK OK
|
|
697
|
Process ./memory1/DRAGON_11_e1_2450_e2_1483.lus : OK ALREADY TIMEOUT OK OK
|
|
698
|
Process ./memory1/FIREFLY_all_e1_1207_e2_3220.lu : OK ALREADY OK(k=2) OK OK WRITE
|
|
699
|
Process ./memory1/DRAGON_10_e1_3587_e7_872.lus : OK ALREADY INVALID OK OK
|
|
700
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e3_941. : OK ALREADY INVALID OK OK
|
|
701
|
Process ./memory1/DRAGON_9_e7_1843_e3_5316.lus : OK ALREADY TIMEOUT OK OK
|
|
702
|
Process ./memory1/DRAGON_all2_e3_4612_e1_6463.lu : OK ALREADY TIMEOUT OK OK
|
|
703
|
Process ./memory1/DRAGON_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
704
|
Process ./memory1/DRAGON_10_e3_3429.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
705
|
Process ./memory1/DRAGON_7_e7_3157_e2_2082.lus : OK ALREADY TIMEOUT OK OK
|
|
706
|
Process ./memory1/DRAGON_1_e1_14612_e1_268_e7_50 : OK ALREADY TIMEOUT OK OK
|
|
707
|
Process ./memory1/FIREFLY_5_e2_2884_e3_1882.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
708
|
Process ./memory1/DRAGON_all_e3_4821_e5_1536.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
709
|
Process ./memory1/DRAGON_3_e3_5422_e2_3135.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
710
|
Process ./memory1/DRAGON_3_e7_4884.lus : OK ALREADY INVALID OK OK
|
|
711
|
Process ./memory1/DRAGON_10_e7_3861_e7_2180.lus : OK ALREADY INVALID OK OK
|
|
712
|
Process ./memory1/FIREFLY_all_e3_1600_e3_2055.lu : OK ALREADY INVALID OK OK
|
|
713
|
Process ./memory1/DRAGON_4_e2_2799.lus : OK ALREADY TIMEOUT OK OK
|
|
714
|
Process ./memory1/FIREFLY_a3_e2_2086_e1_3235.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
715
|
Process ./memory1/FIREFLY_luke_1a_e2_284_e3_3091 : OK ALREADY TIMEOUT OK OK
|
|
716
|
Process ./memory1/FIREFLY_luke_rt_e1_913_e1_1993 : OK ALREADY INVALID OK OK
|
|
717
|
Process ./memory1/DRAGON_3_e1_4783_e1_3755.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
718
|
Process ./memory1/FIREFLY_9_e7_170_e3_3647.lus : OK ALREADY TIMEOUT OK OK
|
|
719
|
Process ./memory1/FIREFLY_10_e7_919_e2_3192.lus : OK ALREADY TIMEOUT OK OK
|
|
720
|
Process ./memory1/FIREFLY_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
721
|
Process ./memory1/DRAGON_all2_e7_5406_e1_6690.lu : OK ALREADY INVALID OK OK
|
|
722
|
Process ./memory1/FIREFLY_10.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
723
|
Process ./memory1/FIREFLY_a3_e1_3233.lus : OK ALREADY INVALID OK OK
|
|
724
|
Process ./memory1/FIREFLY_8_e2_1711_e3_1753.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
725
|
Process ./memory1/FIREFLY_3_e2_2236_e2_1058.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
726
|
Process ./memory1/DRAGON_all2_e3_4612_e3_1543.lu : OK ALREADY TIMEOUT OK OK
|
|
727
|
Process ./memory1/FIREFLY_5_e2_2884_e7_3594.lus : OK ALREADY TIMEOUT OK OK
|
|
728
|
Process ./memory1/DRAGON_14_e7_3162_e3_4298.lus : OK ALREADY INVALID OK OK
|
|
729
|
Process ./memory1/DRAGON_11_e1_2450_e1_5887.lus : OK ALREADY TIMEOUT OK OK
|
|
730
|
Process ./memory1/FIREFLY_a3_e1_3233_e1_3123.lus : OK ALREADY INVALID OK OK
|
|
731
|
Process ./memory1/FIREFLY_rt_e3_1770_e2_637.lus : OK ALREADY TIMEOUT OK OK
|
|
732
|
Process ./memory1/FIREFLY_4.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
733
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e4_147. : OK ALREADY INVALID OK OK
|
|
734
|
Process ./memory1/FIREFLY_luke_4_e2_325.lus : OK ALREADY TIMEOUT OK OK
|
|
735
|
Process ./memory1/FIREFLY_luke_2.lus : OK ALREADY TIMEOUT OK OK
|
|
736
|
Process ./memory1/DRAGON_14_e3_5120.lus : OK ALREADY TIMEOUT OK OK
|
|
737
|
Process ./memory1/FIREFLY_5.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
738
|
Process ./memory1/FIREFLY_luke_rt_e1_913_e2_3353 : OK ALREADY OK(k=2) OK OK WRITE
|
|
739
|
Process ./memory1/DRAGON_11_e1_2450_e3_2330.lus : OK ALREADY TIMEOUT OK OK
|
|
740
|
Process ./memory1/DRAGON_all2_e8_5504_e1_4719.lu : OK ALREADY INVALID OK OK
|
|
741
|
Process ./memory1/FIREFLY_5_e2_2884_e2_1492.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
742
|
Process ./memory1/FIREFLY_luke_rt_e2_3460.lus : OK ALREADY INVALID OK OK
|
|
743
|
Process ./memory1/DRAGON_12.lus : OK ALREADY TIMEOUT OK OK
|
|
744
|
Process ./memory1/FIREFLY_2_e3_151_e3_1540.lus : OK ALREADY INVALID OK OK
|
|
745
|
Process ./memory1/FIREFLY_luke_2_e7_1826_e8_126. : OK ALREADY TIMEOUT OK OK
|
|
746
|
Process ./memory1/DRAGON_1_e2_1997_e7_3613_e2_34 : OK ALREADY TIMEOUT OK OK
|
|
747
|
Process ./memory1/DRAGON_10_e1_3587_e3_2749.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
748
|
Process ./memory1/DRAGON_all2_e7_5406_e7_6697.lu : OK ALREADY INVALID OK OK
|
|
749
|
Process ./memory1/FIREFLY_all_e3_3496.lus : OK ALREADY INVALID OK OK
|
|
750
|
Process ./memory1/DRAGON_14_e7_3162_e7_3528.lus : OK ALREADY INVALID OK OK
|
|
751
|
Process ./memory1/FIREFLY_6_e2_3302.lus : OK ALREADY TIMEOUT OK OK
|
|
752
|
Process ./memory1/DRAGON_9_e7_1843_e1_5434.lus : OK ALREADY TIMEOUT OK OK
|
|
753
|
Process ./memory1/FIREFLY_8_e2_1711.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
754
|
Process ./memory1/FIREFLY_luke_rt_e2_3460_e2_267 : OK ALREADY INVALID OK OK
|
|
755
|
Process ./memory1/DRAGON_12_e2_1618.lus : OK ALREADY TIMEOUT OK OK
|
|
756
|
Process ./memory1/FIREFLY_luke_5.lus : OK ALREADY TIMEOUT OK OK
|
|
757
|
Process ./memory1/DRAGON_2_e7_25_e1_154.lus : OK ALREADY INVALID OK OK
|
|
758
|
Process ./memory1/FIREFLY_8.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
759
|
Process ./memory1/FIREFLY_8_e2_1711_e2_2673.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
760
|
Process ./memory1/FIREFLY_luke_1b_e7_3191_e7_214 : OK ALREADY INVALID OK OK
|
|
761
|
Process ./memory1/DRAGON_all_e3_4821_e4_1791.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
762
|
Process ./memory1/DRAGON_3_e3_3846.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
763
|
Process ./memory1/DRAGON_10_e7_3861_e2_1020.lus : OK ALREADY INVALID OK OK
|
|
764
|
Process ./memory1/FIREFLY_luke_1a_e2_284_e2_2755 : OK ALREADY TIMEOUT OK OK
|
|
765
|
Process ./memory1/FIREFLY_7.lus : OK ALREADY TIMEOUT OK OK
|
|
766
|
Process ./memory1/DRAGON_4_e7_2329_e3_4574.lus : OK ALREADY INVALID OK OK
|
|
767
|
Process ./memory1/FIREFLY_luke_1b_e7_2574.lus : OK ALREADY INVALID OK OK
|
|
768
|
Process ./memory1/DRAGON_14_e3_1259_e1_5798.lus : OK ALREADY TIMEOUT OK OK
|
|
769
|
Process ./memory1/FIREFLY_4_e3_3511_e1_2375.lus : OK ALREADY INVALID OK OK
|
|
770
|
Process ./memory1/DRAGON_1_e1_14612_e2_2653_e7_4 : OK ALREADY TIMEOUT OK OK
|
|
771
|
Process ./memory1/FIREFLY_luke_3_e1_2217_e3_1200 : OK ALREADY TIMEOUT OK OK
|
|
772
|
Process ./memory1/FIREFLY_luke_1b_e2_3049_e3_269 : OK ALREADY INVALID OK OK
|
|
773
|
Process ./memory1/FIREFLY_a3_e1_3233_e7_906.lus : OK ALREADY INVALID OK OK
|
|
774
|
Process ./memory1/DRAGON_2_e2_3183_e2_3580.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
775
|
Process ./memory1/DRAGON_13_e7_2336_e2_1255.lus : OK ALREADY INVALID OK OK
|
|
776
|
Process ./memory1/FIREFLY_11.lus : OK ALREADY TIMEOUT OK OK
|
|
777
|
Process ./memory1/DRAGON_4_e2_2799_e3_1915.lus : OK ALREADY TIMEOUT OK OK
|
|
778
|
Process ./memory1/DRAGON_8_e2_3896_e3_3125.lus : OK ALREADY TIMEOUT OK OK
|
|
779
|
Process ./memory1/DRAGON_all2.lus : OK ALREADY TIMEOUT OK OK
|
|
780
|
Process ./memory1/DRAGON_2_e1_2316.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
781
|
Process ./memory1/FIREFLY_luke_1b_e1_1691.lus : OK ALREADY INVALID OK OK
|
|
782
|
Process ./memory1/FIREFLY_all_e2_2924_e3_3946.lu : OK ALREADY INVALID OK OK
|
|
783
|
Process ./memory1/FIREFLY_luke_3.lus : OK ALREADY TIMEOUT OK OK
|
|
784
|
Process ./memory1/FIREFLY_1_e1_1092_e3_389.lus : OK ALREADY INVALID OK OK
|
|
785
|
Process ./memory1/DRAGON_all_e3_4821_e1_1318.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
786
|
Process ./memory1/DRAGON_all2_e7_5406_e3_506.lus : OK ALREADY INVALID OK OK
|
|
787
|
Process ./memory1/DRAGON_10_e3_144_e5_2046.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
788
|
Process ./memory1/DRAGON_all_e1_4022_e1_1759.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
789
|
Process ./memory1/FIREFLY_luke_rt_e3_1549.lus : OK ALREADY INVALID OK OK
|
|
790
|
Process ./memory1/FIREFLY_all_e1_3406.lus : OK ALREADY INVALID OK OK
|
|
791
|
Process ./memory1/DRAGON_14_e7_3162.lus : OK ALREADY INVALID OK OK
|
|
792
|
Process ./memory1/DRAGON_11.lus : OK ALREADY TIMEOUT OK OK
|
|
793
|
Process ./memory1/DRAGON_all_e3_4821_e2_1089.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
794
|
Process ./memory1/DRAGON_13_e3_1418_e3_2761.lus : OK ALREADY TIMEOUT OK OK
|
|
795
|
Process ./memory1/FIREFLY_5_e2_2884_e1_2678.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
796
|
Process ./memory1/DRAGON_8_e3_786.lus : OK ALREADY TIMEOUT OK OK
|
|
797
|
Process ./memory1/FIREFLY_4_e3_3511_e3_422.lus : OK ALREADY TIMEOUT OK OK
|
|
798
|
Process ./memory1/DRAGON_all2_e7_5406.lus : OK ALREADY INVALID OK OK
|
|
799
|
Process ./memory1/DRAGON_4_e7_2329.lus : OK ALREADY INVALID OK OK
|
|
800
|
Process ./memory1/DRAGON_9.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
801
|
Process ./memory1/DRAGON_8_e7_3752.lus : OK ALREADY TIMEOUT OK OK
|
|
802
|
Process ./memory1/DRAGON_4_e3_1540_e1_5048.lus : OK ALREADY TIMEOUT OK OK
|
|
803
|
Process ./memory1/DRAGON_14_e7_3162_e2_753.lus : OK ALREADY INVALID OK OK
|
|
804
|
Process ./memory1/DRAGON_10_e2_402.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
805
|
Process ./memory1/DRAGON_all2_e8_5504.lus : OK ALREADY INVALID OK OK
|
|
806
|
Process ./memory1/DRAGON_all_e1_4022_e3_3628.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
807
|
Process ./memory1/FIREFLY_luke_1b_e2_3049_e2_698 : OK ALREADY INVALID OK OK
|
|
808
|
Process ./memory1/DRAGON_all2_e2_2073_e8_3691.lu : OK ALREADY INVALID OK OK
|
|
809
|
Process ./memory1/DRAGON_5_e7_2017_e3_1763.lus : OK ALREADY INVALID OK OK
|
|
810
|
Process ./memory1/FIREFLY_4_e3_3511_e7_3568.lus : OK ALREADY INVALID OK OK
|
|
811
|
Process ./memory1/FIREFLY_luke_1a.lus : OK ALREADY TIMEOUT OK OK
|
|
812
|
Process ./memory1/DRAGON_12_e2_1618_e7_4732.lus : OK ALREADY INVALID OK OK
|
|
813
|
Process ./memory1/FIREFLY_all_e1_1207_e1_1201.lu : OK ALREADY INVALID OK OK
|
|
814
|
Process ./memory1/DRAGON_13_e7_2336_e7_685.lus : OK ALREADY INVALID OK OK
|
|
815
|
Process ./memory1/FIREFLY_all_e3_1600_e7_1607.lu : OK ALREADY INVALID OK OK
|
|
816
|
Process ./memory1/FIREFLY_u1.lus : OK ALREADY TIMEOUT OK OK
|
|
817
|
Process ./memory1/FIREFLY_4_e3_3511.lus : OK ALREADY TIMEOUT OK OK
|
|
818
|
Process ./memory1/DRAGON_all_e1_4022_e7_2886.lus : OK ALREADY INVALID OK OK
|
|
819
|
Process ./memory1/FIREFLY_3_e2_2236_e3_2657.lus : OK ALREADY INVALID OK OK
|
|
820
|
Process ./memory1/DRAGON_3_e2_5343_e1_988.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
821
|
Process ./memory1/DRAGON_all2_e8_4626.lus : OK ALREADY INVALID OK OK
|
|
822
|
Process ./memory1/DRAGON_14.lus : OK ALREADY TIMEOUT OK OK
|
|
823
|
Process ./memory1/DRAGON_all2_e8_5504_e7_579.lus : OK ALREADY INVALID OK OK
|
|
824
|
Process ./memory1/FIREFLY_luke_1b_e7_3191_e8_283 : OK ALREADY OK(k=2) OK OK WRITE
|
|
825
|
Process ./memory1/DRAGON_9_e7_1843_e7_2225.lus : OK ALREADY TIMEOUT OK OK
|
|
826
|
Process ./memory1/DRAGON_11_e3_382_e1_505.lus : OK ALREADY TIMEOUT OK OK
|
|
827
|
Process ./memory1/DRAGON_13_e7_2336_e1_541.lus : OK ALREADY INVALID OK OK
|
|
828
|
Process ./memory1/DRAGON_all_e3_5957.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
829
|
Process ./memory1/DRAGON_11_e2_5396_e3_282.lus : OK ALREADY TIMEOUT OK OK
|
|
830
|
Process ./memory1/FIREFLY_luke_1b_e3_671.lus : OK ALREADY INVALID OK OK
|
|
831
|
Process ./memory1/FIREFLY_5_e2_2884.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
832
|
Process ./memory1/DRAGON_14_e2_3606.lus : OK ALREADY TIMEOUT OK OK
|
|
833
|
Process ./memory1/DRAGON_5.lus : OK ALREADY TIMEOUT OK OK
|
|
834
|
Process ./memory1/FIREFLY_9.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
835
|
Process ./memory1/DRAGON_3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
836
|
Process ./memory1/DRAGON_2.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
837
|
Process ./memory1/FIREFLY_8_e2_1711_e1_1489.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
838
|
Process ./memory1/DRAGON_all_e1_4022_e2_267.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
839
|
Process ./memory1/FIREFLY_a3.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
840
|
Process ./memory1/DRAGON_5_e7_2017_e7_2326.lus : OK ALREADY INVALID OK OK
|
|
841
|
Process ./memory1/DRAGON_11_e2_1678_e1_3565.lus : OK ALREADY TIMEOUT OK OK
|
|
842
|
Process ./memory1/DRAGON_8_e3_786_e7_4541.lus : OK ALREADY TIMEOUT OK OK
|
|
843
|
Process ./memory1/FIREFLY_rt.lus : OK ALREADY TIMEOUT OK OK
|
|
844
|
Process ./memory1/DRAGON_10_e2_2785_e3_1744.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
845
|
Process ./memory1/DRAGON_5_e7_2017.lus : OK ALREADY INVALID OK OK
|
|
846
|
Process ./memory1/DRAGON_2_e2_4481.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
847
|
Process ./memory1/DRAGON_4_e1_4312.lus : OK ALREADY TIMEOUT OK OK
|
|
848
|
Process ./memory1/DRAGON_2_e7_25_e8_3171.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
849
|
Process ./memory1/DRAGON_13.lus : OK ALREADY TIMEOUT OK OK
|
|
850
|
Process ./memory1/FIREFLY_all_e2_2924_e1_768.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
851
|
Process ./memory1/DRAGON_3_e1_4783_e2_158.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
852
|
Process ./memory1/FIREFLY_luke_1b_e7_3191_e1_130 : OK ALREADY INVALID OK OK
|
|
853
|
Process ./memory1/DRAGON_9_e7_1843.lus : OK ALREADY TIMEOUT OK OK
|
|
854
|
Process ./memory1/FIREFLY_6.lus : OK ALREADY TIMEOUT OK OK
|
|
855
|
Process ./memory1/DRAGON_4_e3_4133.lus : OK ALREADY TIMEOUT OK OK
|
|
856
|
Process ./memory1/FIREFLY_luke_1b_e1_1139_e2_289 : OK ALREADY OK(k=2) OK OK WRITE
|
|
857
|
Process ./memory1/DRAGON_all2_e3_4612_e4_3719.lu : OK ALREADY TIMEOUT OK OK
|
|
858
|
Process ./memory1/FIREFLY_1_e1_1092_e2_1853.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
859
|
Process ./memory1/DRAGON_11_e1_2450.lus : OK ALREADY TIMEOUT OK OK
|
|
860
|
Process ./memory1/FIREFLY_luke_1b_e2_3049_e1_946 : OK ALREADY OK(k=2) OK OK WRITE
|
|
861
|
Process ./memory1/DRAGON_all_e7_4065.lus : OK ALREADY INVALID OK OK
|
|
862
|
Process ./memory1/FIREFLY_5_e1_2552_e7_1169.lus : OK ALREADY TIMEOUT OK OK
|
|
863
|
Process ./memory1/FIREFLY_luke_1b_e1_1139_e1_156 : OK ALREADY INVALID OK OK
|
|
864
|
Process ./memory1/FIREFLY_all_e7_1909.lus : OK ALREADY INVALID OK OK
|
|
865
|
Process ./memory1/DRAGON_all2_e3_4612_e5_3642.lu : OK ALREADY TIMEOUT OK OK
|
|
866
|
Process ./memory1/FIREFLY_luke_4.lus : OK ALREADY TIMEOUT OK OK
|
|
867
|
Process ./memory1/FIREFLY_luke_rt_e2_3460_e1_145 : OK ALREADY OK(k=2) OK OK WRITE
|
|
868
|
Process ./memory1/DRAGON_all_e2_6104_e1_6205.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
869
|
Process ./memory1/FIREFLY_u1_e2_3403_e2_957.lus : OK ALREADY TIMEOUT OK OK
|
|
870
|
Process ./memory1/DRAGON_all2_e8_5504_e2_1598.lu : OK ALREADY INVALID OK OK
|
|
871
|
Process ./memory1/FIREFLY_luke_rt_e2_3460_e3_133 : OK ALREADY INVALID OK OK
|
|
872
|
Process ./memory1/DRAGON_1_e3_11891_e7_4569_e4_4 : OK ALREADY TIMEOUT OK OK
|
|
873
|
Process ./memory1/FIREFLY_5_e2_2229.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
874
|
Process ./memory1/FIREFLY_4_e3_3511_e4_1464.lus : OK ALREADY INVALID OK OK
|
|
875
|
Process ./memory1/FIREFLY_luke_1b_e1_1139_e3_183 : OK ALREADY INVALID OK OK
|
|
876
|
Process ./memory1/FIREFLY_all_e2_3678.lus : OK ALREADY INVALID OK OK
|
|
877
|
Process ./memory1/FIREFLY_luke_1b_e3_671_e7_1882 : OK ALREADY INVALID OK OK
|
|
878
|
Process ./memory1/DRAGON_2_e2_3183_e1_2644.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
879
|
Process ./memory1/FIREFLY_11_e1_3457.lus : OK ALREADY TIMEOUT OK OK
|
|
880
|
Process ./memory1/DRAGON_4_e2_2799_e1_1303.lus : OK ALREADY TIMEOUT OK OK
|
|
881
|
Process ./memory1/FIREFLY_3_e2_2236.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
882
|
Process ./memory1/DRAGON_1_e2_1997.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
883
|
Process ./memory1/DRAGON_11_e1_2450_e7_5791.lus : OK ALREADY INVALID OK OK
|
|
884
|
Process ./memory1/DRAGON_13_e7_2336.lus : OK ALREADY INVALID OK OK
|
|
885
|
Process ./memory1/FIREFLY_3_e2_2236_e1_2305.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
886
|
Process ./memory1/FIREFLY_a3_e2_2086_e3_2542.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
887
|
Process ./memory1/DRAGON_4_e2_2799_e7_2499.lus : OK ALREADY INVALID OK OK
|
|
888
|
Process ./memory1/DRAGON_all2_e3_4612_e8_5861.lu : OK ALREADY INVALID OK OK
|
|
889
|
Process ./memory1/DRAGON_2_e2_3183_e3_5972.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
890
|
Process ./memory1/DRAGON_3_e1_4783.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
891
|
Process ./memory1/FIREFLY_a3_e2_2086_e7_2614.lus : OK ALREADY INVALID OK OK
|
|
892
|
Process ./memory1/DRAGON_14_e7_3162_e1_3998.lus : OK ALREADY INVALID OK OK
|
|
893
|
Process ./memory1/FIREFLY_1.lus : OK ALREADY OK(k=2) OK OK WRITE
|
|
894
|
Process ./memory1/FIREFLY_luke_rt_e1_913_e7_1403 : OK ALREADY INVALID OK OK
|
|
895
|
Process ./memory1/FIREFLY_4_e3_3511_e2_1923.lus : OK ALREADY TIMEOUT OK OK
|
|
896
|
Process ./memory1/DRAGON_2_e7_25_e7_4469.lus : OK ALREADY INVALID OK OK
|