Indeed, regardless of the multiplier, I never see more than around 20 alt-ergo processes running, even though I asked for 40. So I guess that most of the time is used on generating the verification conditions.
julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
