16
18
20
25
25
25
29
37
44
49
55
57
64
68
84
91
111
115
115
119
119
119
122
122
122
122
126
128
134
139
139
147
147
147
151
159
159
159
164
164
164
167
167
167
177
179
181
181
185
185
185
185
185
185
185
185
189
189
189
189
189
Overview
|
Average |
Total |
Wall Clock Time |
1.48 hours |
3.89 days |
CPU time |
17.66 minutes |
18.54 hours |
Interaction Time |
54.77 minutes |
2.4 days |