Project

General

Profile

« Previous | Next » 

Revision 105b3645

Added by Guillaume Davy over 9 years ago

Delete tests files that have no k

View differences:

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

Also available in: Unified diff