Fixed mistake in recorded solver runtime. We outputing the number of seconds correctly.
Fixed mistake in recorded solver runtime. We outputing the number
of seconds correctly.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix