Add basic support for having 'split' times to support timing splits of solves.