42
45
51
51
82
82
89
110
206
221
223
225
227
242
284
284
292
294
296
331
350
350
358
358
360
374
381
396
396
403
411
451
474
499
509
516
529
570
589
Overview
|
Average |
Total |
Wall Clock Time |
3.4 hours |
24.48 days |
CPU time |
2.9 minutes |
8.37 hours |
Interaction Time |
1.3 hours |
9.4 days |