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
Overview
|
Average |
Total |
Wall Clock Time |
1.4 hours |
4.39 days |
CPU time |
11.83 seconds |
14.79 minutes |
Interaction Time |
43.32 seconds |
54.15 minutes |