# Transitions to solve: t_21 t_34 t_36 t_37 t_26 t_27 t_28 t_29 t_30 t_31 t_32 t_33 ____inittransition # Transitions to solve: t_28 t_29 t_32 t_33 YES, aaron2.fstb terminates. max_dim = 2 +-----------------------------------------------------------------------------+ | Ranking Function | +-----------------------------------------------------------------------------+ state stop: 0 state start: 2 state lbl_9_1: 1 ((1+tx)+x)+(-1*y) state lbl_10_1: 1 ((1+tx)+x)+(-1*y) state ____start: 3 +-----------------------------------------------------------------------------+ | Worst Case Execution Time | +-----------------------------------------------------------------------------+ /--- / | tx__o' >= 0 | x__o'+(-1*y__o') >= 0 | 1 >= 0 \ (((1+1)+((1+(-1*y__o'))+x__o'))+((1+(-1*y__o'))+x__o'))+1 / | (-1+(-1*x__o'))+y__o' >= 0 | 1 >= 0 \ (1+1)+1 \---