# Transitions to solve: t_33 t_47 t t_41 t_42__tsplit0 t_42__tsplit1 t_43 t_37 t_44 t_45__tsplit0 t_45__tsplit1 t_46 ____inittransition # Transitions to solve: t_41 t_42__tsplit1 t_43 t_44 # Transitions to solve: t_41 YES, perfect.fstb terminates. max_dim = 3 +-----------------------------------------------------------------------------+ | Ranking Function | +-----------------------------------------------------------------------------+ state stop: 0 state start: 3 state lbl_16: 1 state lbl_11_1: 2 -1+(2*y1) y2 state lbl_8_2: 2 2*y1 state ____start: 4 +-----------------------------------------------------------------------------+ | Worst Case Execution Time | +-----------------------------------------------------------------------------+ /--- / | 1+(-1*x__o') >= 0 | 1 >= 0 \ (1+1)+1 / | -2+x__o' >= 0 | 1 >= 0 \ ((((1+1)+1)+((-1+((1/2)*x__o'))+((1/2)*(x__o'*x__o'))))+(-1+x__o'))+1 \---