Searched defs:cpu_time (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C71 void printStats(SolverStats& stats, double& cpu_time, int64& mem_used) argument
84 void printProofStats(double cpu_time, int64 mem_used) { argument
95 double cpu_time = 0; local
265 double cpu_time = 0; int64 mem_used = 0; local
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp251 double cpu_time = cpuTime(); local

Completed in 82 milliseconds