Read the current threshold. Propagation is stopped when variable bounds change less than the threshold.
Limiting the amount of propagation is important for efficiency. A higher threshold speeds up computations, but reduces precision and may in the extreme case prevent the system from being able to locate individual solutions.