2
6
23
28
35
35
35
54
97
136
148
159
161
163
165
169
169
1303
2219
2221
2221
2221
2223
2224
2224
2224
2224
2226
2226
2228
2228
2228
2228
2230
2230
2231
2231
2231
2231
2231
2232
2232
2232
2232
2233
2233
2233
2233
2233
2233
2233
2233
2234
2234
2234
2234
2235
2235
2235
2235
2235
2235
2235
2235
2235
2236
2236
2236
2236
2236
2236
2236
2238
2238
2238
2238
2238
2238
2240
2240
2240
Overview
|
Average |
Total |
Wall Clock Time |
5.57 minutes |
4.42 days |
CPU time |
18.31 seconds |
5.82 hours |
Interaction Time |
2.84 minutes |
2.26 days |