9
13
13
15
16
18
18
18
18
18
18
20
23
23
23
25
27
27
27
29
29
29
29
29
29
31
31
31
31
31
31
31
31
31
31
31
34
34
34
50
50
50
50
50
50
50
52
52
54
54
58
58
58
58
58
58
58
60
60
64
64
Overview
|
Average |
Total |
Wall Clock Time |
1.21 hours |
1.92 days |
CPU time |
2.69 seconds |
1.7 minutes |
Interaction Time |
12 minutes |
7.6 hours |