Title: A comparison of single-cycle versus multiple-cycle proof testing strategies