10
22
22
29
29
31
31
37
39
41
43
44
54
61
67
71
76
76
78
85
93
97
107
111
121
123
123
127
140
142
142
146
146
151
154
156
160
160
172
174
176
180
180
182
184
186
190
200
207
217
286
300
304
318
355
357
362
364
364
371
377
383
387
396
400
406
408
Overview
|
Average |
Total |
Wall Clock Time |
1.14 hours |
10.96 days |
CPU time |
6.68 seconds |
25.61 minutes |
Interaction Time |
23.45 minutes |
3.74 days |