Version 2.7.0.0

New feature: The elapsed solving time for a problem is now saved and reloaded with the problem.
New feature: The solving time can be reset using the appropriate menu item.
New feature: The counting of the elapsed solving time can paused.