Figure 6. Summary of SAT analysis. Number of cycles is the minimum number of successive jumps necessary to achieve stability of the corresponding parameter.