12
16
16
16
16
18
18
18
18
18
20
20
20
20
20
20
20
28
28
28
28
28
34
34
34
34
34
34
36
36
38
38
38
38
46
46
46
46
46
46
46
46
48
58
58
58
58
58
60
68
68
68
68
68
68
68
68
68
68
70
74
Overview
|
Average |
Total |
Wall Clock Time |
1.21 hours |
1.96 days |
CPU time |
16.59 seconds |
10.78 minutes |
Interaction Time |
0 seconds |
0 seconds |