166    cpu_timer total_time;  in copy_destroy_time()  local
171          total_time.resume();  in copy_destroy_time()
181       total_time.stop();  in copy_destroy_time()
183    total_time.stop();  in copy_destroy_time()
188 …std::cout << " Total time =                  " << boost::timer::format(total_time.elapsed(), boost…  in copy_destroy_time()
189    return total_time.elapsed();  in copy_destroy_time()
199    cpu_timer total_time;  in construct_time()  local
204          total_time.resume();  in construct_time()
207          total_time.stop();  in construct_time()
210          total_time.resume();  in construct_time()
214          total_time.stop();  in construct_time()
220 …std::cout << " Total time =                 " << boost::timer::format(total_time.elapsed(), boost:…  in construct_time()
221    return total_time.elapsed();  in construct_time()
232    cpu_timer total_time;  in insert_time()  local
233    total_time.resume();  in insert_time()
237          total_time.resume();  in insert_time()
242          total_time.stop();  in insert_time()
245          total_time.resume();  in insert_time()
250          total_time.stop();  in insert_time()
256 …std::cout << " Total time =              " << boost::timer::format(total_time.elapsed(), boost::ti…  in insert_time()
257    return total_time.elapsed();  in insert_time()
288    cpu_timer total_time;  in search_time()  local
289    total_time.resume();  in search_time()
357    total_time.stop();  in search_time()
364 …std::cout << " Total time =      " << boost::timer::format(total_time.elapsed(), boost::timer::def…  in search_time()
365    return total_time.elapsed();  in search_time()