10
22
22
29
29
31
31
37
39
41
43
44
54
61
67
71
76
76
78
85
93
97
107
111
121
123
123
127
140
142
142
146
146
151
154
156
160
160
172
174
176
180
180
182
184
186
186
Overview
|
Average |
Total |
Wall Clock Time |
1.51 hours |
6.8 days |
CPU time |
7.78 seconds |
14 minutes |
Interaction Time |
39.7 minutes |
2.98 days |