Home
last modified time | relevance | path

Searched refs:one_worker_execution_time (Results 1 – 1 of 1) sorted by relevance

/dports/lang/yap/yap-6.2.2/OPTYap/
H A Dopt.preds.c604 realtime one_worker_execution_time = 0; in p_performance() local
637 one_worker_execution_time = IntOfTerm(t); in p_performance()
639 one_worker_execution_time = FloatOfTerm(t); in p_performance()
647 if (one_worker_execution_time != 0) in p_performance()
649 one_worker_execution_time / GLOBAL_best_times(i), in p_performance()
650 one_worker_execution_time / GLOBAL_best_times(i) / number_workers * 100 ); in p_performance()
656 if (one_worker_execution_time != 0) in p_performance()
658 one_worker_execution_time * GLOBAL_number_goals / GLOBAL_best_times(0), in p_performance()
659one_worker_execution_time * GLOBAL_number_goals / GLOBAL_best_times(0) / number_workers * 100 ); in p_performance()
664 if (one_worker_execution_time != 0) in p_performance()
[all …]