thm_limit_in_seconds,</div>
<div class="line">                                       subalgorithm_deterministic_limit);</div>
<div class="line">RunTheSubalgorithm(subalgorithm_time_limit.GetTimeLimit());</div>
</div><!-- fragment --><p>Note that remaining wall time in the base time limit is decreasing "automatically", but the deterministic time needs to be updated manually. This update is done only once, during the destruction of the nested time limit object. To track the deterministic time properly, the us