reset_timer       125 experiment.cc  	   reset_timer();
reset_timer       178 experiment.cc    reset_timer();
reset_timer       188 experiment.cc    reset_timer();
reset_timer       106 generate_graphs.cc   reset_timer();
reset_timer       156 generate_graphs.cc   reset_timer();
reset_timer       166 generate_graphs.cc   reset_timer();
reset_timer         7 timer.h        void reset_timer();