Initial Problem

Start: start0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7
Temp_Vars:
Locations: lbl121, lbl82, start, start0, stop
Transitions:
8:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
7:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
6:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_4+1<=Arg_0 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
5:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
4:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
3:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_0<=Arg_4 && Arg_4<=2*Arg_0 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_6+1<=Arg_0 && Arg_0<=Arg_6+1
2:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,2*Arg_3,Arg_2,Arg_3,2*Arg_3-1,Arg_5,2*Arg_3-1,Arg_7):|:0<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
1:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,2*Arg_3,Arg_5,2*Arg_3-1,Arg_7):|:0<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
0:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_0+1<=0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
9:start0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> start(Arg_0,Arg_2,Arg_2,Arg_0,Arg_5,Arg_5,Arg_7,Arg_7)

Preprocessing

Found invariant Arg_7<=Arg_6 && Arg_6<=Arg_7 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 for location start

Found invariant 0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 for location lbl121

Found invariant Arg_3<=Arg_0 && Arg_0<=Arg_3 for location stop

Found invariant 0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 for location lbl82

Problem after Preprocessing

Start: start0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7
Temp_Vars:
Locations: lbl121, lbl82, start, start0, stop
Transitions:
8:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 && Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
7:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 && Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
6:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 && Arg_4+1<=Arg_0 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3
5:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 && Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
4:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 && Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
3:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 && Arg_0<=Arg_4 && Arg_4<=2*Arg_0 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_6+1<=Arg_0 && Arg_0<=Arg_6+1
2:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,2*Arg_3,Arg_2,Arg_3,2*Arg_3-1,Arg_5,2*Arg_3-1,Arg_7):|:Arg_7<=Arg_6 && Arg_6<=Arg_7 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
1:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,2*Arg_3,Arg_5,2*Arg_3-1,Arg_7):|:Arg_7<=Arg_6 && Arg_6<=Arg_7 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
0:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7):|:Arg_7<=Arg_6 && Arg_6<=Arg_7 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && Arg_0+1<=0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_7 && Arg_7<=Arg_6
9:start0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> start(Arg_0,Arg_2,Arg_2,Arg_0,Arg_5,Arg_5,Arg_7,Arg_7)

MPRF for transition 7:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 && Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3 of depth 1:

new bound:

4*Arg_0+5 {O(n)}

MPRF:

lbl82 [Arg_4+1 ]
lbl121 [Arg_4+2 ]

MPRF for transition 8:lbl121(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:0<=1+Arg_6 && 0<=2+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=1+Arg_4 && 0<=1+Arg_3+Arg_4 && Arg_3<=1+Arg_4 && 0<=1+Arg_1+Arg_4 && 0<=1+Arg_0+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_1+Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 0<=Arg_0 && Arg_0<=Arg_4 && Arg_4+1<=2*Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_4+1 && Arg_6<=Arg_4 && Arg_4<=Arg_6 && Arg_3<=Arg_0 && Arg_0<=Arg_3 of depth 1:

new bound:

4*Arg_0+3 {O(n)}

MPRF:

lbl82 [Arg_4 ]
lbl121 [Arg_4+1 ]

MPRF for transition 5:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl121(Arg_0,Arg_6,Arg_2,Arg_3,Arg_4-1,Arg_5,Arg_4-1,Arg_7):|:0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 && Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 of depth 1:

new bound:

4*Arg_0+4 {O(n)}

MPRF:

lbl82 [Arg_4+1 ]
lbl121 [Arg_6+1 ]

MPRF for transition 4:lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7) -> lbl82(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6-1,Arg_7):|:0<=1+Arg_6 && 0<=1+Arg_4+Arg_6 && 0<=1+Arg_3+Arg_6 && Arg_3<=1+Arg_6 && 0<=1+Arg_0+Arg_6 && Arg_0<=1+Arg_6 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 0<=Arg_0 && Arg_0<=Arg_6 && Arg_6+1<=Arg_4 && Arg_4<=2*Arg_0 && Arg_0<=Arg_6+1 && Arg_3<=Arg_0 && Arg_0<=Arg_3 of depth 1:

new bound:

72*Arg_0*Arg_0+112*Arg_0+43 {O(n^2)}

MPRF:

lbl121 [Arg_6+1 ]
lbl82 [Arg_6+2 ]

All Bounds

Timebounds

Overall timebound:72*Arg_0*Arg_0+124*Arg_0+61 {O(n^2)}
6: lbl121->stop: 1 {O(1)}
7: lbl121->lbl82: 4*Arg_0+5 {O(n)}
8: lbl121->lbl121: 4*Arg_0+3 {O(n)}
3: lbl82->stop: 1 {O(1)}
4: lbl82->lbl82: 72*Arg_0*Arg_0+112*Arg_0+43 {O(n^2)}
5: lbl82->lbl121: 4*Arg_0+4 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl82: 1 {O(1)}
2: start->lbl121: 1 {O(1)}
9: start0->start: 1 {O(1)}

Costbounds

Overall costbound: 72*Arg_0*Arg_0+124*Arg_0+61 {O(n^2)}
6: lbl121->stop: 1 {O(1)}
7: lbl121->lbl82: 4*Arg_0+5 {O(n)}
8: lbl121->lbl121: 4*Arg_0+3 {O(n)}
3: lbl82->stop: 1 {O(1)}
4: lbl82->lbl82: 72*Arg_0*Arg_0+112*Arg_0+43 {O(n^2)}
5: lbl82->lbl121: 4*Arg_0+4 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl82: 1 {O(1)}
2: start->lbl121: 1 {O(1)}
9: start0->start: 1 {O(1)}

Sizebounds

6: lbl121->stop, Arg_0: 5*Arg_0 {O(n)}
6: lbl121->stop, Arg_1: 40*Arg_0+20 {O(n)}
6: lbl121->stop, Arg_2: 5*Arg_2 {O(n)}
6: lbl121->stop, Arg_3: 5*Arg_0 {O(n)}
6: lbl121->stop, Arg_4: 10*Arg_0+6 {O(n)}
6: lbl121->stop, Arg_5: 5*Arg_5 {O(n)}
6: lbl121->stop, Arg_6: 20*Arg_0+12 {O(n)}
6: lbl121->stop, Arg_7: 5*Arg_7 {O(n)}
7: lbl121->lbl82, Arg_0: 4*Arg_0 {O(n)}
7: lbl121->lbl82, Arg_1: 120*Arg_0+64 {O(n)}
7: lbl121->lbl82, Arg_2: 4*Arg_2 {O(n)}
7: lbl121->lbl82, Arg_3: 4*Arg_0 {O(n)}
7: lbl121->lbl82, Arg_4: 8*Arg_0+4 {O(n)}
7: lbl121->lbl82, Arg_5: 4*Arg_5 {O(n)}
7: lbl121->lbl82, Arg_6: 38*Arg_0+20 {O(n)}
7: lbl121->lbl82, Arg_7: 4*Arg_7 {O(n)}
8: lbl121->lbl121, Arg_0: 4*Arg_0 {O(n)}
8: lbl121->lbl121, Arg_1: 38*Arg_0+20 {O(n)}
8: lbl121->lbl121, Arg_2: 4*Arg_2 {O(n)}
8: lbl121->lbl121, Arg_3: 4*Arg_0 {O(n)}
8: lbl121->lbl121, Arg_4: 8*Arg_0+4 {O(n)}
8: lbl121->lbl121, Arg_5: 4*Arg_5 {O(n)}
8: lbl121->lbl121, Arg_6: 18*Arg_0+10 {O(n)}
8: lbl121->lbl121, Arg_7: 4*Arg_7 {O(n)}
3: lbl82->stop, Arg_0: 9*Arg_0 {O(n)}
3: lbl82->stop, Arg_1: 2*Arg_2+240*Arg_0+128 {O(n)}
3: lbl82->stop, Arg_2: 9*Arg_2 {O(n)}
3: lbl82->stop, Arg_3: 9*Arg_0 {O(n)}
3: lbl82->stop, Arg_4: 18*Arg_0+8 {O(n)}
3: lbl82->stop, Arg_5: 9*Arg_5 {O(n)}
3: lbl82->stop, Arg_6: 80*Arg_0+44 {O(n)}
3: lbl82->stop, Arg_7: 9*Arg_7 {O(n)}
4: lbl82->lbl82, Arg_0: 4*Arg_0 {O(n)}
4: lbl82->lbl82, Arg_1: 120*Arg_0+Arg_2+64 {O(n)}
4: lbl82->lbl82, Arg_2: 4*Arg_2 {O(n)}
4: lbl82->lbl82, Arg_3: 4*Arg_0 {O(n)}
4: lbl82->lbl82, Arg_4: 8*Arg_0+4 {O(n)}
4: lbl82->lbl82, Arg_5: 4*Arg_5 {O(n)}
4: lbl82->lbl82, Arg_6: 40*Arg_0+22 {O(n)}
4: lbl82->lbl82, Arg_7: 4*Arg_7 {O(n)}
5: lbl82->lbl121, Arg_0: 4*Arg_0 {O(n)}
5: lbl82->lbl121, Arg_1: 80*Arg_0+44 {O(n)}
5: lbl82->lbl121, Arg_2: 4*Arg_2 {O(n)}
5: lbl82->lbl121, Arg_3: 4*Arg_0 {O(n)}
5: lbl82->lbl121, Arg_4: 8*Arg_0+4 {O(n)}
5: lbl82->lbl121, Arg_5: 4*Arg_5 {O(n)}
5: lbl82->lbl121, Arg_6: 18*Arg_0+8 {O(n)}
5: lbl82->lbl121, Arg_7: 4*Arg_7 {O(n)}
0: start->stop, Arg_0: Arg_0 {O(n)}
0: start->stop, Arg_1: Arg_2 {O(n)}
0: start->stop, Arg_2: Arg_2 {O(n)}
0: start->stop, Arg_3: Arg_0 {O(n)}
0: start->stop, Arg_4: Arg_5 {O(n)}
0: start->stop, Arg_5: Arg_5 {O(n)}
0: start->stop, Arg_6: Arg_7 {O(n)}
0: start->stop, Arg_7: Arg_7 {O(n)}
1: start->lbl82, Arg_0: Arg_0 {O(n)}
1: start->lbl82, Arg_1: Arg_2 {O(n)}
1: start->lbl82, Arg_2: Arg_2 {O(n)}
1: start->lbl82, Arg_3: Arg_0 {O(n)}
1: start->lbl82, Arg_4: 2*Arg_0 {O(n)}
1: start->lbl82, Arg_5: Arg_5 {O(n)}
1: start->lbl82, Arg_6: 2*Arg_0+2 {O(n)}
1: start->lbl82, Arg_7: Arg_7 {O(n)}
2: start->lbl121, Arg_0: Arg_0 {O(n)}
2: start->lbl121, Arg_1: 2*Arg_0 {O(n)}
2: start->lbl121, Arg_2: Arg_2 {O(n)}
2: start->lbl121, Arg_3: Arg_0 {O(n)}
2: start->lbl121, Arg_4: 2*Arg_0+2 {O(n)}
2: start->lbl121, Arg_5: Arg_5 {O(n)}
2: start->lbl121, Arg_6: 2*Arg_0+2 {O(n)}
2: start->lbl121, Arg_7: Arg_7 {O(n)}
9: start0->start, Arg_0: Arg_0 {O(n)}
9: start0->start, Arg_1: Arg_2 {O(n)}
9: start0->start, Arg_2: Arg_2 {O(n)}
9: start0->start, Arg_3: Arg_0 {O(n)}
9: start0->start, Arg_4: Arg_5 {O(n)}
9: start0->start, Arg_5: Arg_5 {O(n)}
9: start0->start, Arg_6: Arg_7 {O(n)}
9: start0->start, Arg_7: Arg_7 {O(n)}