14
16
16
16
30
36
38
38
38
38
38
42
47
49
53
59
65
73
73
75
75
75
75
75
79
79
81
91
100
110
122
124
124
124
126
128
128
130
130
132
135
139
139
139
143
143
146
148
148
149
149
149
165
169
171
173
173
177
179
179
Overview
|
Average |
Total |
Wall Clock Time |
1.58 hours |
6.24 days |
CPU time |
12.23 seconds |
19.36 minutes |
Interaction Time |
1.95 minutes |
3.08 hours |