Initial Problem

Start: l0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: l0, l1
Transitions:
0:l0(Arg_0,Arg_1,Arg_2,Arg_3) -> l1(Arg_0,Arg_1,Arg_2,Arg_3)
1:l1(Arg_0,Arg_1,Arg_2,Arg_3) -> l1(2*Arg_0+Arg_1,Arg_2,Arg_2+1,Arg_3):|:0<=Arg_0+Arg_1 && Arg_0<=Arg_3

Preprocessing

Problem after Preprocessing

Start: l0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: l0, l1
Transitions:
0:l0(Arg_0,Arg_1,Arg_2,Arg_3) -> l1(Arg_0,Arg_1,Arg_2,Arg_3)
1:l1(Arg_0,Arg_1,Arg_2,Arg_3) -> l1(2*Arg_0+Arg_1,Arg_2,Arg_2+1,Arg_3):|:0<=Arg_0+Arg_1 && Arg_0<=Arg_3

MPRF for transition 1:l1(Arg_0,Arg_1,Arg_2,Arg_3) -> l1(2*Arg_0+Arg_1,Arg_2,Arg_2+1,Arg_3):|:0<=Arg_0+Arg_1 && Arg_0<=Arg_3 of depth 3:

new bound:

54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82 {O(n)}

MPRF:

l1 [2-Arg_0-Arg_2 ; Arg_2+Arg_3+1-Arg_0-Arg_1 ; Arg_1+Arg_3 ]

All Bounds

Timebounds

Overall timebound:54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+83 {O(n)}
0: l0->l1: 1 {O(1)}
1: l1->l1: 54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82 {O(n)}

Costbounds

Overall costbound: 54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+83 {O(n)}
0: l0->l1: 1 {O(1)}
1: l1->l1: 54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82 {O(n)}

Sizebounds

0: l0->l1, Arg_0: Arg_0 {O(n)}
0: l0->l1, Arg_1: Arg_1 {O(n)}
0: l0->l1, Arg_2: Arg_2 {O(n)}
0: l0->l1, Arg_3: Arg_3 {O(n)}
1: l1->l1, Arg_0: 2916*2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*Arg_0*Arg_0+2916*2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*Arg_3*Arg_3+2970*2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*Arg_1*Arg_1+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*3024*Arg_2*Arg_2+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5832*Arg_0*Arg_3+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5886*Arg_0*Arg_1+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5886*Arg_1*Arg_3+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5940*Arg_0*Arg_2+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5940*Arg_2*Arg_3+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*5994*Arg_1*Arg_2+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*6806+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*8910*Arg_3+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*8911*Arg_0+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*8993*Arg_1+2^(54*Arg_0+54*Arg_1+54*Arg_2+54*Arg_3+82)*9076*Arg_2 {O(EXP)}
1: l1->l1, Arg_1: 54*Arg_0+54*Arg_1+54*Arg_3+56*Arg_2+82 {O(n)}
1: l1->l1, Arg_2: 54*Arg_0+54*Arg_1+54*Arg_3+55*Arg_2+82 {O(n)}
1: l1->l1, Arg_3: Arg_3 {O(n)}