Code cleanup.
Show solver final state.