19
26
35
57
107
113
128
134
163
181
204
233
239
247
270
295
306
314
319
322
327
329
331
331
332
332
333
337
339
342
342
383
390
391
391
393
394
408
409
412
413
413
414
420
420
426
431
432
440
495
501
501
505
506
506
506
506
506
511
520
521
521
522
524
569
571
572
572
572
572
577
578
578
578
585
592
594
596
596
597
Overview
|
Average |
Total |
Wall Clock Time |
1.95 hours |
39.72 days |
CPU time |
1.85 minutes |
15.07 hours |
Interaction Time |
9.69 minutes |
3.29 days |