fSolvingTime

182

bigtime_t fSolvingTime;

584

fSolvingTime = system_time() - startTime;

587

sAverageSolvingTime += fSolvingTime;

589

TRACE("Solving time %i average %i [micro s]\n", (int)fSolvingTime,

668

return fSolvingTime;

706

string << " SolvingTime=" << fSolvingTime << "micro s";