k
CPU time
13
0.986657
15
0.969777
14
0.971449
13
0.960487
15
0.994397