converted get_time and get_flop methods of RegionTimer to static