Daniel Onduš

I've done some statistics running the same computation on multiple seeds and it seems like 70% seeds run in reasonable ammount of time and then other 30% might take up to 10 times longer. Is this b...

Thanks, from what I've read it seems like concurrent optimizer always stops once the first one finishes but I don't see a way how the solves that are obviously slower can be stopped before this poi...