Project

General

Profile

« Previous | Next » 

Revision 105b3645

Added by Guillaume Davy over 8 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