Add formulas to ease comparison between OMR download_results() and download_teacher_results()