27   BenchTimer timer,totaltime;   in main()  local
39   timer.start();  in main()
53   timer.stop();  in main()
71   cout<< "Time to load the matrix " << timer.value() <<endl;  in main()
91   timer.reset();  in main()
92   timer.start();   in main()
102   timer.stop();   in main()
103   float time_comp = timer.value();   in main()
106   timer.reset();  in main()
107   timer.start();  in main()
110   timer.stop();  in main()
111   float time_solve = timer.value();   in main()