adds logging of reachability check execution time
adds logging of reachability check execution time