Is ARR just MRR times twelve?
Yes. ARR equals MRR times twelve by definition. There is no additional math, no adjustment, no complicated conversion. If the two numbers in a report do not satisfy that relationship, something is wrong with the data model or with how one of them is being calculated, not with the formula.