my_timer_elapsed_real  387 src/search.cpp    time = (UseCpuTime) ? my_timer_elapsed_cpu(timer) : my_timer_elapsed_real(timer);
my_timer_elapsed_real  282 src/util.cpp      real = my_timer_elapsed_real(timer);
my_timer_elapsed_real  107 src/util.h     extern double my_timer_elapsed_real (const my_timer_t * timer);