4
11
13
14
19
40
100
101
112
113
125
128
135
401
401
413
414
416
419
423
431
443
457
457
571
578
580
582
582
582
695
696
696
700
706
709
710
717
717
721
726
726
726
727
727
Overview
|
Average |
Total |
Wall Clock Time |
10 hours |
430.5 days |
CPU time |
9.78 minutes |
7.01 days |
Interaction Time |
19.79 minutes |
14.2 days |