Experiments are not reproducible #7
Description
Sometimes, the runtimes vary a lot. I do not think it is only caused by slight nuances in times when particular solvers are moved in the partition tree or the like.
I think that the initial random seeds for particular solvers are set randomly, which would mean that the experiments inevitably cannot be reproducible. In such a case, the random seeds should be distributed deterministically.