39 namespace Gecode {
namespace Driver {
43 double t = timer.
stop();
44 unsigned int sec = static_cast<unsigned int>(floor(
t / 1000.0));
45 unsigned int o_msec = static_cast<unsigned int>
46 (
t - 1000.0*static_cast<double>(sec));
47 unsigned int min = sec / 60;
48 unsigned int o_sec = sec - 60 *
min;
49 unsigned int hour =
min / 60;
50 unsigned int o_min =
min - 60 * hour;
51 unsigned int day = hour / 24;
52 unsigned int o_hour = hour - 24 * day;
54 os << day <<
" days, ";
57 if (o_hour || o_min) {
59 os.width(2); os.fill(
'0');
62 os.width(2); os.fill(
'0');
65 os.width(3); os.fill(
'0');
68 << std::showpoint << std::fixed
69 << std::setprecision(3) <<
t <<
" ms)";
74 am(
double t[],
unsigned int n) {
78 for (
unsigned int i=0;
i<
n;
i++)
84 dev(
double t[],
unsigned int n) {
89 for (
unsigned int i=0;
i<
n;
i++) {
96 bool CombinedStop::sigint;