Enabling the recognition of when the solving process was prematurely halted due to time limits.