Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h366 BACK_SUB_TIME, enumerator
H A Dprocess.c87 CLOCK_START(BACK_SUB_TIME); in post_process()
89 CLOCK_STOP(BACK_SUB_TIME); in post_process()
H A Dmisc.c1362 fprintf(fp, " back subsume %10.2f\n", clock_val(BACK_SUB_TIME) / 1000.); in print_times()
1417 fprintf(fp, "back_sub time %10.2f\n", clock_val(BACK_SUB_TIME) / 1000.); in print_times_brief()