Searched refs:cpu_time1 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
| H A D | Main.C | 85 double cpu_time1 = cpuTime(); local 89 reportf("Extra CPU time : %g s\n", (cpu_time1-cpu_time)); |
Completed in 78 milliseconds