Initial Problem
Start: eval_complex_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7
Temp_Vars:
Locations: eval_complex_0, eval_complex_1, eval_complex_15, eval_complex_16, eval_complex_17, eval_complex_18, eval_complex_2, eval_complex_3, eval_complex_4, eval_complex_5, eval_complex_6, eval_complex_bb0_in, eval_complex_bb1_in, eval_complex_bb2_in, eval_complex_bb3_in, eval_complex_bb4_in, eval_complex_bb5_in, eval_complex_start, eval_complex_stop
Transitions:
2:eval_complex_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
3:eval_complex_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
20:eval_complex_15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
21:eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_17(Arg_5-10,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
22:eval_complex_17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
23:eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb1_in(Arg_0,Arg_1,Arg_1,Arg_0,Arg_4,Arg_5,Arg_6,Arg_7)
4:eval_complex_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
5:eval_complex_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
6:eval_complex_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
7:eval_complex_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
8:eval_complex_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb1_in(Arg_0,Arg_1,Arg_6,Arg_7,Arg_4,Arg_5,Arg_6,Arg_7)
1:eval_complex_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
9:eval_complex_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2,Arg_3,Arg_6,Arg_7):|:Arg_2<30
10:eval_complex_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:30<=Arg_2
11:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_5<Arg_4
12:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_4<=Arg_5
13:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+10,Arg_5+7,Arg_6,Arg_7):|:5<Arg_5 && 3<=Arg_5 && Arg_5<=5
14:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+7,Arg_6,Arg_7):|:5<Arg_5 && Arg_5<3
15:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+7,Arg_6,Arg_7):|:5<Arg_5 && 5<Arg_5
16:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+10,Arg_5+2,Arg_6,Arg_7):|:Arg_5<=5 && 8<=Arg_5 && Arg_5<=10
17:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+2,Arg_6,Arg_7):|:Arg_5<=5 && Arg_5<8
18:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+2,Arg_6,Arg_7):|:Arg_5<=5 && 10<Arg_5
19:eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_15(Arg_0,Arg_4+2,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
24:eval_complex_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
0:eval_complex_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
Preprocessing
Cut unsatisfiable transition 13: eval_complex_bb3_in->eval_complex_bb2_in
Cut unsatisfiable transition 14: eval_complex_bb3_in->eval_complex_bb2_in
Cut unsatisfiable transition 16: eval_complex_bb3_in->eval_complex_bb2_in
Cut unsatisfiable transition 18: eval_complex_bb3_in->eval_complex_bb2_in
Found invariant Arg_6<=Arg_2 for location eval_complex_bb1_in
Found invariant Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1 for location eval_complex_16
Found invariant Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_3<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 for location eval_complex_bb2_in
Found invariant Arg_6<=Arg_2 && 30<=Arg_2 for location eval_complex_stop
Found invariant Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 for location eval_complex_bb4_in
Found invariant Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1 for location eval_complex_15
Found invariant Arg_6<=Arg_2 && 30<=Arg_2 for location eval_complex_bb5_in
Found invariant Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 1+Arg_5<=Arg_4 && Arg_3<=Arg_5 && 1+Arg_3<=Arg_4 && Arg_2<=Arg_4 && Arg_2<=29 for location eval_complex_bb3_in
Found invariant Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0 for location eval_complex_17
Found invariant Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0 for location eval_complex_18
Problem after Preprocessing
Start: eval_complex_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7
Temp_Vars:
Locations: eval_complex_0, eval_complex_1, eval_complex_15, eval_complex_16, eval_complex_17, eval_complex_18, eval_complex_2, eval_complex_3, eval_complex_4, eval_complex_5, eval_complex_6, eval_complex_bb0_in, eval_complex_bb1_in, eval_complex_bb2_in, eval_complex_bb3_in, eval_complex_bb4_in, eval_complex_bb5_in, eval_complex_start, eval_complex_stop
Transitions:
2:eval_complex_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
3:eval_complex_1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
20:eval_complex_15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1
21:eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_17(Arg_5-10,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1
22:eval_complex_17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0
23:eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb1_in(Arg_0,Arg_1,Arg_1,Arg_0,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0
4:eval_complex_2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
5:eval_complex_3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
6:eval_complex_4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
7:eval_complex_5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
8:eval_complex_6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb1_in(Arg_0,Arg_1,Arg_6,Arg_7,Arg_4,Arg_5,Arg_6,Arg_7)
1:eval_complex_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
9:eval_complex_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2,Arg_3,Arg_6,Arg_7):|:Arg_6<=Arg_2 && Arg_2<30
10:eval_complex_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=Arg_2 && 30<=Arg_2
11:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_3<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_5<Arg_4
12:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_3<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_4<=Arg_5
15:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+7,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 1+Arg_5<=Arg_4 && Arg_3<=Arg_5 && 1+Arg_3<=Arg_4 && Arg_2<=Arg_4 && Arg_2<=29 && 5<Arg_5 && 5<Arg_5
17:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+2,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 1+Arg_5<=Arg_4 && Arg_3<=Arg_5 && 1+Arg_3<=Arg_4 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_5<=5 && Arg_5<8
19:eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_15(Arg_0,Arg_4+2,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29
24:eval_complex_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=Arg_2 && 30<=Arg_2
0:eval_complex_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7)
MPRF for transition 20:eval_complex_15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [28-Arg_2 ]
eval_complex_17 [Arg_4+30-Arg_1-Arg_2 ]
eval_complex_18 [Arg_4+30-Arg_1-Arg_2 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [30-Arg_2 ]
eval_complex_15 [30-Arg_2 ]
MPRF for transition 21:eval_complex_16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_17(Arg_5-10,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 2+Arg_4<=Arg_1 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_2<=29 && 2+Arg_2<=Arg_1 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [30-Arg_2 ]
eval_complex_17 [28-Arg_4 ]
eval_complex_18 [30-Arg_1 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [30-Arg_2 ]
eval_complex_15 [30-Arg_2 ]
MPRF for transition 22:eval_complex_17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [30-Arg_2 ]
eval_complex_17 [30-Arg_2 ]
eval_complex_18 [28-Arg_2 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [30-Arg_2 ]
eval_complex_15 [30-Arg_2 ]
MPRF for transition 23:eval_complex_18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb1_in(Arg_0,Arg_1,Arg_1,Arg_0,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 2+Arg_6<=Arg_1 && Arg_6<=10+Arg_0 && Arg_5<=10+Arg_0 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_1<=2+Arg_5 && 10+Arg_0<=Arg_5 && 2+Arg_4<=Arg_1 && Arg_4<=10+Arg_0 && Arg_2<=Arg_4 && Arg_1<=2+Arg_4 && Arg_3<=10+Arg_0 && Arg_2<=29 && 2+Arg_2<=Arg_1 && Arg_2<=10+Arg_0 && Arg_1<=12+Arg_0 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [30-Arg_2 ]
eval_complex_17 [30-Arg_2 ]
eval_complex_18 [30-Arg_2 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [30-Arg_2 ]
eval_complex_15 [30-Arg_2 ]
MPRF for transition 9:eval_complex_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_2,Arg_3,Arg_6,Arg_7):|:Arg_6<=Arg_2 && Arg_2<30 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [28-Arg_2 ]
eval_complex_17 [28-Arg_2 ]
eval_complex_18 [28-Arg_2 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [28-Arg_2 ]
eval_complex_bb2_in [28-Arg_2 ]
eval_complex_bb4_in [28-Arg_2 ]
eval_complex_15 [28-Arg_2 ]
MPRF for transition 11:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_3<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_5<Arg_4 of depth 1:
new bound:
11*Arg_6+Arg_7+348 {O(n)}
MPRF:
eval_complex_16 [346-5*Arg_1-6*Arg_2-Arg_5 ]
eval_complex_17 [348-Arg_0-11*Arg_1 ]
eval_complex_18 [348-Arg_0-11*Arg_1 ]
eval_complex_bb1_in [348-11*Arg_2-Arg_3 ]
eval_complex_bb3_in [Arg_4+347-12*Arg_2-Arg_5 ]
eval_complex_bb2_in [Arg_4+348-12*Arg_2-Arg_5 ]
eval_complex_bb4_in [336-6*Arg_2-5*Arg_4-Arg_5 ]
eval_complex_15 [336-6*Arg_2-5*Arg_4-Arg_5 ]
MPRF for transition 12:eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_3<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_4<=Arg_5 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [28-Arg_2 ]
eval_complex_17 [28-Arg_2 ]
eval_complex_18 [28-Arg_2 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [28-Arg_2 ]
eval_complex_15 [28-Arg_2 ]
MPRF for transition 15:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+7,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 1+Arg_5<=Arg_4 && Arg_3<=Arg_5 && 1+Arg_3<=Arg_4 && Arg_2<=Arg_4 && Arg_2<=29 && 5<Arg_5 && 5<Arg_5 of depth 1:
new bound:
5*Arg_6+Arg_7+174 {O(n)}
MPRF:
eval_complex_16 [184-5*Arg_1-Arg_5 ]
eval_complex_17 [174-Arg_0-5*Arg_1 ]
eval_complex_18 [174-Arg_0-5*Arg_1 ]
eval_complex_bb1_in [174-5*Arg_2-Arg_3 ]
eval_complex_bb3_in [Arg_4+174-6*Arg_2-Arg_5 ]
eval_complex_bb2_in [Arg_4+174-6*Arg_2-Arg_5 ]
eval_complex_bb4_in [174-5*Arg_4-Arg_5 ]
eval_complex_15 [184-5*Arg_1-Arg_5 ]
MPRF for transition 17:eval_complex_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5+2,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && 1+Arg_5<=Arg_4 && Arg_3<=Arg_5 && 1+Arg_3<=Arg_4 && Arg_2<=Arg_4 && Arg_2<=29 && Arg_5<=5 && Arg_5<8 of depth 1:
new bound:
5*Arg_6+Arg_7+151 {O(n)}
MPRF:
eval_complex_16 [161-5*Arg_1-Arg_5 ]
eval_complex_17 [161-5*Arg_1-Arg_5 ]
eval_complex_18 [161-5*Arg_1-Arg_5 ]
eval_complex_bb1_in [151-5*Arg_2-Arg_3 ]
eval_complex_bb3_in [151-5*Arg_2-Arg_5 ]
eval_complex_bb2_in [151-5*Arg_2-Arg_5 ]
eval_complex_bb4_in [151-5*Arg_4-Arg_5 ]
eval_complex_15 [161-5*Arg_1-Arg_5 ]
MPRF for transition 19:eval_complex_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> eval_complex_15(Arg_0,Arg_4+2,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_6<=29 && Arg_6<=Arg_5 && Arg_6<=Arg_4 && Arg_6<=Arg_2 && Arg_2+Arg_6<=58 && Arg_4<=Arg_5 && Arg_3<=Arg_5 && Arg_2<=Arg_5 && Arg_2<=Arg_4 && Arg_2<=29 of depth 1:
new bound:
Arg_6+30 {O(n)}
MPRF:
eval_complex_16 [30-Arg_1 ]
eval_complex_17 [30-Arg_1 ]
eval_complex_18 [30-Arg_1 ]
eval_complex_bb1_in [30-Arg_2 ]
eval_complex_bb3_in [30-Arg_2 ]
eval_complex_bb2_in [30-Arg_2 ]
eval_complex_bb4_in [30-Arg_2 ]
eval_complex_15 [28-Arg_2 ]
All Bounds
Timebounds
Overall timebound:28*Arg_6+3*Arg_7+894 {O(n)}
2: eval_complex_0->eval_complex_1: 1 {O(1)}
3: eval_complex_1->eval_complex_2: 1 {O(1)}
20: eval_complex_15->eval_complex_16: Arg_6+30 {O(n)}
21: eval_complex_16->eval_complex_17: Arg_6+30 {O(n)}
22: eval_complex_17->eval_complex_18: Arg_6+30 {O(n)}
23: eval_complex_18->eval_complex_bb1_in: Arg_6+30 {O(n)}
4: eval_complex_2->eval_complex_3: 1 {O(1)}
5: eval_complex_3->eval_complex_4: 1 {O(1)}
6: eval_complex_4->eval_complex_5: 1 {O(1)}
7: eval_complex_5->eval_complex_6: 1 {O(1)}
8: eval_complex_6->eval_complex_bb1_in: 1 {O(1)}
1: eval_complex_bb0_in->eval_complex_0: 1 {O(1)}
9: eval_complex_bb1_in->eval_complex_bb2_in: Arg_6+30 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in: 1 {O(1)}
11: eval_complex_bb2_in->eval_complex_bb3_in: 11*Arg_6+Arg_7+348 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in: Arg_6+30 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in: 5*Arg_6+Arg_7+174 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in: 5*Arg_6+Arg_7+151 {O(n)}
19: eval_complex_bb4_in->eval_complex_15: Arg_6+30 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop: 1 {O(1)}
0: eval_complex_start->eval_complex_bb0_in: 1 {O(1)}
Costbounds
Overall costbound: 28*Arg_6+3*Arg_7+894 {O(n)}
2: eval_complex_0->eval_complex_1: 1 {O(1)}
3: eval_complex_1->eval_complex_2: 1 {O(1)}
20: eval_complex_15->eval_complex_16: Arg_6+30 {O(n)}
21: eval_complex_16->eval_complex_17: Arg_6+30 {O(n)}
22: eval_complex_17->eval_complex_18: Arg_6+30 {O(n)}
23: eval_complex_18->eval_complex_bb1_in: Arg_6+30 {O(n)}
4: eval_complex_2->eval_complex_3: 1 {O(1)}
5: eval_complex_3->eval_complex_4: 1 {O(1)}
6: eval_complex_4->eval_complex_5: 1 {O(1)}
7: eval_complex_5->eval_complex_6: 1 {O(1)}
8: eval_complex_6->eval_complex_bb1_in: 1 {O(1)}
1: eval_complex_bb0_in->eval_complex_0: 1 {O(1)}
9: eval_complex_bb1_in->eval_complex_bb2_in: Arg_6+30 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in: 1 {O(1)}
11: eval_complex_bb2_in->eval_complex_bb3_in: 11*Arg_6+Arg_7+348 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in: Arg_6+30 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in: 5*Arg_6+Arg_7+174 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in: 5*Arg_6+Arg_7+151 {O(n)}
19: eval_complex_bb4_in->eval_complex_15: Arg_6+30 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop: 1 {O(1)}
0: eval_complex_start->eval_complex_bb0_in: 1 {O(1)}
Sizebounds
2: eval_complex_0->eval_complex_1, Arg_0: Arg_0 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_1: Arg_1 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_2: Arg_2 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_3: Arg_3 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_4: Arg_4 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_5: Arg_5 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_6: Arg_6 {O(n)}
2: eval_complex_0->eval_complex_1, Arg_7: Arg_7 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_0: Arg_0 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_1: Arg_1 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_2: Arg_2 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_3: Arg_3 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_4: Arg_4 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_5: Arg_5 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_6: Arg_6 {O(n)}
3: eval_complex_1->eval_complex_2, Arg_7: Arg_7 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_0: 165*Arg_6+3*Arg_0+30*Arg_7+5460 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_1: 13*Arg_6+2*Arg_7+385 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_2: 42*Arg_6+6*Arg_7+1155 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_3: 165*Arg_6+33*Arg_7+5460 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_6: Arg_6 {O(n)}
20: eval_complex_15->eval_complex_16, Arg_7: Arg_7 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_0: 10*Arg_7+55*Arg_6+1820 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_1: 13*Arg_6+2*Arg_7+385 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_2: 42*Arg_6+6*Arg_7+1155 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_3: 165*Arg_6+33*Arg_7+5460 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_6: Arg_6 {O(n)}
21: eval_complex_16->eval_complex_17, Arg_7: Arg_7 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_0: 10*Arg_7+55*Arg_6+1820 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_1: 13*Arg_6+2*Arg_7+385 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_2: 42*Arg_6+6*Arg_7+1155 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_3: 165*Arg_6+33*Arg_7+5460 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_6: Arg_6 {O(n)}
22: eval_complex_17->eval_complex_18, Arg_7: Arg_7 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_0: 10*Arg_7+55*Arg_6+1820 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_1: 13*Arg_6+2*Arg_7+385 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_2: 13*Arg_6+2*Arg_7+385 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_3: 10*Arg_7+55*Arg_6+1820 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_6: Arg_6 {O(n)}
23: eval_complex_18->eval_complex_bb1_in, Arg_7: Arg_7 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_0: Arg_0 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_1: Arg_1 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_2: Arg_2 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_3: Arg_3 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_4: Arg_4 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_5: Arg_5 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_6: Arg_6 {O(n)}
4: eval_complex_2->eval_complex_3, Arg_7: Arg_7 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_0: Arg_0 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_1: Arg_1 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_2: Arg_2 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_3: Arg_3 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_4: Arg_4 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_5: Arg_5 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_6: Arg_6 {O(n)}
5: eval_complex_3->eval_complex_4, Arg_7: Arg_7 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_0: Arg_0 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_1: Arg_1 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_2: Arg_2 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_3: Arg_3 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_4: Arg_4 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_5: Arg_5 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_6: Arg_6 {O(n)}
6: eval_complex_4->eval_complex_5, Arg_7: Arg_7 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_0: Arg_0 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_1: Arg_1 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_2: Arg_2 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_3: Arg_3 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_4: Arg_4 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_5: Arg_5 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_6: Arg_6 {O(n)}
7: eval_complex_5->eval_complex_6, Arg_7: Arg_7 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_0: Arg_0 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_1: Arg_1 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_2: Arg_6 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_3: Arg_7 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_4: Arg_4 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_5: Arg_5 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_6: Arg_6 {O(n)}
8: eval_complex_6->eval_complex_bb1_in, Arg_7: Arg_7 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_0: Arg_0 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_1: Arg_1 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_2: Arg_2 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_3: Arg_3 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_4: Arg_4 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_5: Arg_5 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_6: Arg_6 {O(n)}
1: eval_complex_bb0_in->eval_complex_0, Arg_7: Arg_7 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_6: Arg_6 {O(n)}
9: eval_complex_bb1_in->eval_complex_bb2_in, Arg_7: Arg_7 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_4: 13*Arg_6+2*Arg_7+Arg_4+385 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_5: 10*Arg_7+55*Arg_6+Arg_5+1820 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_6: 2*Arg_6 {O(n)}
10: eval_complex_bb1_in->eval_complex_bb5_in, Arg_7: 2*Arg_7 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_6: Arg_6 {O(n)}
11: eval_complex_bb2_in->eval_complex_bb3_in, Arg_7: Arg_7 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_0: 165*Arg_6+3*Arg_0+30*Arg_7+5460 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_1: 3*Arg_1+39*Arg_6+6*Arg_7+1155 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_2: 42*Arg_6+6*Arg_7+1155 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_3: 165*Arg_6+33*Arg_7+5460 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_6: Arg_6 {O(n)}
12: eval_complex_bb2_in->eval_complex_bb4_in, Arg_7: Arg_7 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_6: Arg_6 {O(n)}
15: eval_complex_bb3_in->eval_complex_bb2_in, Arg_7: Arg_7 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_6: Arg_6 {O(n)}
17: eval_complex_bb3_in->eval_complex_bb2_in, Arg_7: Arg_7 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_0: 165*Arg_6+3*Arg_0+30*Arg_7+5460 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_1: 13*Arg_6+2*Arg_7+385 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_2: 42*Arg_6+6*Arg_7+1155 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_3: 165*Arg_6+33*Arg_7+5460 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_4: 13*Arg_6+2*Arg_7+385 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_5: 10*Arg_7+55*Arg_6+1820 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_6: Arg_6 {O(n)}
19: eval_complex_bb4_in->eval_complex_15, Arg_7: Arg_7 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_0: 10*Arg_7+55*Arg_6+Arg_0+1820 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_1: 13*Arg_6+2*Arg_7+Arg_1+385 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_2: 14*Arg_6+2*Arg_7+385 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_3: 11*Arg_7+55*Arg_6+1820 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_4: 13*Arg_6+2*Arg_7+Arg_4+385 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_5: 10*Arg_7+55*Arg_6+Arg_5+1820 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_6: 2*Arg_6 {O(n)}
24: eval_complex_bb5_in->eval_complex_stop, Arg_7: 2*Arg_7 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_0: Arg_0 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_1: Arg_1 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_2: Arg_2 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_3: Arg_3 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_4: Arg_4 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_5: Arg_5 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_6: Arg_6 {O(n)}
0: eval_complex_start->eval_complex_bb0_in, Arg_7: Arg_7 {O(n)}