21
39
86
86
109
174
178
193
193
193
216
216
242
253
259
261
261
330
339
357
357
372
382
396
399
403
408
414
426
445
445
448
448
457
464
490
497
507
516
522
544
544
544
544
Overview
|
Average |
Total |
Wall Clock Time |
2.92 hours |
14.46 days |
CPU time |
6.38 minutes |
12.66 hours |
Interaction Time |
38.09 minutes |
3.15 days |