#ifndef BENCHMARK_TOOLS_H

 #define BENCHMARK_TOOLS_H

 #include<string>

 #include<iostream>

 #include<iomanip>

 #include<lemon/time_measure.h>

 extern const char test_name[];

 inline void logTime(const std::string &subtest_name, const

                     lemon::TimeStamp &time)

 {

   std::cout << "*** " << test_name << ' ' << subtest_name << ' '

 	    << std::setiosflags(std::ios::fixed) << std::setprecision(4)

 	    << time.realTime() << ' '

             << time.realTime()/(time.userTime()+time.systemTime()) - 1.0

             << std::endl;

 }

 #endif