Initial Problem

Start: n_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, Arg_13, Arg_14, Arg_15, Arg_16, Arg_17, Arg_18, Arg_19, Arg_20, Arg_21, Arg_22, Arg_23, Arg_24, Arg_25, Arg_26, Arg_27, Arg_28, Arg_29, Arg_30, Arg_31, Arg_32, Arg_33, Arg_34, Arg_35, Arg_36, Arg_37, Arg_38, Arg_39, Arg_40, Arg_41, Arg_42, Arg_43, Arg_44, Arg_45, Arg_46, Arg_47
Temp_Vars: A1_P, B1_P, B_P, C1_P, C_P, D1_P, D_P, E_P, F1_P, F_P, G1_P, H1_P, H_P, I1_P, I_P, J1_P, J_P, K_P, L1_P, L_P, M1_P, N1_P, N_P, O1_P, O_P, P1_P, P_P, Q_P, R1_P, R_P, S1_P, T1_P, T_P, U1_P, U_P, V1_P, V_P, W_P, X_P, Z_P
Locations: n_f0, n_f75___1
Transitions:
0:n_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,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30,Arg_31,Arg_32,Arg_33,Arg_34,Arg_35,Arg_36,Arg_37,Arg_38,Arg_39,Arg_40,Arg_41,Arg_42,Arg_43,Arg_44,Arg_45,Arg_46,Arg_47) -> n_f75___1(2,A1_P,B_P,B1_P,C_P,C1_P,D_P,D1_P,E_P,2,F_P,F1_P,2,G1_P,H_P,H1_P,I_P,I1_P,J_P,J1_P,K_P,2,L_P,L1_P,2,M1_P,N_P,N1_P,O_P,O1_P,P_P,P1_P,Q_P,2,R_P,R1_P,2,S1_P,T_P,T1_P,U_P,U1_P,V_P,V1_P,W_P,X_P,2,Z_P):|:R1_P<=U1_P && U1_P<=R1_P && Z_P<=D1_P && D1_P<=Z_P && Z_P<=C1_P && C1_P<=Z_P && Z_P<=B1_P && B1_P<=Z_P && Z_P<=A1_P && A1_P<=Z_P && R1_P<=T1_P && T1_P<=R1_P && T_P<=X_P && X_P<=T_P && T_P<=W_P && W_P<=T_P && T_P<=V_P && V_P<=T_P && T_P<=U_P && U_P<=T_P && R1_P<=S1_P && S1_P<=R1_P && N_P<=R_P && R_P<=N_P && N_P<=Q_P && Q_P<=N_P && N_P<=P_P && P_P<=N_P && N_P<=O_P && O_P<=N_P && F1_P<=G1_P && G1_P<=F1_P && H_P<=L_P && L_P<=H_P && H_P<=K_P && K_P<=H_P && H_P<=J_P && J_P<=H_P && H_P<=I_P && I_P<=H_P && B_P<=F_P && F_P<=B_P && B_P<=E_P && E_P<=B_P && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P && L1_P<=P1_P && P1_P<=L1_P && L1_P<=O1_P && O1_P<=L1_P && L1_P<=N1_P && N1_P<=L1_P && L1_P<=M1_P && M1_P<=L1_P && R1_P<=V1_P && V1_P<=R1_P && F1_P<=J1_P && J1_P<=F1_P && F1_P<=I1_P && I1_P<=F1_P && F1_P<=H1_P && H1_P<=F1_P

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,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22,Arg_23,Arg_24,Arg_25,Arg_26,Arg_27,Arg_28,Arg_29,Arg_30,Arg_31,Arg_32,Arg_33,Arg_34,Arg_35,Arg_36,Arg_37,Arg_38,Arg_39,Arg_40,Arg_41,Arg_42,Arg_43,Arg_44,Arg_45,Arg_46,Arg_47} that do not contribute to the problem

Problem after Preprocessing

Start: n_f0
Program_Vars:
Temp_Vars: A1_P, B1_P, B_P, C1_P, C_P, D1_P, D_P, E_P, F1_P, F_P, G1_P, H1_P, H_P, I1_P, I_P, J1_P, J_P, K_P, L1_P, L_P, M1_P, N1_P, N_P, O1_P, O_P, P1_P, P_P, Q_P, R1_P, R_P, S1_P, T1_P, T_P, U1_P, U_P, V1_P, V_P, W_P, X_P, Z_P
Locations: n_f0, n_f75___1
Transitions:
2:n_f0 -> n_f75___1:|:R1_P<=U1_P && U1_P<=R1_P && Z_P<=D1_P && D1_P<=Z_P && Z_P<=C1_P && C1_P<=Z_P && Z_P<=B1_P && B1_P<=Z_P && Z_P<=A1_P && A1_P<=Z_P && R1_P<=T1_P && T1_P<=R1_P && T_P<=X_P && X_P<=T_P && T_P<=W_P && W_P<=T_P && T_P<=V_P && V_P<=T_P && T_P<=U_P && U_P<=T_P && R1_P<=S1_P && S1_P<=R1_P && N_P<=R_P && R_P<=N_P && N_P<=Q_P && Q_P<=N_P && N_P<=P_P && P_P<=N_P && N_P<=O_P && O_P<=N_P && F1_P<=G1_P && G1_P<=F1_P && H_P<=L_P && L_P<=H_P && H_P<=K_P && K_P<=H_P && H_P<=J_P && J_P<=H_P && H_P<=I_P && I_P<=H_P && B_P<=F_P && F_P<=B_P && B_P<=E_P && E_P<=B_P && B_P<=D_P && D_P<=B_P && B_P<=C_P && C_P<=B_P && L1_P<=P1_P && P1_P<=L1_P && L1_P<=O1_P && O1_P<=L1_P && L1_P<=N1_P && N1_P<=L1_P && L1_P<=M1_P && M1_P<=L1_P && R1_P<=V1_P && V1_P<=R1_P && F1_P<=J1_P && J1_P<=F1_P && F1_P<=I1_P && I1_P<=F1_P && F1_P<=H1_P && H1_P<=F1_P

All Bounds

Timebounds

Overall timebound:1 {O(1)}
2: n_f0->n_f75___1: 1 {O(1)}

Costbounds

Overall costbound: 1 {O(1)}
2: n_f0->n_f75___1: 1 {O(1)}

Sizebounds