Property 1: _Gains increase then decrease by rising the inherent difficulty._ We investigate the inherent difficulty by varying \(I\) from \(10\) to \(400\), while keeping the values of \(S\) and \(K\) constant across four groups of different values, from small to large, respectively. Figure 6 (left) shows an initial uptick in performance gains with increases in \(I\), indicating that our method can significantly enhance performance in line with rising inherent difficulty. The most notable gains are seen at \(I=100\) and \(I=200\), consistent across all \(S\) and \(K\) settings. Yet, at \(I=400\), gains taper off, implying that excessive complexity may exceed the model's reasoning capabilities, leading to diminishing returns for our method under extreme task difficulty.