How do i save past code prover results 2018a?

I have used polyspace code prover in 2014b and 2016b. I'm trying to use 2018a now and I don't seem to see how to generate results without overwriting the previous run. In past versions, there was a setting to overwrite existing run or create a separate that I can't seem to find. Can someone tell me if this option still exists and where I can find it if it does?

Answer 1

[Cory Mohling]

Oh finally found it. There is a drop down menu from the top under 'Run Code Prover' that has an option to create a new results folder.