# Transitions to solve: t_25__tsplit0 t_25__tsplit1 t_25__tsplit2 t_33 t_41 t_42 t_43 t_31 t_38 t_39 t_40 t_35 t_36 t_37 t_27 t_28 ____inittransition # Transitions to solve: t_38 t_39 t_40 t_35 t_36 t_27 t_28 # Transitions to solve: t_36 YES, nestedLoop.fstb terminates. max_dim = 3 +-----------------------------------------------------------------------------+ | Ranking Function | +-----------------------------------------------------------------------------+ state stop: 0 state start: 2 state lbl_13_1: 1 ((2*N)+(-2*i))+(2*n) state lbl_12_1: 1 ((-1+(2*N))+(-2*i))+(2*n) (-1*j)+m state lbl_11_1: 1 (N+(-1*k))+(2*n) state ____start: 3 +-----------------------------------------------------------------------------+ | Worst Case Execution Time | +-----------------------------------------------------------------------------+ /--- / | m__o' = 0 | N__o' >= 0 | -1+n__o' >= 0 | 1 >= 0 \ ((1+1)+(n__o'+N__o'))+1 / | -1+N__o' >= 0 | -1+n__o' >= 0 | -1+m__o' >= 0 | 1 >= 0 \ ((((1+1)+(n__o'+N__o'))+(n__o'*m__o'))+N__o')+1 / | N__o' = 0 | -1+m__o' >= 0 | -1+n__o' >= 0 | 1 >= 0 \ (((1+1)+(n__o'+N__o'))+(n__o'*m__o'))+1 / | -1*n__o' >= 0 | 1 >= 0 \ (1+1)+1 \---