1
1
1
3
15
19
21
22
35
39
46
49
51
51
68
75
76
83
95
100
108
110
114
117
121
129
131
136
150
153
153
155
158
164
167
169
169
169
170
182
186
186
186
186
187
189
189
189
191
196
196
198
200
205
207
211
215
218
Overview
|
Average |
Total |
Wall Clock Time |
1.48 hours |
12.17 days |
CPU time |
11.45 seconds |
37.79 minutes |
Interaction Time |
10.87 minutes |
1.49 days |