77#if defined(GECODE_USE_GETTIMEOFDAY)
79 if (gettimeofday(&t1, NULL))
83 t.tv_sec = t1.tv_sec - t0.tv_sec;
84 t.tv_usec = t1.tv_usec - t0.tv_usec;
90 return (
static_cast<double>(t.tv_sec) * 1000.0) +
91 (
static_cast<double>(t.tv_usec)/1000.0);
92#elif defined(GECODE_USE_CLOCK)
93 return (
static_cast<double>(clock()-t0) / CLOCKS_PER_SEC) * 1000.0;