Searched refs:cgc_time (Results 1 – 6 of 6) sorted by relevance
350 double cgc_time; /* Total time spent in CGC */ member
115 A cgc_time "cgc_time"
5351 v[2] = (int64_t)(GD->clauses.cgc_time * 1000.0); in qp_statistics__LD()5451 v->value.f = GD->clauses.cgc_time; in swi_statistics__LD()
2475 GD->clauses.cgc_time += (gct=ThreadCPUTime(LD, CPU_USER) - t0); in pl_garbage_collect_clauses()
196 statistics(cgc_time, Time)
10340 cgc_time & Time spent in clause garbage collections \\