29   timer.reset(); \
31     timer.start(); \
34   } timer.stop(); }
62   BenchTimer timer;  in main()  local
75       timer.reset();  in main()
76       timer.start();  in main()
79       timer.stop();  in main()
80 …std::cout << "   a * v:\t" << timer.best() << "  " << double(REPEAT)/timer.best() << " * / sec " <…  in main()
82       timer.reset();  in main()
83       timer.start();  in main()
86       timer.stop();  in main()
87       std::cout << "   a' * v:\t" << timer.best() << endl;  in main()
96 …std::cout << "   a * v:\t" << timer.best()/REPEAT << "  " << double(REPEAT)/timer.best(REAL_TIMER)…  in main()
101       std::cout << "   a' * v:\t" << timer.best()/REPEAT << endl;  in main()
128       std::cout << "   a * v:\t" << timer.value() << endl;  in main()
131       std::cout << "   a' * v:\t" << timer.value() << endl;  in main()
150       std::cout << "   a * v:\t" << timer.value() << endl;  in main()
166       timer.reset();  in main()
167       timer.start();  in main()
170       timer.stop();  in main()
171       std::cout << "   a * v:\t" << timer.value() << endl;  in main()
173       timer.reset();  in main()
174       timer.start();  in main()
177       timer.stop();  in main()
178       std::cout << "   a' * v:\t" << timer.value() << endl;  in main()