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
66
66
68
70
70
Overview
|
Average |
Total |
Wall Clock Time |
1.16 hours |
1.97 days |
CPU time |
2.66 seconds |
1.82 minutes |
Interaction Time |
12 minutes |
8.2 hours |