YES(?,O(1)) * Step 1: ArgumentFilter WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. eval_relation1_bb2_in(v_x,v_y) -> eval_relation1_stop(v_x,v_y) True (?,1) 1. eval_relation1_7(v_x,v_y) -> eval_relation1_bb2_in(v_x,v_y) True (?,1) 2. eval_relation1_6(v_x,v_y) -> eval_relation1_7(v_x,v_y) True (?,1) 3. eval_relation1_bb1_in(v_x,v_y) -> eval_relation1_6(v_x,v_y) True (?,1) 4. eval_relation1_5(v_x,v_y) -> eval_relation1_bb1_in(v_x,v_y) True (?,1) 5. eval_relation1_4(v_x,v_y) -> eval_relation1_5(v_x,v_y) True (?,1) 6. eval_relation1_3(v_x,v_y) -> eval_relation1_4(v_x,v_y) True (?,1) 7. eval_relation1_2(v_x,v_y) -> eval_relation1_3(v_x,v_y) True (?,1) 8. eval_relation1_1(v_x,v_y) -> eval_relation1_2(v_x,v_y) True (?,1) 9. eval_relation1_0(v_x,v_y) -> eval_relation1_1(v_x,v_y) True (?,1) 10. eval_relation1_bb0_in(v_x,v_y) -> eval_relation1_0(v_x,v_y) True (?,1) 11. eval_relation1_start(v_x,v_y) -> eval_relation1_bb0_in(v_x,v_y) True (1,1) Signature: {(eval_relation1_0,2) ;(eval_relation1_1,2) ;(eval_relation1_2,2) ;(eval_relation1_3,2) ;(eval_relation1_4,2) ;(eval_relation1_5,2) ;(eval_relation1_6,2) ;(eval_relation1_7,2) ;(eval_relation1_bb0_in,2) ;(eval_relation1_bb1_in,2) ;(eval_relation1_bb2_in,2) ;(eval_relation1_start,2) ;(eval_relation1_stop,2)} Flow Graph: [0->{},1->{0},2->{1},3->{2},4->{3},5->{4},6->{5},7->{6},8->{7},9->{8},10->{9},11->{10}] + Applied Processor: ArgumentFilter [0,1] + Details: We remove following argument positions: [0,1]. * Step 2: FromIts WORST_CASE(?,O(1)) + Considered Problem: Rules: 0. eval_relation1_bb2_in() -> eval_relation1_stop() True (?,1) 1. eval_relation1_7() -> eval_relation1_bb2_in() True (?,1) 2. eval_relation1_6() -> eval_relation1_7() True (?,1) 3. eval_relation1_bb1_in() -> eval_relation1_6() True (?,1) 4. eval_relation1_5() -> eval_relation1_bb1_in() True (?,1) 5. eval_relation1_4() -> eval_relation1_5() True (?,1) 6. eval_relation1_3() -> eval_relation1_4() True (?,1) 7. eval_relation1_2() -> eval_relation1_3() True (?,1) 8. eval_relation1_1() -> eval_relation1_2() True (?,1) 9. eval_relation1_0() -> eval_relation1_1() True (?,1) 10. eval_relation1_bb0_in() -> eval_relation1_0() True (?,1) 11. eval_relation1_start() -> eval_relation1_bb0_in() True (1,1) Signature: {(eval_relation1_0,2) ;(eval_relation1_1,2) ;(eval_relation1_2,2) ;(eval_relation1_3,2) ;(eval_relation1_4,2) ;(eval_relation1_5,2) ;(eval_relation1_6,2) ;(eval_relation1_7,2) ;(eval_relation1_bb0_in,2) ;(eval_relation1_bb1_in,2) ;(eval_relation1_bb2_in,2) ;(eval_relation1_start,2) ;(eval_relation1_stop,2)} Flow Graph: [0->{},1->{0},2->{1},3->{2},4->{3},5->{4},6->{5},7->{6},8->{7},9->{8},10->{9},11->{10}] + Applied Processor: FromIts + Details: () * Step 3: AddSinks WORST_CASE(?,O(1)) + Considered Problem: Rules: eval_relation1_bb2_in() -> eval_relation1_stop() True eval_relation1_7() -> eval_relation1_bb2_in() True eval_relation1_6() -> eval_relation1_7() True eval_relation1_bb1_in() -> eval_relation1_6() True eval_relation1_5() -> eval_relation1_bb1_in() True eval_relation1_4() -> eval_relation1_5() True eval_relation1_3() -> eval_relation1_4() True eval_relation1_2() -> eval_relation1_3() True eval_relation1_1() -> eval_relation1_2() True eval_relation1_0() -> eval_relation1_1() True eval_relation1_bb0_in() -> eval_relation1_0() True eval_relation1_start() -> eval_relation1_bb0_in() True Signature: {(eval_relation1_0,2) ;(eval_relation1_1,2) ;(eval_relation1_2,2) ;(eval_relation1_3,2) ;(eval_relation1_4,2) ;(eval_relation1_5,2) ;(eval_relation1_6,2) ;(eval_relation1_7,2) ;(eval_relation1_bb0_in,2) ;(eval_relation1_bb1_in,2) ;(eval_relation1_bb2_in,2) ;(eval_relation1_start,2) ;(eval_relation1_stop,2)} Rule Graph: [0->{},1->{0},2->{1},3->{2},4->{3},5->{4},6->{5},7->{6},8->{7},9->{8},10->{9},11->{10}] + Applied Processor: AddSinks + Details: () * Step 4: Decompose WORST_CASE(?,O(1)) + Considered Problem: Rules: eval_relation1_bb2_in() -> eval_relation1_stop() True eval_relation1_7() -> eval_relation1_bb2_in() True eval_relation1_6() -> eval_relation1_7() True eval_relation1_bb1_in() -> eval_relation1_6() True eval_relation1_5() -> eval_relation1_bb1_in() True eval_relation1_4() -> eval_relation1_5() True eval_relation1_3() -> eval_relation1_4() True eval_relation1_2() -> eval_relation1_3() True eval_relation1_1() -> eval_relation1_2() True eval_relation1_0() -> eval_relation1_1() True eval_relation1_bb0_in() -> eval_relation1_0() True eval_relation1_start() -> eval_relation1_bb0_in() True eval_relation1_stop() -> exitus616() True Signature: {(eval_relation1_0,2) ;(eval_relation1_1,2) ;(eval_relation1_2,2) ;(eval_relation1_3,2) ;(eval_relation1_4,2) ;(eval_relation1_5,2) ;(eval_relation1_6,2) ;(eval_relation1_7,2) ;(eval_relation1_bb0_in,2) ;(eval_relation1_bb1_in,2) ;(eval_relation1_bb2_in,2) ;(eval_relation1_start,2) ;(eval_relation1_stop,2) ;(exitus616,0)} Rule Graph: [0->{12},1->{0},2->{1},3->{2},4->{3},5->{4},6->{5},7->{6},8->{7},9->{8},10->{9},11->{10}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12] * Step 5: AbstractSize WORST_CASE(?,O(1)) + Considered Problem: (Rules: eval_relation1_bb2_in() -> eval_relation1_stop() True eval_relation1_7() -> eval_relation1_bb2_in() True eval_relation1_6() -> eval_relation1_7() True eval_relation1_bb1_in() -> eval_relation1_6() True eval_relation1_5() -> eval_relation1_bb1_in() True eval_relation1_4() -> eval_relation1_5() True eval_relation1_3() -> eval_relation1_4() True eval_relation1_2() -> eval_relation1_3() True eval_relation1_1() -> eval_relation1_2() True eval_relation1_0() -> eval_relation1_1() True eval_relation1_bb0_in() -> eval_relation1_0() True eval_relation1_start() -> eval_relation1_bb0_in() True eval_relation1_stop() -> exitus616() True Signature: {(eval_relation1_0,2) ;(eval_relation1_1,2) ;(eval_relation1_2,2) ;(eval_relation1_3,2) ;(eval_relation1_4,2) ;(eval_relation1_5,2) ;(eval_relation1_6,2) ;(eval_relation1_7,2) ;(eval_relation1_bb0_in,2) ;(eval_relation1_bb1_in,2) ;(eval_relation1_bb2_in,2) ;(eval_relation1_start,2) ;(eval_relation1_stop,2) ;(exitus616,0)} Rule Graph: [0->{12},1->{0},2->{1},3->{2},4->{3},5->{4},6->{5},7->{6},8->{7},9->{8},10->{9},11->{10}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12]) + Applied Processor: AbstractSize Minimize + Details: () * Step 6: AbstractFlow WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [] eval_relation1_bb2_in ~> eval_relation1_stop eval_relation1_7 ~> eval_relation1_bb2_in eval_relation1_6 ~> eval_relation1_7 eval_relation1_bb1_in ~> eval_relation1_6 eval_relation1_5 ~> eval_relation1_bb1_in eval_relation1_4 ~> eval_relation1_5 eval_relation1_3 ~> eval_relation1_4 eval_relation1_2 ~> eval_relation1_3 eval_relation1_1 ~> eval_relation1_2 eval_relation1_0 ~> eval_relation1_1 eval_relation1_bb0_in ~> eval_relation1_0 eval_relation1_start ~> eval_relation1_bb0_in eval_relation1_stop ~> exitus616 + Applied Processor: AbstractFlow + Details: () * Step 7: Lare WORST_CASE(?,O(1)) + Considered Problem: Program: Domain: [tick,huge,K] eval_relation1_bb2_in ~> eval_relation1_stop [] eval_relation1_7 ~> eval_relation1_bb2_in [] eval_relation1_6 ~> eval_relation1_7 [] eval_relation1_bb1_in ~> eval_relation1_6 [] eval_relation1_5 ~> eval_relation1_bb1_in [] eval_relation1_4 ~> eval_relation1_5 [] eval_relation1_3 ~> eval_relation1_4 [] eval_relation1_2 ~> eval_relation1_3 [] eval_relation1_1 ~> eval_relation1_2 [] eval_relation1_0 ~> eval_relation1_1 [] eval_relation1_bb0_in ~> eval_relation1_0 [] eval_relation1_start ~> eval_relation1_bb0_in [] eval_relation1_stop ~> exitus616 [] + Applied Processor: Lare + Details: eval_relation1_start ~> exitus616 [] YES(?,O(1))