Solution renaming