Didn't see this captured anywhere.
Merged settlements are more gas efficient than settling individually so we can attempt to merge across solvers too. The only price we pay for this is that every settlement has to be simulated so we slow down the run loop slightly. Not sure how much time an individual simulation takes. To measure we have amortize it as being in a group with other batched simulations. We can at least try to add one extra settlement that merges across all other settlements.
Didn't see this captured anywhere. Merged settlements are more gas efficient than settling individually so we can attempt to merge across solvers too. The only price we pay for this is that every settlement has to be simulated so we slow down the run loop slightly. Not sure how much time an individual simulation takes. To measure we have amortize it as being in a group with other batched simulations. We can at least try to add one extra settlement that merges across all other settlements.