Initial Problem

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10, Arg_11, Arg_12
Temp_Vars: N, O, P, Q, R, S, T, U
Locations: f0, f1, f2, f4
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12)
3:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f1(O,P,N,2,Q,O,P,N,2,Q,1,Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
1:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f2(0,O,P,3,N,0,O,P,3,N,2,Arg_11,Arg_12):|:N<=7 && 1<=N
4:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f1(O,P,N,2,Q,O,P,N,2,Q,1,Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
7:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f4(O,P,N,Q,2,O,P,N,Q,2,4,Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
8:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f4(O,P,N,Q,7,O,P,N,Q,7,4,Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
5:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f1(O,P,N,2,Q,O,P,N,2,Q,1,Arg_11,Arg_12):|:Arg_11<=R && Arg_12<=S && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
6:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f1(O,P,N,2,Q,O,P,N,2,Q,1,Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
2:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12) -> f2(0,O,P,N,Q,0,O,P,N,Q,2,Arg_11,Arg_12):|:1<=Arg_11 && P+1<=Arg_11 && 1<=Arg_12 && O+1<=Arg_12 && Q<=7 && N<=7 && 1<=Q && 1<=N

Preprocessing

Eliminate variables {Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10} that do not contribute to the problem

Problem after Preprocessing

Start: f0
Program_Vars: Arg_11, Arg_12
Temp_Vars: N, O, P, Q, R, S, T, U
Locations: f0, f1, f2, f4
Transitions:
18:f0(Arg_11,Arg_12) -> f1(Arg_11,Arg_12)
20:f1(Arg_11,Arg_12) -> f1(Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
19:f1(Arg_11,Arg_12) -> f2(Arg_11,Arg_12):|:N<=7 && 1<=N
21:f2(Arg_11,Arg_12) -> f1(Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
22:f2(Arg_11,Arg_12) -> f4(Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
23:f2(Arg_11,Arg_12) -> f4(Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
25:f4(Arg_11,Arg_12) -> f1(Arg_11,Arg_12):|:Arg_11<=R && Arg_12<=S && 1<=T && T<=7 && 1<=U && U<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
26:f4(Arg_11,Arg_12) -> f1(Arg_11,Arg_12):|:1<=R && R<=7 && 1<=S && S<=7 && 1<=Q && Q<=7 && O<=1 && 0<=O
24:f4(Arg_11,Arg_12) -> f2(Arg_11,Arg_12):|:1<=Arg_11 && P+1<=Arg_11 && 1<=Arg_12 && O+1<=Arg_12 && Q<=7 && N<=7 && 1<=Q && 1<=N

All Bounds

Timebounds

Overall timebound:inf {Infinity}
18: f0->f1: 1 {O(1)}
19: f1->f2: inf {Infinity}
20: f1->f1: inf {Infinity}
21: f2->f1: inf {Infinity}
22: f2->f4: inf {Infinity}
23: f2->f4: inf {Infinity}
24: f4->f2: inf {Infinity}
25: f4->f1: inf {Infinity}
26: f4->f1: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
18: f0->f1: 1 {O(1)}
19: f1->f2: inf {Infinity}
20: f1->f1: inf {Infinity}
21: f2->f1: inf {Infinity}
22: f2->f4: inf {Infinity}
23: f2->f4: inf {Infinity}
24: f4->f2: inf {Infinity}
25: f4->f1: inf {Infinity}
26: f4->f1: inf {Infinity}

Sizebounds

18: f0->f1, Arg_11: Arg_11 {O(n)}
18: f0->f1, Arg_12: Arg_12 {O(n)}
19: f1->f2, Arg_11: 2*Arg_11 {O(n)}
19: f1->f2, Arg_12: 2*Arg_12 {O(n)}
20: f1->f1, Arg_11: 2*Arg_11 {O(n)}
20: f1->f1, Arg_12: 2*Arg_12 {O(n)}
21: f2->f1, Arg_11: 2*Arg_11 {O(n)}
21: f2->f1, Arg_12: 2*Arg_12 {O(n)}
22: f2->f4, Arg_11: 2*Arg_11 {O(n)}
22: f2->f4, Arg_12: 2*Arg_12 {O(n)}
23: f2->f4, Arg_11: 2*Arg_11 {O(n)}
23: f2->f4, Arg_12: 2*Arg_12 {O(n)}
24: f4->f2, Arg_11: 2*Arg_11 {O(n)}
24: f4->f2, Arg_12: 2*Arg_12 {O(n)}
25: f4->f1, Arg_11: 2*Arg_11 {O(n)}
25: f4->f1, Arg_12: 2*Arg_12 {O(n)}
26: f4->f1, Arg_11: 2*Arg_11 {O(n)}
26: f4->f1, Arg_12: 2*Arg_12 {O(n)}