parameter for time measurement (feature request)
|Reported by:||RobertWaniek||Owned by:||tkr|
Since the time limit is used as cpu-time it is measured 4 times when using 4 threads which leads to a usage of about a quarter of the user intended time limit.
This leads to problems with time limiting and also makes fair comparison with other solvers quite hard.
Therefore it would be useful, give the user a parameter to choose the way the time is measured.