# Transitions to solve: t_18 t_25 t_16 t_22 t_23 t_20 t_21 ____inittransition # Transitions to solve: t_23 t_20 t_21 # Transitions to solve: t_21 YES, while2.fstb terminates. max_dim = 3 +-----------------------------------------------------------------------------+ | Ranking Function | +-----------------------------------------------------------------------------+ state stop: 0 state start: 2 state lbl_7_2: 1 2*i state lbl_6_2: 1 -1+(2*i) j state ____start: 3 +-----------------------------------------------------------------------------+ | Worst Case Execution Time | +-----------------------------------------------------------------------------+ /--- / | -1+N__o' >= 0 | 1 >= 0 \ (((1+1)+N__o')+(N__o'*N__o'))+1 / | -1*N__o' >= 0 | 1 >= 0 \ (1+1)+1 \---