Currently, the value of Solver::getMaxTime() is checked against std::chrono::system_clock, which measures wall time. This is probably not what we want and can cause issues if a program is paused or the cpu is oversubscribed. Should be changed to std::clock. The other time measurements reported in ReturnData are already using clock.
Currently, the value of
Solver::getMaxTime()is checked againststd::chrono::system_clock, which measures wall time. This is probably not what we want and can cause issues if a program is paused or the cpu is oversubscribed. Should be changed tostd::clock. The other time measurements reported inReturnDataare already usingclock.