Trying to load file: main.koat

Initial Control flow graph problem:
  Start location: start0
      0: start -> stop : B'=-10+H, D'=1, F'=H, [ A>=101 && B==C && D==E && F==G && H==A ], cost: 1
      1: start -> lbl111 : D'=2, F'=11+H, [ 100>=A && B==C && D==E && F==G && H==A ], cost: 1
     13: lbl111 -> stop : [ 11*D+A>=112 && 1>=D && 122>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A ], cost: 1
     12: lbl111 -> lbl111 : D'=1+D, F'=11+F, [ 111>=11*D+A && 122>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A ], cost: 1
     14: lbl111 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ F==111 && D==2 && H==100 && B==C && A==100 ], cost: 1
     15: lbl111 -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=3 && 121>=11*D+A && 122>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A ], cost: 1
     16: lbl111 -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=2 && 121>=11*D+A && 122>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A ], cost: 1
     17: lbl111 -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && 11*D>=22 && F==111 && H+11*D==122 && B==C && 11*D+A==122 ], cost: 1
      2: lbl161 -> stop : [ 89>=A && D==1 && H==A && F==101 && B==91 ], cost: 1
      3: lbl161 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 0>=10 && 89>=A && 0>=1 && D==2 && H==A && F==101 && B==91 ], cost: 1
      4: lbl161 -> lbl221 : F'=1+F, [ 0>=2 && 89>=A && H==A && F==101 && D==1 && B==91 ], cost: 1
      5: lbl161 -> lbl221 : F'=1+F, [ 0>=1 && 89>=A && H==A && F==101 && D==1 && B==91 ], cost: 1
      6: lbl161 -> lbl221 : D'=-1+D, F'=-9+F, [ 0>=10 && 0>=2 && 89>=A && H==A && F==101 && D==1 && B==91 ], cost: 1
      7: lbl221 -> stop : [ 1>=D && D>=2 && F>=102 && 111>=F && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 1
      8: lbl221 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 99>=A && 89>=A && F==111 && D==2 && H==A && B==C ], cost: 1
      9: lbl221 -> lbl221 : F'=1+F, [ D>=3 && 110>=F && D>=2 && F>=102 && 111>=F && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 1
     10: lbl221 -> lbl221 : F'=1+F, [ D>=2 && 110>=F && F>=102 && 111>=F && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 1
     11: lbl221 -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && D>=2 && 121>=11*D+A && 89>=A && F==111 && H==A && B==C ], cost: 1
     18: start0 -> start : B'=C, D'=E, F'=G, H'=A, [], cost: 1


Simplified the transitions:
  Start location: start0
      1: start -> lbl111 : D'=2, F'=11+H, [ 100>=A && B==C && D==E && F==G && H==A ], cost: 1
     12: lbl111 -> lbl111 : D'=1+D, F'=11+F, [ 111>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A ], cost: 1
     14: lbl111 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ F==111 && D==2 && H==100 && B==C && A==100 ], cost: 1
     15: lbl111 -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=3 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     16: lbl111 -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=2 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     17: lbl111 -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && F==111 && H+11*D==122 && B==C && 11*D+A==122 ], cost: 1
      3: lbl161 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 0>=10 ], cost: 1
      4: lbl161 -> lbl221 : F'=1+F, [ 0>=2 ], cost: 1
      5: lbl161 -> lbl221 : F'=1+F, [ 0>=1 ], cost: 1
      6: lbl161 -> lbl221 : D'=-1+D, F'=-9+F, [ 0>=10 ], cost: 1
      8: lbl221 -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 89>=A && F==111 && D==2 && H==A && B==C ], cost: 1
      9: lbl221 -> lbl221 : F'=1+F, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 1
     10: lbl221 -> lbl221 : F'=1+F, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 1
     11: lbl221 -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && 121>=11*D+A && 89>=A && F==111 && H==A && B==C ], cost: 1
     18: start0 -> start : B'=C, D'=E, F'=G, H'=A, [], cost: 1

Eliminating 1 self-loops for location lbl111
  Self-Loop 12 has the metering function: meter, resulting in the new transition 19.
  Removing the self-loops: 12.
Eliminating 1 self-loops for location lbl161
  Self-Loop 3 has unbounded runtime, resulting in the new transition 20.
  Removing the self-loops: 3.
Eliminating 3 self-loops for location lbl221
  Self-Loop 9 has the metering function: 111-F, resulting in the new transition 21.
  Self-Loop 10 has the metering function: 111-F, resulting in the new transition 22.
  Self-Loop 11 has the metering function: meter_1, resulting in the new transition 23.
  Found this metering function when nesting loops: meter_2,
  Found this metering function when nesting loops: -2+D,
  Found this metering function when nesting loops: -3+D,
  Found this metering function when nesting loops: meter_3,
  Found this metering function when nesting loops: -2+D,
  Found this metering function when nesting loops: -2+D,
  Found this metering function when nesting loops: meter_4,
  and nested parallel self-loops 9 (outer loop) and 23 (inner loop), obtaining the new transitions: 24.
  Found this metering function when nesting loops: meter_5,
  and nested parallel self-loops 10 (outer loop) and 23 (inner loop), obtaining the new transitions: 25.
  Removing the self-loops: 9 10 11.

Removed all Self-loops using metering functions (where possible):
  Start location: start0
      1: start -> lbl111 : D'=2, F'=11+H, [ 100>=A && B==C && D==E && F==G && H==A ], cost: 1
     19: lbl111 -> [6] : D'=meter+D, F'=11*meter+F, [ 111>=11*D+A && 11*D>=22 && H==A && B==C && 11+F==11*D+A && 11*meter==112-11*D-A ], cost: meter
     20: lbl161 -> [7] : [ 0>=10 ], cost: INF
     21: lbl221 -> [8] : F'=111, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 111-F
     22: lbl221 -> [8] : F'=111, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 111-F
     23: lbl221 -> [8] : D'=-meter_1+D, F'=-9*meter_1+F, [ D>=3 && 121>=11*D+A && 89>=A && F==111 && H==A && B==C && 9*meter_1==-111+F ], cost: meter_1
     24: lbl221 -> [8] : D'=-meter_4*meter_1+D, F'=meter_4-9*meter_4*meter_1+F, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_4==110-F ], cost: meter_4+meter_4*meter_1
     25: lbl221 -> [8] : D'=-meter_1*meter_5+D, F'=F-9*meter_1*meter_5+meter_5, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_5==110-F ], cost: meter_1*meter_5+meter_5
     18: start0 -> start : B'=C, D'=E, F'=G, H'=A, [], cost: 1
     14: [6] -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ F==111 && D==2 && H==100 && B==C && A==100 ], cost: 1
     15: [6] -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=3 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     16: [6] -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=2 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     17: [6] -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && F==111 && H+11*D==122 && B==C && 11*D+A==122 ], cost: 1
      4: [7] -> lbl221 : F'=1+F, [ 0>=2 ], cost: 1
      5: [7] -> lbl221 : F'=1+F, [ 0>=1 ], cost: 1
      6: [7] -> lbl221 : D'=-1+D, F'=-9+F, [ 0>=10 ], cost: 1
      8: [8] -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 89>=A && F==111 && D==2 && H==A && B==C ], cost: 1


Applied simple chaining:
  Start location: start0
     20: lbl161 -> [7] : [ 0>=10 ], cost: INF
     21: lbl221 -> [8] : F'=111, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 111-F
     22: lbl221 -> [8] : F'=111, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 111-F
     23: lbl221 -> [8] : D'=-meter_1+D, F'=-9*meter_1+F, [ D>=3 && 121>=11*D+A && 89>=A && F==111 && H==A && B==C && 9*meter_1==-111+F ], cost: meter_1
     24: lbl221 -> [8] : D'=-meter_4*meter_1+D, F'=meter_4-9*meter_4*meter_1+F, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_4==110-F ], cost: meter_4+meter_4*meter_1
     25: lbl221 -> [8] : D'=-meter_1*meter_5+D, F'=F-9*meter_1*meter_5+meter_5, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_5==110-F ], cost: meter_1*meter_5+meter_5
     18: start0 -> [6] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     14: [6] -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ F==111 && D==2 && H==100 && B==C && A==100 ], cost: 1
     15: [6] -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=3 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     16: [6] -> lbl221 : F'=1+F, [ 11*D+A>=112 && D>=2 && 121>=11*D+A && H==A && B==C && 11+F==11*D+A ], cost: 1
     17: [6] -> lbl221 : D'=-1+D, F'=-9+F, [ D>=3 && F==111 && H+11*D==122 && B==C && 11*D+A==122 ], cost: 1
      4: [7] -> lbl221 : F'=1+F, [ 0>=2 ], cost: 1
      5: [7] -> lbl221 : F'=1+F, [ 0>=1 ], cost: 1
      6: [7] -> lbl221 : D'=-1+D, F'=-9+F, [ 0>=10 ], cost: 1
      8: [8] -> lbl161 : B'=-20+F, D'=-1+D, F'=-10+F, [ 89>=A && F==111 && D==2 && H==A && B==C ], cost: 1


Applied chaining over branches and pruning:
  Start location: start0
     35: lbl161 -> [15] : [ 0>=10 ], cost: INF
     36: lbl161 -> [16] : [ 0>=10 ], cost: INF
     37: lbl161 -> [17] : [ 0>=10 ], cost: INF
     31: lbl221 -> lbl161 : B'=91, D'=-1+D, F'=101, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && 89>=A && 111==111 && D==2 && H==A && B==C ], cost: 112-F
     30: lbl221 -> [11] : F'=111, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C ], cost: 111-F
     32: lbl221 -> [12] : D'=-meter_1+D, F'=-9*meter_1+F, [ D>=3 && 121>=11*D+A && 89>=A && F==111 && H==A && B==C && 9*meter_1==-111+F ], cost: meter_1
     33: lbl221 -> [13] : D'=-meter_4*meter_1+D, F'=meter_4-9*meter_4*meter_1+F, [ D>=3 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_4==110-F ], cost: meter_4+meter_4*meter_1
     34: lbl221 -> [14] : D'=-meter_1*meter_5+D, F'=F-9*meter_1*meter_5+meter_5, [ D>=2 && 110>=F && F>=102 && 10+F>=11*D+A && 89>=A && H==A && B==C && D>=3 && 121>=11*D+A && 89>=A && 1+F==111 && H==A && B==C && 9*meter_1==-110+F && 9*meter_5==110-F ], cost: meter_1*meter_5+meter_5
     27: start0 -> lbl221 : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     28: start0 -> lbl221 : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     26: start0 -> [9] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     29: start0 -> [10] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter


Applied chaining over branches and pruning:
  Start location: start0
     26: start0 -> [9] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     29: start0 -> [10] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     39: start0 -> [11] : B'=C, D'=2+meter, F'=111, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A && 2+meter>=3 && 110>=12+11*meter+A && 12+11*meter+A>=102 && 22+11*meter+A>=22+11*meter+A && 89>=A && A==A && C==C ], cost: 102-10*meter-A
     44: start0 -> [11] : B'=C, D'=2+meter, F'=111, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A && 2+meter>=3 && 110>=12+11*meter+A && 12+11*meter+A>=102 && 22+11*meter+A>=22+11*meter+A && 89>=A && A==A && C==C ], cost: 102-10*meter-A
     38: start0 -> [18] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     40: start0 -> [19] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     41: start0 -> [20] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     42: start0 -> [21] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     43: start0 -> [22] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     45: start0 -> [23] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     46: start0 -> [24] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     47: start0 -> [25] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter


Final control flow graph problem, now checking costs for infinitely many models:
  Start location: start0
     26: start0 -> [9] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     29: start0 -> [10] : B'=C, D'=2+meter, F'=11+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A ], cost: 2+meter
     39: start0 -> [11] : B'=C, D'=2+meter, F'=111, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A && 2+meter>=3 && 110>=12+11*meter+A && 12+11*meter+A>=102 && 22+11*meter+A>=22+11*meter+A && 89>=A && A==A && C==C ], cost: 102-10*meter-A
     44: start0 -> [11] : B'=C, D'=2+meter, F'=111, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A && 2+meter>=3 && 110>=12+11*meter+A && 12+11*meter+A>=102 && 22+11*meter+A>=22+11*meter+A && 89>=A && A==A && C==C ], cost: 102-10*meter-A
     38: start0 -> [18] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     40: start0 -> [19] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     41: start0 -> [20] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     42: start0 -> [21] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=3 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     43: start0 -> [22] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     45: start0 -> [23] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     46: start0 -> [24] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter
     47: start0 -> [25] : B'=C, D'=2+meter, F'=12+11*meter+A, H'=A, [ 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A && 22+11*meter+A>=112 && 2+meter>=2 && 121>=22+11*meter+A && A==A && C==C && 22+11*meter+A==22+11*meter+A ], cost: 3+meter


Computing complexity for remaining 12 transitions.

  Found configuration with infinitely models for cost: 2+meter
  and guard: 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A:
  E: Both, meter: Pos, C: Both, G: Both, A: Both

Found new complexity n^1, because: Found infinity configuration.


The final runtime is determined by this resulting transition:
  Final Guard: 100>=A && C==C && E==E && G==G && A==A && 111>=22+A && 22>=22 && A==A && C==C && 22+A==22+A && 11*meter==90-A
  Final Cost:  2+meter

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

WORST_CASE(Omega(n^1),?)