Fixing multiplier in cache-based time reduction
Removing last_decision_called that is glue-based and weird

Replacing with similar, without the glue
Top 3 braches are picked from top 3 active variables
Ooops, std::log() can return -nan, which instantly invalidated the limit
Displaying % of time left from BVA
Guarding against log() returning -nan. It would invalidate the counter