4
4
7
10
10
10
17
19
19
22
22
24
24
28
34
43
48
54
61
66
75
80
92
95
98
104
104
104
108
108
108
114
114
116
118
118
118
118
118
118
118
118
118
118
118
118
118
118
118
122
128
136
139
142
146
146
168
168
168
171
174
Overview
|
Average |
Total |
|
Wall Clock Time |
2.24 hours |
5.5 days |
|
CPU time |
2.41 hours |
5.92 days |
|
Interaction Time |
33.77 minutes |
1.38 days |