38   BenchTimer timer;   in main()  local
71   timer.start();   in main()
74   timer.stop();   in main()
75   cout << "Time to analyze " << timer.value() << std::endl;  in main()
76   timer.reset();   in main()
77   timer.start();   in main()
79   timer.stop();   in main()
80   cout << "Factorize Time " << timer.value() << std::endl;  in main()
81   timer.reset();   in main()
82   timer.start();   in main()
84   timer.stop();  in main()
85   cout << "solve time " << timer.value() << std::endl;   in main()