Paper titled “Synthesizing Ranking Functions for Loop Programs via SVM” accepted by Theorectical Computer Science Journal. This work extends our ICFEM’19 paper by utilizing SVM to learn multiphase ranking functions.