43 namespace Gecode {
namespace Driver {
47 double t = timer.
stop();
48 unsigned int sec =
static_cast<unsigned int>(floor(
t / 1000.0));
49 unsigned int o_msec =
static_cast<unsigned int>
50 (
t - 1000.0*
static_cast<double>(sec));
51 unsigned int min = sec / 60;
52 unsigned int o_sec = sec - 60 *
min;
53 unsigned int hour =
min / 60;
54 unsigned int o_min =
min - 60 * hour;
55 unsigned int day = hour / 24;
56 unsigned int o_hour = hour - 24 * day;
58 os << day <<
" days, ";
61 if (o_hour || o_min) {
63 os.width(2); os.fill(
'0');
66 os.width(2); os.fill(
'0');
69 os.width(3); os.fill(
'0');
72 << std::showpoint << std::fixed
73 << std::setprecision(3) <<
t <<
" ms)";
78 am(
double t[],
unsigned int n) {
82 for (
unsigned int i=0;
i<
n;
i++)
88 dev(
double t[],
unsigned int n) {
93 for (
unsigned int i=0;
i<
n;
i++) {
100 bool CombinedStop::sigint;