running time for Refine Pkgs.