# Transitions to solve: t_31 t_40 t_41 t_24 t_33 t_34 t_35 t_29 t_37 t_38 ____inittransition YES, realselect.fstb terminates. max_dim = 1 +-----------------------------------------------------------------------------+ | Ranking Function | +-----------------------------------------------------------------------------+ state stop: 0 state start: 4 state lbl_9_1: (-4+(3*array_size))+(-3*i) state lbl_5_3: ((1+i)+(3*j))+(-4*tmp) state lbl_1_3: (-5+(3*array_size))+(-3*tmp_1) state ____start: 5 +-----------------------------------------------------------------------------+ | Worst Case Execution Time | +-----------------------------------------------------------------------------+ /--- / | -2+array_size__o' >= 0 | 1 >= 0 \ ((((1+1)+(-1+array_size__o'))+(-5+(3*array_size__o')))+(-1+array_size__o'))+1 / | 1+(-1*array_size__o') >= 0 | 1 >= 0 \ (1+1)+1 \---