ordered r1,r2 in results so r1 transition happens before r2