Initial Problem
Start: evalSimpleMultipleDepstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalSimpleMultipleDepbb1in, evalSimpleMultipleDepbb2in, evalSimpleMultipleDepbb3in, evalSimpleMultipleDepbbin, evalSimpleMultipleDepentryin, evalSimpleMultipleDepreturnin, evalSimpleMultipleDepstart, evalSimpleMultipleDepstop
Transitions:
6:evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(Arg_0+1,Arg_1,Arg_2,Arg_3)
7:evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(0,Arg_1+1,Arg_2,Arg_3)
2:evalSimpleMultipleDepbb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_1+1<=Arg_2
3:evalSimpleMultipleDepbb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepreturnin(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=Arg_1
4:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0+1<=Arg_3
5:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_0
1:evalSimpleMultipleDepentryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(0,0,Arg_2,Arg_3)
8:evalSimpleMultipleDepreturnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepstop(Arg_0,Arg_1,Arg_2,Arg_3)
0:evalSimpleMultipleDepstart(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepentryin(Arg_0,Arg_1,Arg_2,Arg_3)
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
Preprocessing
Found invariant 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepbbin
Found invariant Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepbb2in
Found invariant 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepbb3in
Found invariant Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepreturnin
Found invariant 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepbb1in
Found invariant Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location evalSimpleMultipleDepstop
Problem after Preprocessing
Start: evalSimpleMultipleDepstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: evalSimpleMultipleDepbb1in, evalSimpleMultipleDepbb2in, evalSimpleMultipleDepbb3in, evalSimpleMultipleDepbbin, evalSimpleMultipleDepentryin, evalSimpleMultipleDepreturnin, evalSimpleMultipleDepstart, evalSimpleMultipleDepstop
Transitions:
6:evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(Arg_0+1,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
7:evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(0,Arg_1+1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
2:evalSimpleMultipleDepbb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3):|:0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
3:evalSimpleMultipleDepbb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepreturnin(Arg_0,Arg_1,Arg_2,Arg_3):|:0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
4:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
5:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
1:evalSimpleMultipleDepentryin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(0,0,Arg_2,Arg_3)
8:evalSimpleMultipleDepreturnin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepstop(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
0:evalSimpleMultipleDepstart(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepentryin(Arg_0,Arg_1,Arg_2,Arg_3)
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
MPRF for transition 7:evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(0,Arg_1+1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 of depth 1:
new bound:
Arg_2 {O(n)}
MPRF:
evalSimpleMultipleDepbb3in [Arg_2-Arg_1 ]
evalSimpleMultipleDepbb1in [Arg_2-Arg_1 ]
evalSimpleMultipleDepbbin [Arg_2-Arg_1 ]
evalSimpleMultipleDepbb2in [Arg_2-Arg_1 ]
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
MPRF for transition 5:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb2in(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 of depth 1:
new bound:
Arg_2 {O(n)}
MPRF:
evalSimpleMultipleDepbb3in [Arg_2-Arg_1 ]
evalSimpleMultipleDepbb1in [Arg_2-Arg_1 ]
evalSimpleMultipleDepbbin [Arg_2-Arg_1 ]
evalSimpleMultipleDepbb2in [Arg_2-Arg_1-1 ]
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
MPRF for transition 6:evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb3in(Arg_0+1,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 of depth 1:
new bound:
Arg_2*Arg_3+Arg_3 {O(n^2)}
MPRF:
evalSimpleMultipleDepbb2in [Arg_3 ]
evalSimpleMultipleDepbb3in [Arg_3-Arg_0 ]
evalSimpleMultipleDepbbin [Arg_3-Arg_0 ]
evalSimpleMultipleDepbb1in [Arg_3-Arg_0 ]
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
MPRF for transition 4:evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbb1in(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3 of depth 1:
new bound:
Arg_2*Arg_3+Arg_3 {O(n^2)}
MPRF:
evalSimpleMultipleDepbb2in [Arg_3 ]
evalSimpleMultipleDepbb3in [Arg_3-Arg_0 ]
evalSimpleMultipleDepbbin [Arg_3-Arg_0 ]
evalSimpleMultipleDepbb1in [Arg_3-Arg_0-1 ]
Show Graph
G
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb1in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in
t₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in
evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in
t₇
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbbin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin
t₂
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in
t₄
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_0+1<=Arg_3
evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in
t₅
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
knowledge_propagation leads to new time bound Arg_2*Arg_3+Arg_2+Arg_3+1 {O(n^2)} for transition 2:evalSimpleMultipleDepbb3in(Arg_0,Arg_1,Arg_2,Arg_3) -> evalSimpleMultipleDepbbin(Arg_0,Arg_1,Arg_2,Arg_3):|:0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1+1<=Arg_2
Analysing control-flow refined program
Cut unsatisfiable transition 91: n_evalSimpleMultipleDepbb3in___10->evalSimpleMultipleDepreturnin
Found invariant 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb1in___12
Found invariant 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_evalSimpleMultipleDepbbin___9
Found invariant 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbbin___5
Found invariant Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location evalSimpleMultipleDepbb3in
Found invariant Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location evalSimpleMultipleDepreturnin
Found invariant 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_evalSimpleMultipleDepbb1in___8
Found invariant 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb1in___4
Found invariant 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbbin___13
Found invariant Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbbin___2
Found invariant 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb3in___6
Found invariant Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location evalSimpleMultipleDepstop
Found invariant Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb2in___11
Found invariant Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb3in___3
Found invariant 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_evalSimpleMultipleDepbb3in___10
Found invariant Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 for location n_evalSimpleMultipleDepbb2in___7
Found invariant Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalSimpleMultipleDepbb2in___1
MPRF for transition 67:n_evalSimpleMultipleDepbb1in___4(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb3in___10(Arg_0+1,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3 of depth 1:
new bound:
Arg_2+1 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___10 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___5 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbbin___9 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbb2in___7 [Arg_2-Arg_1-1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 71:n_evalSimpleMultipleDepbb2in___7(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb3in___6(0,Arg_1+1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___10 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___5 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___9 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___7 [Arg_2-Arg_1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 75:n_evalSimpleMultipleDepbb3in___6(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbbin___5(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___10 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_2+1-Arg_1 ]
n_evalSimpleMultipleDepbbin___5 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___9 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___7 [Arg_2-Arg_1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 79:n_evalSimpleMultipleDepbbin___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb1in___4(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3 of depth 1:
new bound:
Arg_2+1 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___10 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___5 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbbin___9 [Arg_2-Arg_1-1 ]
n_evalSimpleMultipleDepbb2in___7 [Arg_2-Arg_1-1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 81:n_evalSimpleMultipleDepbbin___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb2in___7(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___10 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___5 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___9 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___7 [Arg_2-Arg_1-1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 68:n_evalSimpleMultipleDepbb1in___8(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb3in___10(Arg_0+1,Arg_1,Arg_2,Arg_3):|:2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3 of depth 1:
new bound:
Arg_2*Arg_3+Arg_3+1 {O(n^2)}
MPRF:
n_evalSimpleMultipleDepbb2in___7 [Arg_3 ]
n_evalSimpleMultipleDepbb3in___10 [Arg_3-Arg_0 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_3 ]
n_evalSimpleMultipleDepbbin___5 [Arg_3 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_3-Arg_0 ]
n_evalSimpleMultipleDepbbin___9 [Arg_3-Arg_0 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_3-Arg_0 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 72:n_evalSimpleMultipleDepbb3in___10(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbbin___9(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2*Arg_3+Arg_3+2 {O(n^2)}
MPRF:
n_evalSimpleMultipleDepbb2in___7 [Arg_3 ]
n_evalSimpleMultipleDepbb3in___10 [Arg_3+1-Arg_0 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_3 ]
n_evalSimpleMultipleDepbbin___5 [Arg_3 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_3 ]
n_evalSimpleMultipleDepbbin___9 [Arg_3-Arg_0 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_3-Arg_0 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 80:n_evalSimpleMultipleDepbbin___9(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb1in___8(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3 of depth 1:
new bound:
Arg_2*Arg_3+Arg_3+2 {O(n^2)}
MPRF:
n_evalSimpleMultipleDepbb2in___7 [Arg_3 ]
n_evalSimpleMultipleDepbb3in___10 [Arg_3+1-Arg_0 ]
n_evalSimpleMultipleDepbb3in___6 [Arg_3 ]
n_evalSimpleMultipleDepbbin___5 [Arg_3 ]
n_evalSimpleMultipleDepbb1in___4 [Arg_3 ]
n_evalSimpleMultipleDepbbin___9 [Arg_3+1-Arg_0 ]
n_evalSimpleMultipleDepbb1in___8 [Arg_3-Arg_0 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 69:n_evalSimpleMultipleDepbb2in___1(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb3in___3(0,Arg_1+1,Arg_2,Arg_3):|:Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2+1 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___3 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___2 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___1 [Arg_2-Arg_1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 74:n_evalSimpleMultipleDepbb3in___3(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbbin___2(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2+2 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___3 [Arg_2+1-Arg_1 ]
n_evalSimpleMultipleDepbbin___2 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___1 [Arg_2-Arg_1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
MPRF for transition 78:n_evalSimpleMultipleDepbbin___2(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalSimpleMultipleDepbb2in___1(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 of depth 1:
new bound:
Arg_2+1 {O(n)}
MPRF:
n_evalSimpleMultipleDepbb3in___3 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbbin___2 [Arg_2-Arg_1 ]
n_evalSimpleMultipleDepbb2in___1 [Arg_2-Arg_1-1 ]
Show Graph
G
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepbb3in
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepreturnin
evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin
t₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___13
n_evalSimpleMultipleDepbbin___13
evalSimpleMultipleDepbb3in->n_evalSimpleMultipleDepbbin___13
t₇₃
τ = Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin
evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in
t₁
η (Arg_0) = 0
η (Arg_1) = 0
evalSimpleMultipleDepstop
evalSimpleMultipleDepstop
evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop
t₈
τ = Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=Arg_1 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart
evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin
t₀
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb1in___12
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb3in___10
n_evalSimpleMultipleDepbb1in___12->n_evalSimpleMultipleDepbb3in___10
t₆₆
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 1+Arg_1<=Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4
n_evalSimpleMultipleDepbb1in___4->n_evalSimpleMultipleDepbb3in___10
t₆₇
η (Arg_0) = Arg_0+1
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8
n_evalSimpleMultipleDepbb1in___8->n_evalSimpleMultipleDepbb3in___10
t₆₈
η (Arg_0) = Arg_0+1
τ = 2<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb2in___1
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb3in___3
n_evalSimpleMultipleDepbb2in___1->n_evalSimpleMultipleDepbb3in___3
t₆₉
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11
n_evalSimpleMultipleDepbb2in___11->n_evalSimpleMultipleDepbb3in___3
t₇₀
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb2in___7
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb3in___6
n_evalSimpleMultipleDepbb2in___7->n_evalSimpleMultipleDepbb3in___6
t₇₁
η (Arg_0) = 0
η (Arg_1) = Arg_1+1
τ = Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbbin___9
n_evalSimpleMultipleDepbb3in___10->n_evalSimpleMultipleDepbbin___9
t₇₂
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 0<=Arg_0 && 1<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_3 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___3->evalSimpleMultipleDepreturnin
t₉₂
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbbin___2
n_evalSimpleMultipleDepbb3in___3->n_evalSimpleMultipleDepbbin___2
t₇₄
τ = Arg_3<=0 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && Arg_3<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbb3in___6->evalSimpleMultipleDepreturnin
t₉₃
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_2<=Arg_1
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbbin___5
n_evalSimpleMultipleDepbb3in___6->n_evalSimpleMultipleDepbbin___5
t₇₅
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 1<=Arg_2 && 2<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1+Arg_0<=Arg_3 && 0<=Arg_1 && 0<=Arg_0 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_1 && Arg_1<=Arg_2 && 0<=Arg_0 && 0<=Arg_1 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb1in___12
t₇₆
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___13->n_evalSimpleMultipleDepbb2in___11
t₇₇
τ = 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 1<=Arg_0+Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___2->n_evalSimpleMultipleDepbb2in___1
t₇₈
τ = Arg_3<=0 && 2+Arg_3<=Arg_2 && 1+Arg_3<=Arg_1 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
n_evalSimpleMultipleDepbbin___5->n_evalSimpleMultipleDepbb1in___4
t₇₉
τ = 1<=Arg_3 && 3<=Arg_2+Arg_3 && 2<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && 1+Arg_0<=Arg_3 && 2<=Arg_2 && 3<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 2+Arg_0<=Arg_2 && 1<=Arg_1 && 1<=Arg_0+Arg_1 && 1+Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 1<=Arg_3 && 1+Arg_1<=Arg_2 && 1<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb1in___8
t₈₀
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_3
n_evalSimpleMultipleDepbbin___9->n_evalSimpleMultipleDepbb2in___7
t₈₁
τ = 1<=Arg_3 && 2<=Arg_2+Arg_3 && 1<=Arg_1+Arg_3 && 2<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1<=Arg_2 && 1<=Arg_1+Arg_2 && 1+Arg_1<=Arg_2 && 2<=Arg_0+Arg_2 && 0<=Arg_1 && 1<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_0<=Arg_3 && 1+Arg_1<=Arg_2 && 0<=Arg_1 && 1<=Arg_0 && Arg_3<=Arg_0 && 0<=Arg_1 && 0<=Arg_0 && 1+Arg_1<=Arg_2
CFR did not improve the program. Rolling back
All Bounds
Timebounds
Overall timebound:3*Arg_2*Arg_3+3*Arg_2+3*Arg_3+5 {O(n^2)}
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in: Arg_2*Arg_3+Arg_3 {O(n^2)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in: Arg_2 {O(n)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin: Arg_2*Arg_3+Arg_2+Arg_3+1 {O(n^2)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin: 1 {O(1)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in: Arg_2*Arg_3+Arg_3 {O(n^2)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in: Arg_2 {O(n)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in: 1 {O(1)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop: 1 {O(1)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin: 1 {O(1)}
Costbounds
Overall costbound: 3*Arg_2*Arg_3+3*Arg_2+3*Arg_3+5 {O(n^2)}
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in: Arg_2*Arg_3+Arg_3 {O(n^2)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in: Arg_2 {O(n)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin: Arg_2*Arg_3+Arg_2+Arg_3+1 {O(n^2)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin: 1 {O(1)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in: Arg_2*Arg_3+Arg_3 {O(n^2)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in: Arg_2 {O(n)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in: 1 {O(1)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop: 1 {O(1)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin: 1 {O(1)}
Sizebounds
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in, Arg_0: Arg_2*Arg_3+Arg_3 {O(n^2)}
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in, Arg_1: Arg_2 {O(n)}
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in, Arg_2: Arg_2 {O(n)}
6: evalSimpleMultipleDepbb1in->evalSimpleMultipleDepbb3in, Arg_3: Arg_3 {O(n)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in, Arg_0: 0 {O(1)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in, Arg_1: Arg_2 {O(n)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in, Arg_2: Arg_2 {O(n)}
7: evalSimpleMultipleDepbb2in->evalSimpleMultipleDepbb3in, Arg_3: Arg_3 {O(n)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin, Arg_0: Arg_2*Arg_3+Arg_3 {O(n^2)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin, Arg_1: Arg_2 {O(n)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin, Arg_2: Arg_2 {O(n)}
2: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepbbin, Arg_3: Arg_3 {O(n)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin, Arg_0: 0 {O(1)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin, Arg_1: Arg_2 {O(n)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin, Arg_2: 2*Arg_2 {O(n)}
3: evalSimpleMultipleDepbb3in->evalSimpleMultipleDepreturnin, Arg_3: 2*Arg_3 {O(n)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in, Arg_0: Arg_2*Arg_3+Arg_3 {O(n^2)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in, Arg_1: Arg_2 {O(n)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in, Arg_2: Arg_2 {O(n)}
4: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb1in, Arg_3: Arg_3 {O(n)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in, Arg_0: Arg_2*Arg_3+Arg_3 {O(n^2)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in, Arg_1: Arg_2 {O(n)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in, Arg_2: Arg_2 {O(n)}
5: evalSimpleMultipleDepbbin->evalSimpleMultipleDepbb2in, Arg_3: Arg_3 {O(n)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in, Arg_0: 0 {O(1)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in, Arg_1: 0 {O(1)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in, Arg_2: Arg_2 {O(n)}
1: evalSimpleMultipleDepentryin->evalSimpleMultipleDepbb3in, Arg_3: Arg_3 {O(n)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop, Arg_0: 0 {O(1)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop, Arg_1: Arg_2 {O(n)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop, Arg_2: 2*Arg_2 {O(n)}
8: evalSimpleMultipleDepreturnin->evalSimpleMultipleDepstop, Arg_3: 2*Arg_3 {O(n)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin, Arg_0: Arg_0 {O(n)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin, Arg_1: Arg_1 {O(n)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin, Arg_2: Arg_2 {O(n)}
0: evalSimpleMultipleDepstart->evalSimpleMultipleDepentryin, Arg_3: Arg_3 {O(n)}