96
98
106
114
124
138
145
151
153
156
158
190
193
194
198
200
200
202
205
205
205
206
207
211
213
214
215
216
220
227
227
227
228
229
232
237
240
244
244
261
261
265
271
278
281
293
296
299
301
301
301
301
Overview
|
Average |
Total |
Wall Clock Time |
6.53 hours |
55.49 days |
CPU time |
8.71 seconds |
29.61 minutes |
Interaction Time |
3.74 hours |
31.81 days |