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
Overview
|
Average |
Total |
Wall Clock Time |
1.2 hours |
1.95 days |
CPU time |
2.69 seconds |
1.75 minutes |
Interaction Time |
12.57 minutes |
8.17 hours |