Searched refs:cpu_time (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Main.C | 71 void printStats(SolverStats& stats, double& cpu_time, int64& mem_used) argument
73 cpu_time = cpuTime();
76 reportf("conflicts : %-12"I64_fmt" (%.0f /sec)\n", stats.conflicts , stats.conflicts /cpu_time);
77 reportf("decisions : %-12"I64_fmt" (%.0f /sec)\n", stats.decisions , stats.decisions /cpu_time);
78 reportf("propagations : %-12"I64_fmt" (%.0f /sec)\n", stats.propagations, stats.propagations/cpu_time);
81 reportf("CPU time : %g s\n", cpu_time);
84 void printProofStats(double cpu_time, int64 mem_used) { argument
89 reportf("Extra CPU time : %g s\n", (cpu_time1-cpu_time));
95 double cpu_time = 0; local
97 printStats(solver->stats,cpu_time,mem_use
265 double cpu_time = 0; int64 mem_used = 0; local
[all...] |
| /seL4-l4v-master/l4v/misc/regression/ |
| H A D | run_tests.py | 199 'cpu_time': 0,
323 'cpu_time': cpu_usage,
350 def print_test_line(test_name, color, status, real_time=None, cpu_time=None, mem=None):
360 if cpu_time is not None:
361 cpu_time = datetime.timedelta(seconds=int(cpu_time))
362 cpu_time = '%8s cpu' % cpu_time
364 extras = ', '.join(filter(None, [real_time, cpu_time, mem]))
628 cpu_time
[all...] |
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 251 double cpu_time = cpuTime(); local
254 cout << "CPU time : " << cpu_time << " s" << endl;
|
Completed in 87 milliseconds