Function stop

benchmarks/dlib/timing.h:117–120

        }

        inline void stop(int i)
        {
            time_buf()[i] += ts();
        }

        inline void print()
        {