Update and rename cse12.xml to cse13.xml