2
4
7
9
10
12
12
16
16
22
43
43
56
64
79
84
90
98
114
123
125
127
131
144
164
172
178
200
208
220
245
249
251
259
283
285
288
293
295
299
303
303
303
315
324
328
329
Overview
|
Average |
Total |
Wall Clock Time |
3.04 hours |
19.26 days |
CPU time |
3.96 seconds |
10.04 minutes |
Interaction Time |
20.97 minutes |
2.21 days |