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
729
745
747
754
764
770
771
778
781
800
817
820
825
830
836
836
Overview
|
Average |
Total |
Wall Clock Time |
10.05 hours |
469.85 days |
CPU time |
9.41 minutes |
7.33 days |
Interaction Time |
20.86 minutes |
16.25 days |