7
73
115
115
115
115
137
139
139
145
147
155
155
157
165
171
181
183
185
189
189
194
194
198
200
200
204
204
204
204
204
206
226
226
228
238
238
238
240
244
248
252
252
252
252
252
256
258
264
264
294
308
308
308
310
314
314
318
322
324
330
330
332
332
332
332
332
332
336
336
336
338
340
340
340
342
344
344
344
344
344
344
344
346
Overview
|
Average |
Total |
Wall Clock Time |
2.68 hours |
19.19 days |
CPU time |
4.17 minutes |
11.95 hours |
Interaction Time |
5.99 minutes |
17.17 hours |