Reduce the number of digits reported in times
Reduce the number of digits reported in times

rrnewton/criterion,iu-parfunc/criterion,iu-parfunc/criterion,bgamari/criterion,osa1/criterion,bos/criterion,bos/criterion,rrnewton/criterion,iu-parfunc/criterion,osa1/criterion,bos/criterion,rrnewton/criterion,paulolieuthier/criterion,paulolieuthier/criterion,bgamari/criterion,bgamari/criterion,paulolieuthier/criterion