Instability of timeout based tests
It is painful to have timeout based tests failing from time to time, breaking builds while there is no problem. Just occurred today in https://gitlab.ow2.org/sat4j/sat4j/-/jobs/8082
We need to either find out why those tests do not take consistently the same time or get rid off the timeout!