Initial Problem

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

Preprocessing

Cut unsatisfiable transition 6: lbl71->lbl81

Cut unsatisfiable transition 8: lbl81->lbl71

Found invariant Arg_9<=0 && Arg_9<=1+Arg_4 && 1+Arg_4+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_4<=0 && 1+Arg_0+Arg_4<=0 && 0<=1+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=0 for location lbl81

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

Found invariant Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && 1+Arg_6<=Arg_3 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_4<=1 && 0<=1+Arg_4 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 for location stop

Found invariant Arg_9<=Arg_0 && 1<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && Arg_4<=1 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && 1<=Arg_0 for location lbl71

Problem after Preprocessing

Start: start0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars:
Locations: lbl71, lbl81, start, start0, stop
Transitions:
5:lbl71(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl71(Arg_0,Arg_1,Arg_2,Arg_4+Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && 1<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && Arg_4<=1 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && 1<=Arg_0 && 1<=Arg_0 && Arg_3<=Arg_2 && Arg_1+1<=Arg_3 && Arg_3<=Arg_2+1 && Arg_4<=1 && 1<=Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6
4:lbl71(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && 1<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && Arg_4<=1 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && 1<=Arg_0 && Arg_1<=Arg_2 && 1<=Arg_0 && Arg_3<=Arg_2+1 && Arg_2+1<=Arg_3 && Arg_4<=1 && 1<=Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6
9:lbl81(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl81(Arg_0,Arg_1,Arg_2,Arg_3-Arg_4,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=0 && Arg_9<=1+Arg_4 && 1+Arg_4+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_4<=0 && 1+Arg_0+Arg_4<=0 && 0<=1+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=0 && Arg_3<=Arg_2 && Arg_0<=0 && Arg_1+1<=Arg_3 && Arg_3<=Arg_2+1 && Arg_4+1<=0 && 0<=1+Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6
7:lbl81(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=0 && Arg_9<=1+Arg_4 && 1+Arg_4+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_4<=0 && 1+Arg_0+Arg_4<=0 && 0<=1+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=0 && Arg_0<=0 && Arg_1<=Arg_2 && Arg_3<=Arg_2+1 && Arg_2+1<=Arg_3 && Arg_4+1<=0 && 0<=1+Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6
1:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl71(Arg_0,Arg_1,Arg_2,1+Arg_3,1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && 1<=Arg_0 && Arg_1<=Arg_2 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_9<=Arg_0 && Arg_0<=Arg_9
3:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl81(Arg_0,Arg_1,Arg_2,1+Arg_3,-1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=0 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_9<=Arg_0 && Arg_0<=Arg_9
0:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && 1<=Arg_0 && Arg_2+1<=Arg_1 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_9<=Arg_0 && Arg_0<=Arg_9
2:start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> stop(Arg_0,Arg_1,Arg_2,Arg_3,-1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_5<=Arg_4 && Arg_4<=Arg_5 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2+1<=Arg_1 && Arg_0<=0 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_4<=Arg_5 && Arg_5<=Arg_4 && Arg_6<=Arg_2 && Arg_2<=Arg_6 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_9<=Arg_0 && Arg_0<=Arg_9
10:start0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> start(Arg_0,Arg_1,Arg_2,Arg_1,Arg_5,Arg_5,Arg_2,Arg_8,Arg_8,Arg_0)

MPRF for transition 9:lbl81(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl81(Arg_0,Arg_1,Arg_2,Arg_3-Arg_4,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=0 && Arg_9<=1+Arg_4 && 1+Arg_4+Arg_9<=0 && Arg_9<=Arg_0 && Arg_0+Arg_9<=0 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && 1+Arg_4<=0 && 1+Arg_0+Arg_4<=0 && 0<=1+Arg_4 && Arg_0<=1+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && Arg_0<=0 && Arg_3<=Arg_2 && Arg_0<=0 && Arg_1+1<=Arg_3 && Arg_3<=Arg_2+1 && Arg_4+1<=0 && 0<=1+Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6 of depth 1:

new bound:

Arg_1+Arg_2+2 {O(n)}

MPRF:

lbl81 [Arg_2+1-Arg_3 ]

MPRF for transition 5:lbl71(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> lbl71(Arg_0,Arg_1,Arg_2,Arg_4+Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_9<=Arg_0 && 1<=Arg_9 && 2<=Arg_4+Arg_9 && Arg_4<=Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_7 && Arg_7<=Arg_8 && Arg_6<=Arg_2 && Arg_3<=1+Arg_6 && Arg_2<=Arg_6 && Arg_1<=Arg_6 && Arg_4<=1 && Arg_4<=Arg_0 && 1<=Arg_4 && 2<=Arg_0+Arg_4 && Arg_3<=1+Arg_2 && 1+Arg_1<=Arg_3 && Arg_1<=Arg_2 && 1<=Arg_0 && 1<=Arg_0 && Arg_3<=Arg_2 && Arg_1+1<=Arg_3 && Arg_3<=Arg_2+1 && Arg_4<=1 && 1<=Arg_4 && Arg_9<=Arg_0 && Arg_0<=Arg_9 && Arg_7<=Arg_8 && Arg_8<=Arg_7 && Arg_6<=Arg_2 && Arg_2<=Arg_6 of depth 1:

new bound:

Arg_1+Arg_2+2 {O(n)}

MPRF:

lbl71 [Arg_2+1-Arg_3 ]

All Bounds

Timebounds

Overall timebound:2*Arg_1+2*Arg_2+11 {O(n)}
4: lbl71->stop: 1 {O(1)}
5: lbl71->lbl71: Arg_1+Arg_2+2 {O(n)}
7: lbl81->stop: 1 {O(1)}
9: lbl81->lbl81: Arg_1+Arg_2+2 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl71: 1 {O(1)}
2: start->stop: 1 {O(1)}
3: start->lbl81: 1 {O(1)}
10: start0->start: 1 {O(1)}

Costbounds

Overall costbound: 2*Arg_1+2*Arg_2+11 {O(n)}
4: lbl71->stop: 1 {O(1)}
5: lbl71->lbl71: Arg_1+Arg_2+2 {O(n)}
7: lbl81->stop: 1 {O(1)}
9: lbl81->lbl81: Arg_1+Arg_2+2 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl71: 1 {O(1)}
2: start->stop: 1 {O(1)}
3: start->lbl81: 1 {O(1)}
10: start0->start: 1 {O(1)}

Sizebounds

4: lbl71->stop, Arg_0: 2*Arg_0 {O(n)}
4: lbl71->stop, Arg_1: 2*Arg_1 {O(n)}
4: lbl71->stop, Arg_2: 2*Arg_2 {O(n)}
4: lbl71->stop, Arg_3: 3*Arg_1+Arg_2+4 {O(n)}
4: lbl71->stop, Arg_4: 1 {O(1)}
4: lbl71->stop, Arg_5: 2*Arg_5 {O(n)}
4: lbl71->stop, Arg_6: 2*Arg_2 {O(n)}
4: lbl71->stop, Arg_7: 2*Arg_8 {O(n)}
4: lbl71->stop, Arg_8: 2*Arg_8 {O(n)}
4: lbl71->stop, Arg_9: 2*Arg_0 {O(n)}
5: lbl71->lbl71, Arg_0: Arg_0 {O(n)}
5: lbl71->lbl71, Arg_1: Arg_1 {O(n)}
5: lbl71->lbl71, Arg_2: Arg_2 {O(n)}
5: lbl71->lbl71, Arg_3: 2*Arg_1+Arg_2+3 {O(n)}
5: lbl71->lbl71, Arg_4: 1 {O(1)}
5: lbl71->lbl71, Arg_5: Arg_5 {O(n)}
5: lbl71->lbl71, Arg_6: Arg_2 {O(n)}
5: lbl71->lbl71, Arg_7: Arg_8 {O(n)}
5: lbl71->lbl71, Arg_8: Arg_8 {O(n)}
5: lbl71->lbl71, Arg_9: Arg_0 {O(n)}
7: lbl81->stop, Arg_0: 2*Arg_0 {O(n)}
7: lbl81->stop, Arg_1: 2*Arg_1 {O(n)}
7: lbl81->stop, Arg_2: 2*Arg_2 {O(n)}
7: lbl81->stop, Arg_3: 3*Arg_1+Arg_2+4 {O(n)}
7: lbl81->stop, Arg_4: 1 {O(1)}
7: lbl81->stop, Arg_5: 2*Arg_5 {O(n)}
7: lbl81->stop, Arg_6: 2*Arg_2 {O(n)}
7: lbl81->stop, Arg_7: 2*Arg_8 {O(n)}
7: lbl81->stop, Arg_8: 2*Arg_8 {O(n)}
7: lbl81->stop, Arg_9: 2*Arg_0 {O(n)}
9: lbl81->lbl81, Arg_0: Arg_0 {O(n)}
9: lbl81->lbl81, Arg_1: Arg_1 {O(n)}
9: lbl81->lbl81, Arg_2: Arg_2 {O(n)}
9: lbl81->lbl81, Arg_3: 2*Arg_1+Arg_2+3 {O(n)}
9: lbl81->lbl81, Arg_4: 1 {O(1)}
9: lbl81->lbl81, Arg_5: Arg_5 {O(n)}
9: lbl81->lbl81, Arg_6: Arg_2 {O(n)}
9: lbl81->lbl81, Arg_7: Arg_8 {O(n)}
9: lbl81->lbl81, Arg_8: Arg_8 {O(n)}
9: lbl81->lbl81, Arg_9: Arg_0 {O(n)}
0: start->stop, Arg_0: Arg_0 {O(n)}
0: start->stop, Arg_1: Arg_1 {O(n)}
0: start->stop, Arg_2: Arg_2 {O(n)}
0: start->stop, Arg_3: Arg_1 {O(n)}
0: start->stop, Arg_4: 1 {O(1)}
0: start->stop, Arg_5: Arg_5 {O(n)}
0: start->stop, Arg_6: Arg_2 {O(n)}
0: start->stop, Arg_7: Arg_8 {O(n)}
0: start->stop, Arg_8: Arg_8 {O(n)}
0: start->stop, Arg_9: Arg_0 {O(n)}
1: start->lbl71, Arg_0: Arg_0 {O(n)}
1: start->lbl71, Arg_1: Arg_1 {O(n)}
1: start->lbl71, Arg_2: Arg_2 {O(n)}
1: start->lbl71, Arg_3: Arg_1+1 {O(n)}
1: start->lbl71, Arg_4: 1 {O(1)}
1: start->lbl71, Arg_5: Arg_5 {O(n)}
1: start->lbl71, Arg_6: Arg_2 {O(n)}
1: start->lbl71, Arg_7: Arg_8 {O(n)}
1: start->lbl71, Arg_8: Arg_8 {O(n)}
1: start->lbl71, Arg_9: Arg_0 {O(n)}
2: start->stop, Arg_0: Arg_0 {O(n)}
2: start->stop, Arg_1: Arg_1 {O(n)}
2: start->stop, Arg_2: Arg_2 {O(n)}
2: start->stop, Arg_3: Arg_1 {O(n)}
2: start->stop, Arg_4: 1 {O(1)}
2: start->stop, Arg_5: Arg_5 {O(n)}
2: start->stop, Arg_6: Arg_2 {O(n)}
2: start->stop, Arg_7: Arg_8 {O(n)}
2: start->stop, Arg_8: Arg_8 {O(n)}
2: start->stop, Arg_9: Arg_0 {O(n)}
3: start->lbl81, Arg_0: Arg_0 {O(n)}
3: start->lbl81, Arg_1: Arg_1 {O(n)}
3: start->lbl81, Arg_2: Arg_2 {O(n)}
3: start->lbl81, Arg_3: Arg_1+1 {O(n)}
3: start->lbl81, Arg_4: 1 {O(1)}
3: start->lbl81, Arg_5: Arg_5 {O(n)}
3: start->lbl81, Arg_6: Arg_2 {O(n)}
3: start->lbl81, Arg_7: Arg_8 {O(n)}
3: start->lbl81, Arg_8: Arg_8 {O(n)}
3: start->lbl81, Arg_9: Arg_0 {O(n)}
10: start0->start, Arg_0: Arg_0 {O(n)}
10: start0->start, Arg_1: Arg_1 {O(n)}
10: start0->start, Arg_2: Arg_2 {O(n)}
10: start0->start, Arg_3: Arg_1 {O(n)}
10: start0->start, Arg_4: Arg_5 {O(n)}
10: start0->start, Arg_5: Arg_5 {O(n)}
10: start0->start, Arg_6: Arg_2 {O(n)}
10: start0->start, Arg_7: Arg_8 {O(n)}
10: start0->start, Arg_8: Arg_8 {O(n)}
10: start0->start, Arg_9: Arg_0 {O(n)}