8
10
16
16
18
20
24
26
26
29
54
59
70
138
165
187
190
201
206
213
222
230
232
246
279
283
292
297
318
322
326
335
341
356
364
367
371
379
381
385
389
394
394
395
403
403
408
Overview
|
Average |
Total |
Wall Clock Time |
1.4 hours |
10.05 days |
CPU time |
20.61 seconds |
59.08 minutes |
Interaction Time |
42.13 minutes |
5.03 days |