MAYBE * Step 1: TrivialSCCs MAYBE + Considered Problem: Rules: 0. eval_aaron3_start(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 1. eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 2. eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 3. eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 4. eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 5. eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 6. eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 7. eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 8. eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 9. eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 10. eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_x,v_y,v_z,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 11. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v__01 >= v__02] (?,1) 12. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v__02 >= v__01] (?,1) 13. eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 14. eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_10(v__01,v__02,v__04,nondef_0,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 15. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_1 >= 0] (?,1) 16. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [0 >= v_1] (?,1) 17. eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_12(v__01,v__02,v__04,v_1,-1 + v__04,v_4,v_tx,v_x,v_y,v_z) True (?,1) 18. eval_aaron3_12(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,nondef_1,v_tx,v_x,v_y,v_z) True (?,1) 19. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_4 >= v_3 + v__01] (?,1) 20. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_4,v__02,v_3,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v_3 + v__01 >= v_4] (?,1) 21. eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v__01,1 + v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 22. eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_stop(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) Signature: {(eval_aaron3_0,10) ;(eval_aaron3_1,10) ;(eval_aaron3_10,10) ;(eval_aaron3_12,10) ;(eval_aaron3_13,10) ;(eval_aaron3_2,10) ;(eval_aaron3_3,10) ;(eval_aaron3_4,10) ;(eval_aaron3_5,10) ;(eval_aaron3_6,10) ;(eval_aaron3_7,10) ;(eval_aaron3_8,10) ;(eval_aaron3_9,10) ;(eval_aaron3_bb0_in,10) ;(eval_aaron3_bb1_in,10) ;(eval_aaron3_bb2_in,10) ;(eval_aaron3_bb3_in,10) ;(eval_aaron3_bb4_in,10) ;(eval_aaron3_bb5_in,10) ;(eval_aaron3_start,10) ;(eval_aaron3_stop,10)} Flow Graph: [0->{1},1->{2},2->{3},3->{4},4->{5},5->{6},6->{7},7->{8},8->{9},9->{10},10->{11,12},11->{13},12->{22} ,13->{14},14->{15,16},15->{17},16->{21},17->{18},18->{19,20},19->{22},20->{11,12},21->{11,12},22->{}] + Applied Processor: TrivialSCCs + Details: All trivial SCCs of the transition graph admit timebound 1. * Step 2: AddSinks MAYBE + Considered Problem: Rules: 0. eval_aaron3_start(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 1. eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 2. eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 3. eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 4. eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 5. eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 6. eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 7. eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 8. eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 9. eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 10. eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_x,v_y,v_z,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 11. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v__01 >= v__02] (?,1) 12. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v__02 >= v__01] (1,1) 13. eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 14. eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_10(v__01,v__02,v__04,nondef_0,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 15. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_1 >= 0] (?,1) 16. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [0 >= v_1] (?,1) 17. eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_12(v__01,v__02,v__04,v_1,-1 + v__04,v_4,v_tx,v_x,v_y,v_z) True (?,1) 18. eval_aaron3_12(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,nondef_1,v_tx,v_x,v_y,v_z) True (?,1) 19. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_4 >= v_3 + v__01] (1,1) 20. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_4,v__02,v_3,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v_3 + v__01 >= v_4] (?,1) 21. eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v__01,1 + v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 22. eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_stop(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) Signature: {(eval_aaron3_0,10) ;(eval_aaron3_1,10) ;(eval_aaron3_10,10) ;(eval_aaron3_12,10) ;(eval_aaron3_13,10) ;(eval_aaron3_2,10) ;(eval_aaron3_3,10) ;(eval_aaron3_4,10) ;(eval_aaron3_5,10) ;(eval_aaron3_6,10) ;(eval_aaron3_7,10) ;(eval_aaron3_8,10) ;(eval_aaron3_9,10) ;(eval_aaron3_bb0_in,10) ;(eval_aaron3_bb1_in,10) ;(eval_aaron3_bb2_in,10) ;(eval_aaron3_bb3_in,10) ;(eval_aaron3_bb4_in,10) ;(eval_aaron3_bb5_in,10) ;(eval_aaron3_start,10) ;(eval_aaron3_stop,10)} Flow Graph: [0->{1},1->{2},2->{3},3->{4},4->{5},5->{6},6->{7},7->{8},8->{9},9->{10},10->{11,12},11->{13},12->{22} ,13->{14},14->{15,16},15->{17},16->{21},17->{18},18->{19,20},19->{22},20->{11,12},21->{11,12},22->{}] + Applied Processor: AddSinks + Details: () * Step 3: Failure MAYBE + Considered Problem: Rules: 0. eval_aaron3_start(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (1,1) 1. eval_aaron3_bb0_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 2. eval_aaron3_0(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 3. eval_aaron3_1(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 4. eval_aaron3_2(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 5. eval_aaron3_3(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 6. eval_aaron3_4(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 7. eval_aaron3_5(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 8. eval_aaron3_6(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 9. eval_aaron3_7(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 10. eval_aaron3_8(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_x,v_y,v_z,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 11. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v__01 >= v__02] (?,1) 12. eval_aaron3_bb1_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v__02 >= v__01] (?,1) 13. eval_aaron3_bb2_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 14. eval_aaron3_9(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_10(v__01,v__02,v__04,nondef_0,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 15. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_1 >= 0] (?,1) 16. eval_aaron3_10(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [0 >= v_1] (?,1) 17. eval_aaron3_bb3_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_12(v__01,v__02,v__04,v_1,-1 + v__04,v_4,v_tx,v_x,v_y,v_z) True (?,1) 18. eval_aaron3_12(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,nondef_1,v_tx,v_x,v_y,v_z) True (?,1) 19. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [-1 + v_4 >= v_3 + v__01] (?,1) 20. eval_aaron3_13(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v_4,v__02,v_3,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) [v_3 + v__01 >= v_4] (?,1) 21. eval_aaron3_bb4_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_bb1_in(v__01,1 + v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 22. eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> eval_aaron3_stop(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) 23. eval_aaron3_bb5_in(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) -> exitus616(v__01,v__02,v__04,v_1,v_3,v_4,v_tx,v_x,v_y,v_z) True (?,1) Signature: {(eval_aaron3_0,10) ;(eval_aaron3_1,10) ;(eval_aaron3_10,10) ;(eval_aaron3_12,10) ;(eval_aaron3_13,10) ;(eval_aaron3_2,10) ;(eval_aaron3_3,10) ;(eval_aaron3_4,10) ;(eval_aaron3_5,10) ;(eval_aaron3_6,10) ;(eval_aaron3_7,10) ;(eval_aaron3_8,10) ;(eval_aaron3_9,10) ;(eval_aaron3_bb0_in,10) ;(eval_aaron3_bb1_in,10) ;(eval_aaron3_bb2_in,10) ;(eval_aaron3_bb3_in,10) ;(eval_aaron3_bb4_in,10) ;(eval_aaron3_bb5_in,10) ;(eval_aaron3_start,10) ;(eval_aaron3_stop,10) ;(exitus616,10)} Flow Graph: [0->{1},1->{2},2->{3},3->{4},4->{5},5->{6},6->{7},7->{8},8->{9},9->{10},10->{11,12},11->{13},12->{22,23} ,13->{14},14->{15,16},15->{17},16->{21},17->{18},18->{19,20},19->{22,23},20->{11,12},21->{11,12},22->{} ,23->{}] + Applied Processor: LooptreeTransformer + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] | `- p:[11,20,18,17,15,14,13,21,16] c: [] MAYBE