Trying to load file: main.koat

Initial Control flow graph problem:
  Start location: f3
      0: f15 -> f18 : A'=1, [], cost: 1
      2: f18 -> f29 : A'=5, E'=free_4, G'=1+G, [ 0>=G && free_4>=1 ], cost: 1
      3: f18 -> f29 : A'=6, E'=free_5, G'=-1+G, [ 0>=G && 0>=free_5 ], cost: 1
      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
      4: f29 -> f18 : A'=1, K'=free_6, [ 0>=free_6 && 0>=J ], cost: 1
      5: f29 -> f18 : A'=1, J'=1, K'=free_7, L'=D, M'=E, N'=A, O'=F, P'=G, Q_1'=H, [ free_7>=1 && 0>=J ], cost: 1
     65: f29 -> f666666 : Q2_1'=0, R2'=0, [ J>=1 ], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
      7: f55 -> f58 : R'=1, [], cost: 1
      8: f58 -> f58 : R'=1, S'=1+S, T'=free_9, [ 0>=S && free_9>=1 ], cost: 1
      9: f58 -> f58 : R'=1, S'=-1+S, T'=free_10, [ 0>=S && 0>=free_10 ], cost: 1
     11: f58 -> f74 : R'=9, V'=free_12, [ 0>=S ], cost: 1
     10: f102 -> f74 : R'=9, V'=free_11, [ U>=1 ], cost: 1
     22: f102 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
     13: f74 -> f80 : R'=10, W'=0, Y'=V, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, [ V>=1 ], cost: 1
     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
     14: f80 -> f87 : U'=1, E1'=1, [ B1>=1 ], cost: 1
     15: f80 -> f87 : U'=0, E1'=0, [ 0>=B1 ], cost: 1
     17: f87 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
     19: f87 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ U>=1 ], cost: 1
     16: f117 -> f123 : F1'=G1, [ U>=1 ], cost: 1
     25: f117 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     20: f95 -> f102 : U'=1, N1'=1, [ K1>=1 ], cost: 1
     21: f95 -> f102 : U'=0, N1'=0, [ 0>=K1 ], cost: 1
     23: f107 -> f117 : U'=1, O1'=V, P1'=T, Q1_1'=R, R1'=W, S1'=S, T1'=X, U1'=1, [ W>=1 ], cost: 1
     24: f107 -> f117 : U'=0, O1'=V, P1'=T, Q1_1'=R, R1'=W, S1'=S, T1'=X, U1'=0, [ 0>=W ], cost: 1
     33: f151 -> f164 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, X1'=10, Y1'=0, [ V1>=1 ], cost: 1
     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
     28: f132 -> f135 : X1'=1, [], cost: 1
     32: f135 -> f151 : V1'=free_16, X1'=9, [ 0>=Z1 ], cost: 1
     29: f135 -> f135 : W1'=free_13, X1'=1, Z1'=1+Z1, [ 0>=Z1 && free_13>=1 ], cost: 1
     30: f135 -> f135 : W1'=free_14, X1'=1, Z1'=-1+Z1, [ 0>=Z1 && 0>=free_14 ], cost: 1
     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
     40: f179 -> f200 : F1'=0, B2'=0, [ 0>=U ], cost: 1
     35: f164 -> f200 : F1'=0, B2'=0, [ 0>=U ], cost: 1
     37: f164 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ U>=1 ], cost: 1
     34: f194 -> f200 : F1'=B2, [ U>=1 ], cost: 1
     43: f194 -> f200 : F1'=0, B2'=0, [ 0>=U ], cost: 1
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
     66: f200 -> f666666 : Q2_1'=0, R2'=0, [ 0>=F1 && Q>=1 ], cost: 1
     38: f172 -> f179 : U'=1, N1'=1, [ K1>=1 ], cost: 1
     39: f172 -> f179 : U'=0, N1'=0, [ 0>=K1 ], cost: 1
     41: f184 -> f194 : U'=1, O1'=V1, P1'=W1, Q1_1'=X1, R1'=Y1, S1'=Z1, T1'=A2, U1'=1, [ Y1>=1 ], cost: 1
     42: f184 -> f194 : U'=0, O1'=V1, P1'=W1, Q1_1'=X1, R1'=Y1, S1'=Z1, T1'=A2, U1'=0, [ 0>=Y1 ], cost: 1
     46: f223 -> f226 : J2'=1, [], cost: 1
     47: f226 -> f226 : J2'=1, K2'=1+K2, L2'=free_21, [ 0>=K2 && free_21>=1 ], cost: 1
     48: f226 -> f226 : J2'=1, K2'=-1+K2, L2'=free_22, [ 0>=K2 && 0>=free_22 ], cost: 1
     51: f226 -> f242 : J2'=9, M2'=free_25, [ 0>=K2 ], cost: 1
     49: f270 -> f242 : J2'=9, M2'=free_23, [ U>=1 ], cost: 1
     59: f270 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
     52: f242 -> f255 : U'=0, Y'=M2, Z'=L2, A1'=10, B1'=0, C1'=K2, D1'=O2, E1'=0, J2'=10, N2'=0, [ M2>=1 ], cost: 1
     55: f242 -> f263 : H1'=M2, Q1'=L2, J1'=J2, K1'=N2, L1'=K2, M1'=O2, [ 0>=M2 ], cost: 1
     50: f219 -> f242 : J2'=9, K2'=G, L2'=E, M2'=free_24, N2'=F, O2'=H, [], cost: 1
     54: f255 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
     56: f255 -> f263 : H1'=M2, Q1'=L2, J1'=J2, K1'=N2, L1'=K2, M1'=O2, [ U>=1 ], cost: 1
     53: f285 -> f291 : F1'=P2, [ U>=1 ], cost: 1
     62: f285 -> f291 : F1'=0, P2'=0, [ 0>=U ], cost: 1
     63: f291 -> f666666 : R2'=Q2_1, [ Q2_1>=2 && 0>=F1 ], cost: 1
     64: f291 -> f666666 : R2'=Q2_1, [ 0>=Q2_1 && 0>=F1 ], cost: 1
     57: f263 -> f270 : U'=1, N1'=1, [ K1>=1 ], cost: 1
     58: f263 -> f270 : U'=0, N1'=0, [ 0>=K1 ], cost: 1
     60: f275 -> f285 : U'=1, O1'=M2, P1'=L2, Q1_1'=J2, R1'=N2, S1'=K2, T1'=O2, U1'=1, [ N2>=1 ], cost: 1
     61: f275 -> f285 : U'=0, O1'=M2, P1'=L2, Q1_1'=J2, R1'=N2, S1'=K2, T1'=O2, U1'=0, [ 0>=N2 ], cost: 1


Simplified the transitions:
  Start location: f3
      2: f18 -> f29 : A'=5, E'=free_4, G'=1+G, [ 0>=G && free_4>=1 ], cost: 1
      3: f18 -> f29 : A'=6, E'=free_5, G'=-1+G, [ 0>=G && 0>=free_5 ], cost: 1
      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
      4: f29 -> f18 : A'=1, K'=free_6, [ 0>=free_6 && 0>=J ], cost: 1
      5: f29 -> f18 : A'=1, J'=1, K'=free_7, L'=D, M'=E, N'=A, O'=F, P'=G, Q_1'=H, [ free_7>=1 && 0>=J ], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     10: f102 -> f74 : R'=9, V'=free_11, [ U>=1 ], cost: 1
     22: f102 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
     13: f74 -> f80 : R'=10, W'=0, Y'=V, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, [ V>=1 ], cost: 1
     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
     14: f80 -> f87 : U'=1, E1'=1, [ B1>=1 ], cost: 1
     15: f80 -> f87 : U'=0, E1'=0, [ 0>=B1 ], cost: 1
     17: f87 -> f123 : F1'=0, G1'=0, [ 0>=U ], cost: 1
     19: f87 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ U>=1 ], cost: 1
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     20: f95 -> f102 : U'=1, N1'=1, [ K1>=1 ], cost: 1
     21: f95 -> f102 : U'=0, N1'=0, [ 0>=K1 ], cost: 1
     33: f151 -> f164 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, X1'=10, Y1'=0, [ V1>=1 ], cost: 1
     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
     31: f179 -> f151 : V1'=free_15, X1'=9, [ U>=1 ], cost: 1
     40: f179 -> f200 : F1'=0, B2'=0, [ 0>=U ], cost: 1
     35: f164 -> f200 : F1'=0, B2'=0, [ 0>=U ], cost: 1
     37: f164 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ U>=1 ], cost: 1
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
     38: f172 -> f179 : U'=1, N1'=1, [ K1>=1 ], cost: 1
     39: f172 -> f179 : U'=0, N1'=0, [ 0>=K1 ], cost: 1


Applied chaining over branches and pruning:
  Start location: f3
     67: f18 -> f18 : A'=1, E'=free_4, G'=1+G, K'=free_6, [ 0>=G && free_4>=1 && 0>=free_6 && 0>=J ], cost: 2
     68: f18 -> f18 : A'=1, E'=free_4, G'=1+G, J'=1, K'=free_7, L'=D, M'=free_4, N'=5, O'=F, P'=1+G, Q_1'=H, [ 0>=G && free_4>=1 && free_7>=1 && 0>=J ], cost: 2
     69: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, K'=free_6, [ 0>=G && 0>=free_5 && 0>=free_6 && 0>=J ], cost: 2
     70: f18 -> f18 : A'=1, E'=free_5, G'=-1+G, J'=1, K'=free_7, L'=D, M'=free_5, N'=6, O'=F, P'=-1+G, Q_1'=H, [ 0>=G && 0>=free_5 && free_7>=1 && 0>=J ], cost: 2
      6: f18 -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     13: f74 -> f80 : R'=10, W'=0, Y'=V, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, [ V>=1 ], cost: 1
     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
     71: f80 -> f95 : U'=1, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ B1>=1 && 1>=1 ], cost: 2
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     76: f95 -> f74 : R'=9, U'=1, V'=free_11, N1'=1, [ K1>=1 && 1>=1 ], cost: 2
     77: f95 -> f123 : U'=0, F1'=0, G1'=0, N1'=0, [ 0>=K1 && 0>=0 ], cost: 2
     73: f151 -> f200 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, [ V1>=1 && 0>=0 ], cost: 2
     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
     74: f172 -> f151 : U'=1, N1'=1, V1'=free_15, X1'=9, [ K1>=1 && 1>=1 ], cost: 2
     75: f172 -> f200 : U'=0, F1'=0, N1'=0, B2'=0, [ 0>=K1 && 0>=0 ], cost: 2

Eliminating 4 self-loops for location f18
  Self-Loop 67 has the metering function: 1-G, resulting in the new transition 78.
  Self-Loop 69 has unbounded runtime, resulting in the new transition 80.
  Removing the self-loops: 67 68 69 70.
Adding an epsilon transition (to model nonexecution of the loops): 82.

Removed all Self-loops using metering functions (where possible):
  Start location: f3
     78: f18 -> [35] : A'=1, E'=free_4, G'=1, K'=free_6, [ 0>=G && free_4>=1 && 0>=free_6 && 0>=J ], cost: 2-2*G
     79: f18 -> [35] : A'=1, E'=free_4, G'=1+G, J'=1, K'=free_7, L'=D, M'=free_4, N'=5, O'=F, P'=1+G, Q_1'=H, [ 0>=G && free_4>=1 && free_7>=1 && 0>=J ], cost: 2
     80: f18 -> [35] : [ 0>=G && 0>=free_5 && 0>=free_6 && 0>=J ], cost: INF
     81: f18 -> [35] : A'=1, E'=free_5, G'=-1+G, J'=1, K'=free_7, L'=D, M'=free_5, N'=6, O'=F, P'=-1+G, Q_1'=H, [ 0>=G && 0>=free_5 && free_7>=1 && 0>=J ], cost: 2
     82: f18 -> [35] : [], cost: 0
      1: f3 -> f18 : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     13: f74 -> f80 : R'=10, W'=0, Y'=V, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, [ V>=1 ], cost: 1
     18: f74 -> f95 : H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ 0>=V ], cost: 1
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
     71: f80 -> f95 : U'=1, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ B1>=1 && 1>=1 ], cost: 2
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     76: f95 -> f74 : R'=9, U'=1, V'=free_11, N1'=1, [ K1>=1 && 1>=1 ], cost: 2
     77: f95 -> f123 : U'=0, F1'=0, G1'=0, N1'=0, [ 0>=K1 && 0>=0 ], cost: 2
     73: f151 -> f200 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, [ V1>=1 && 0>=0 ], cost: 2
     36: f151 -> f172 : H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, [ 0>=V1 ], cost: 1
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
     74: f172 -> f151 : U'=1, N1'=1, V1'=free_15, X1'=9, [ K1>=1 && 1>=1 ], cost: 2
     75: f172 -> f200 : U'=0, F1'=0, N1'=0, B2'=0, [ 0>=K1 && 0>=0 ], cost: 2
      6: [35] -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1


Applied chaining over branches and pruning:
  Start location: f3
     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     84: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 ], cost: 3
     85: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 ], cost: INF
     86: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 ], cost: 3
     87: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
     71: f80 -> f95 : U'=1, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ B1>=1 && 1>=1 ], cost: 2
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     90: f95 -> f80 : R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, [ K1>=1 && 1>=1 && free_11>=1 ], cost: 3
     77: f95 -> f123 : U'=0, F1'=0, G1'=0, N1'=0, [ 0>=K1 && 0>=0 ], cost: 2
     91: f95 -> f95 : R'=9, U'=1, V'=free_11, H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, [ K1>=1 && 1>=1 && 0>=free_11 ], cost: 3
     88: f151 -> f151 : U'=1, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=9, [ 0>=V1 && Y1>=1 && 1>=1 ], cost: 3
     73: f151 -> f200 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, [ V1>=1 && 0>=0 ], cost: 2
     89: f151 -> f200 : U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, [ 0>=V1 && 0>=Y1 && 0>=0 ], cost: 3
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
      6: [35] -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1

Eliminating 1 self-loops for location f95
  Removing the self-loops: 91.
Adding an epsilon transition (to model nonexecution of the loops): 93.
Eliminating 1 self-loops for location f151
  Removing the self-loops: 88.
Adding an epsilon transition (to model nonexecution of the loops): 95.

Removed all Self-loops using metering functions (where possible):
  Start location: f3
     83: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     84: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 ], cost: 3
     85: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 ], cost: INF
     86: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 ], cost: 3
     87: f3 -> [35] : A'=1, B'=0, C'=0, D'=free, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [], cost: 1
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
     71: f80 -> f95 : U'=1, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ B1>=1 && 1>=1 ], cost: 2
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
     92: f95 -> [36] : R'=9, U'=1, V'=free_11, H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, [ K1>=1 && 0>=free_11 ], cost: 3
     93: f95 -> [36] : [], cost: 0
     94: f151 -> [37] : U'=1, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=9, [ 0>=V1 && Y1>=1 ], cost: 3
     95: f151 -> [37] : [], cost: 0
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
      6: [35] -> f48 : A'=9, D'=free_8, [ 0>=G ], cost: 1
     90: [36] -> f80 : R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, [ K1>=1 && 1>=1 && free_11>=1 ], cost: 3
     77: [36] -> f123 : U'=0, F1'=0, G1'=0, N1'=0, [ 0>=K1 && 0>=0 ], cost: 2
     73: [37] -> f200 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, [ V1>=1 && 0>=0 ], cost: 2
     89: [37] -> f200 : U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, [ 0>=V1 && 0>=Y1 && 0>=0 ], cost: 3


Applied chaining over branches and pruning:
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
    101: f80 -> [36] : R'=9, U'=1, V'=free_11, E1'=1, H1'=free_11, Q1'=T, J1'=9, K1'=W, L1'=S, M1'=X, N1'=1, [ B1>=1 && 1>=1 && W>=1 && 0>=free_11 ], cost: 5
    102: f80 -> [36] : U'=1, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, [ B1>=1 && 1>=1 ], cost: 2
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
    103: f151 -> f200 : U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 ], cost: 5
    104: f151 -> f200 : U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, [ V1>=1 && 0>=0 ], cost: 2
    105: f151 -> f200 : U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, [ 0>=V1 && 0>=Y1 && 0>=0 ], cost: 3
     44: f200 -> f48 : A'=9, D'=free_17, C2'=free_18, [ 0>=Q && 0>=F1 && 0>=free_18 ], cost: 1
     45: f200 -> f48 : A'=9, D'=free_19, Q'=1, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=Q && 0>=F1 && free_20>=1 ], cost: 1
     90: [36] -> f80 : R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, N1'=1, [ K1>=1 && 1>=1 && free_11>=1 ], cost: 3
     77: [36] -> f123 : U'=0, F1'=0, G1'=0, N1'=0, [ 0>=K1 && 0>=0 ], cost: 2


Applied chaining over branches and pruning:
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
    106: f80 -> f80 : R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=1, [ B1>=1 && 1>=1 && W>=1 && 1>=1 && free_11>=1 ], cost: 5
     72: f80 -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
    107: f80 -> f123 : U'=0, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, [ B1>=1 && 1>=1 && 0>=W && 0>=0 ], cost: 4
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
    108: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 6
    109: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 6
    110: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 3
    111: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 3
    113: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && 0>=Y1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 4

Eliminating 1 self-loops for location f80
  Removing the self-loops: 106.
Adding an epsilon transition (to model nonexecution of the loops): 115.

Removed all Self-loops using metering functions (where possible):
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     12: f48 -> f80 : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
    114: f80 -> [39] : R'=10, U'=1, V'=free_11, W'=0, Y'=free_11, Z'=T, A1'=10, B1'=0, C1'=S, D1'=X, E1'=1, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=1, [ B1>=1 && W>=1 && free_11>=1 ], cost: 5
    115: f80 -> [39] : [], cost: 0
     27: f123 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=F1 ], cost: 1
    108: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 6
    109: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 6
    110: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 3
    111: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 3
    113: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && 0>=Y1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 4
     72: [39] -> f123 : U'=0, E1'=0, F1'=0, G1'=0, [ 0>=B1 && 0>=0 ], cost: 2
    107: [39] -> f123 : U'=0, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, [ B1>=1 && 1>=1 && 0>=W && 0>=0 ], cost: 4


Applied chaining over branches and pruning:
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
    116: f48 -> [39] : A'=10, F'=0, R'=10, S'=G, T'=E, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, [ D>=1 ], cost: 1
    108: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 6
    109: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 6
    110: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 3
    111: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 3
    113: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && 0>=Y1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 4
    117: [39] -> f151 : U'=0, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=B1 && 0>=0 && 0>=0 ], cost: 3
    118: [39] -> f151 : U'=0, E1'=1, F1'=0, G1'=0, H1'=V, Q1'=T, J1'=R, K1'=W, L1'=S, M1'=X, N1'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ B1>=1 && 1>=1 && 0>=W && 0>=0 && 0>=0 ], cost: 5


Applied chaining over branches and pruning:
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
     26: f48 -> f151 : V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, [ 0>=D ], cost: 1
    119: f48 -> f151 : A'=10, F'=0, R'=10, S'=G, T'=E, U'=0, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, [ D>=1 && 0>=0 && 0>=0 && 0>=0 ], cost: 4
    108: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 6
    109: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=1, V1'=free_15, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && Y1>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 6
    110: f151 -> f48 : A'=9, D'=free_17, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_18, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 3
    111: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=V1, Z'=W1, A1'=10, B1'=0, C1'=Z1, D1'=A2, E1'=0, F1'=0, X1'=10, Y1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ V1>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 3
    113: f151 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=V1, Q1'=W1, J1'=X1, K1'=Y1, L1'=Z1, M1'=A2, N1'=0, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=V1 && 0>=Y1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 4


Applied chaining over branches and pruning:
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
    120: f48 -> f48 : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, V1'=free_15, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_18, [ 0>=D && 0>=D && F>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 7
    121: f48 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, V1'=free_15, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=D && 0>=D && F>=1 && free_15>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 7
    122: f48 -> f48 : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=D && 0>=D && 0>=F && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 5
    123: f48 -> f48 : A'=9, D'=free_17, F'=0, R'=10, S'=G, T'=E, U'=0, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_18, [ D>=1 && 0>=0 && 0>=0 && 0>=0 && D>=1 && 0>=0 && 0>=Q && 0>=0 && 0>=free_18 ], cost: 7
    124: f48 -> f48 : A'=9, D'=free_19, F'=0, Q'=1, R'=10, S'=G, T'=E, U'=0, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=10, G2'=0, H2'=G, Q2'=H, [ D>=1 && 0>=0 && 0>=0 && 0>=0 && D>=1 && 0>=0 && 0>=Q && 0>=0 && free_20>=1 ], cost: 7

Eliminating 5 self-loops for location f48
  Removing the self-loops: 120 121 122 123 124.
Adding an epsilon transition (to model nonexecution of the loops): 130.

Removed all Self-loops using metering functions (where possible):
  Start location: f3
     97: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_4, F'=0, G'=1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_4, N'=5, O'=0, P'=1+free_2, Q_1'=free_3, [ 0>=free_2 && free_4>=1 && free_7>=1 && 0>=0 && 0>=1+free_2 ], cost: 4
     98: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
     99: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_5, F'=0, G'=-1+free_2, H'=free_3, Q'=0, J'=1, K'=free_7, L'=free, M'=free_5, N'=6, O'=0, P'=-1+free_2, Q_1'=free_3, [ 0>=free_2 && 0>=free_5 && free_7>=1 && 0>=0 && 0>=-1+free_2 ], cost: 4
    100: f3 -> f48 : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 ], cost: 2
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
    125: f48 -> [40] : A'=9, D'=free_17, U'=0, Y'=free_15, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, V1'=free_15, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_18, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && 0>=free_18 ], cost: 7
    126: f48 -> [40] : A'=9, D'=free_19, Q'=1, U'=0, Y'=free_15, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=1, V1'=free_15, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=D && F>=1 && free_15>=1 && 0>=Q && free_20>=1 ], cost: 7
    127: f48 -> [40] : A'=9, D'=free_19, Q'=1, U'=0, F1'=0, H1'=D, Q1'=E, J1'=A, K1'=F, L1'=G, M1'=H, N1'=0, V1'=D, W1'=E, X1'=A, Y1'=F, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=A, G2'=F, H2'=G, Q2'=H, [ 0>=D && 0>=F && 0>=Q && free_20>=1 ], cost: 5
    128: f48 -> [40] : A'=9, D'=free_17, F'=0, R'=10, S'=G, T'=E, U'=0, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_18, [ D>=1 && 0>=Q && 0>=free_18 ], cost: 7
    129: f48 -> [40] : A'=9, D'=free_19, F'=0, Q'=1, R'=10, S'=G, T'=E, U'=0, V'=D, W'=0, X'=H, Y'=D, Z'=E, A1'=10, B1'=0, C1'=G, D1'=H, E1'=0, F1'=0, G1'=0, V1'=D, W1'=E, X1'=10, Y1'=0, Z1'=G, A2'=H, B2'=0, C2'=free_20, D2'=D, E2'=E, F2'=10, G2'=0, H2'=G, Q2'=H, [ D>=1 && 0>=Q && free_20>=1 ], cost: 7
    130: f48 -> [40] : [], cost: 0


Applied chaining over branches and pruning:
  Start location: f3
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
    137: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_19, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=1, J'=0, U'=0, F1'=0, H1'=free_8, Q1'=free_1, J1'=9, K1'=0, L1'=free_2, M1'=free_3, N1'=0, V1'=free_8, W1'=free_1, X1'=9, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_20, D2'=free_8, E2'=free_1, F2'=9, G2'=0, H2'=free_2, Q2'=free_3, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && 0>=free_8 && 0>=0 && 0>=0 && free_20>=1 ], cost: INF
    138: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_17, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, R'=10, S'=free_2, T'=free_1, U'=0, V'=free_8, W'=0, X'=free_3, Y'=free_8, Z'=free_1, A1'=10, B1'=0, C1'=free_2, D1'=free_3, E1'=0, F1'=0, G1'=0, V1'=free_8, W1'=free_1, X1'=10, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_18, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && free_8>=1 && 0>=0 && 0>=free_18 ], cost: INF
    139: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_19, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=1, J'=0, R'=10, S'=free_2, T'=free_1, U'=0, V'=free_8, W'=0, X'=free_3, Y'=free_8, Z'=free_1, A1'=10, B1'=0, C1'=free_2, D1'=free_3, E1'=0, F1'=0, G1'=0, V1'=free_8, W1'=free_1, X1'=10, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_20, D2'=free_8, E2'=free_1, F2'=10, G2'=0, H2'=free_2, Q2'=free_3, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && free_8>=1 && 0>=0 && free_20>=1 ], cost: INF
    140: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
    135: f3 -> [41] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
    136: f3 -> [42] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF


Final control flow graph problem, now checking costs for infinitely many models:
  Start location: f3
     96: f3 -> [38] : A'=1, B'=0, C'=0, D'=free, E'=free_4, F'=0, G'=1, H'=free_3, Q'=0, J'=0, K'=free_6, [ 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0 ], cost: 3-2*free_2
    137: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_19, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=1, J'=0, U'=0, F1'=0, H1'=free_8, Q1'=free_1, J1'=9, K1'=0, L1'=free_2, M1'=free_3, N1'=0, V1'=free_8, W1'=free_1, X1'=9, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_20, D2'=free_8, E2'=free_1, F2'=9, G2'=0, H2'=free_2, Q2'=free_3, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && 0>=free_8 && 0>=0 && 0>=0 && free_20>=1 ], cost: INF
    138: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_17, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, R'=10, S'=free_2, T'=free_1, U'=0, V'=free_8, W'=0, X'=free_3, Y'=free_8, Z'=free_1, A1'=10, B1'=0, C1'=free_2, D1'=free_3, E1'=0, F1'=0, G1'=0, V1'=free_8, W1'=free_1, X1'=10, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_18, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && free_8>=1 && 0>=0 && 0>=free_18 ], cost: INF
    139: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_19, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=1, J'=0, R'=10, S'=free_2, T'=free_1, U'=0, V'=free_8, W'=0, X'=free_3, Y'=free_8, Z'=free_1, A1'=10, B1'=0, C1'=free_2, D1'=free_3, E1'=0, F1'=0, G1'=0, V1'=free_8, W1'=free_1, X1'=10, Y1'=0, Z1'=free_2, A2'=free_3, B2'=0, C2'=free_20, D2'=free_8, E2'=free_1, F2'=10, G2'=0, H2'=free_2, Q2'=free_3, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 && free_8>=1 && 0>=0 && free_20>=1 ], cost: INF
    140: f3 -> [40] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
    135: f3 -> [41] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF
    136: f3 -> [42] : A'=9, B'=0, C'=0, D'=free_8, E'=free_1, F'=0, G'=free_2, H'=free_3, Q'=0, J'=0, [ 0>=free_2 && 0>=free_5 && 0>=free_6 && 0>=0 && 0>=free_2 ], cost: INF


Computing complexity for remaining 7 transitions.

  Found configuration with infinitely models for cost: 3-2*free_2
  and guard: 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0:
  free_6: Neg, free_4: Pos, free_2: Neg

Found new complexity INF, because: Found infinity configuration.


The final runtime is determined by this resulting transition:
  Final Guard: 0>=free_2 && free_4>=1 && 0>=free_6 && 0>=0
  Final Cost:  3-2*free_2

Obtained the following complexity w.r.t. the length of the input n:
  Complexity class: INF
  Complexity value: INF

WORST_CASE(INF,?)