12
20
20
23
39
43
87
132
133
135
137
139
143
144
146
149
150
154
155
157
157
157
158
159
160
162
162
166
166
166
167
170
170
174
178
178
178
178
180
182
182
183
183
184
187
189
Overview
|
Average |
Total |
Wall Clock Time |
12.28 hours |
100.78 days |
CPU time |
4.43 minutes |
14.55 hours |
Interaction Time |
11.21 minutes |
1.53 days |