Initial Problem

Start: n_f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars: B_P, NoDet0, NoDet1, NoDet2
Locations: n_f0, n_f17___1, n_f17___2, n_f17___3
Transitions:
0:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f17___1(NoDet0,-1,Arg_2,0,NoDet1,NoDet2)
1:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f17___2(NoDet0,B_P,NoDet1,Arg_3,Arg_4,Arg_5):|:0<=B_P
2:n_f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_f17___3(NoDet0,B_P,NoDet1,Arg_3,Arg_4,Arg_5):|:2+B_P<=0

Preprocessing

Eliminate variables {NoDet0,NoDet1,NoDet2,Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5} that do not contribute to the problem

Problem after Preprocessing

Start: n_f0
Program_Vars:
Temp_Vars: B_P
Locations: n_f0, n_f17___1, n_f17___2, n_f17___3
Transitions:
4:n_f0 -> n_f17___1
5:n_f0 -> n_f17___2:|:0<=B_P
6:n_f0 -> n_f17___3:|:2+B_P<=0

All Bounds

Timebounds

Overall timebound:3 {O(1)}
4: n_f0->n_f17___1: 1 {O(1)}
5: n_f0->n_f17___2: 1 {O(1)}
6: n_f0->n_f17___3: 1 {O(1)}

Costbounds

Overall costbound: 3 {O(1)}
4: n_f0->n_f17___1: 1 {O(1)}
5: n_f0->n_f17___2: 1 {O(1)}
6: n_f0->n_f17___3: 1 {O(1)}

Sizebounds