Searched refs:print_time_elapsed (Results 1 – 1 of 1) sorted by relevance
360 sub print_time_elapsed subroutine506 print_time_elapsed($t1, $t2) if $profile;518 print_time_elapsed($t1, $t2) if $profile;529 print_time_elapsed($t1, $t2) if $profile;1798 print_time_elapsed($time_solver_start, $time_solver_stop) if $profile;
Completed in 19 milliseconds