Trying to load file: main.koat

Initial Control flow graph problem:
  Start location: f0
      0: f30 -> f31 : [ 0>=1+A ], cost: 1
      1: f30 -> f31 : [ A>=1 ], cost: 1
     19: f30 -> f36 : A'=0, H'=0, [ A==0 ], cost: 1
     16: f31 -> f36 : A'=1, H'=1, [ free_7>=1+free_8 ], cost: 1
     17: f31 -> f36 : A'=1, H'=1, [], cost: 1
     18: f31 -> f36 : A'=0, H'=0, [], cost: 1
      2: f36 -> f37 : [ 0>=1+A ], cost: 1
      3: f36 -> f37 : [ A>=1 ], cost: 1
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
      4: f37 -> f38 : [ B+free>=1+free_1+C ], cost: 1
      5: f37 -> f38 : [ free_2+C>=1+B+free_3 ], cost: 1
     24: f37 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
     21: f38 -> f27 : A'=1, B'=1+B, Q'=1, [ B+free_9>=1+C+free_10 ], cost: 1
     22: f38 -> f27 : A'=1, B'=1+B, Q'=1, [ free_11+C>=1+B+free_12 ], cost: 1
     23: f38 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
      6: f0 -> f10 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [], cost: 1
      7: f10 -> f10 : C'=1+C, [ D>=1+C ], cost: 1
     33: f10 -> f16 : C'=0, [ C>=D ], cost: 1
      8: f16 -> f19 : [ 0>=1+E && D>=1+C ], cost: 1
      9: f16 -> f19 : [ E>=1 && D>=1+C ], cost: 1
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     30: f16 -> f49 : [ 0>=1+E && C>=D ], cost: 1
     31: f16 -> f49 : [ E>=1 && C>=D ], cost: 1
     32: f16 -> f56 : E'=0, J'=1, [ C>=D && E==0 ], cost: 1
     10: f19 -> f27 : B'=0, E'=1, G'=1, [ D>=1+free_5 ], cost: 1
     11: f19 -> f27 : B'=0, E'=0, G'=0, [], cost: 1
     12: f19 -> f27 : B'=0, E'=0, G'=0, [ 0>=1+free_6 ], cost: 1
     14: f27 -> f30 : [ D>=1+B && B>=1+C ], cost: 1
     15: f27 -> f30 : [ C>=1+B && D>=1+B ], cost: 1
     29: f27 -> f16 : C'=1+C, [ B>=D ], cost: 1
     20: f27 -> f27 : B'=1+C, [ D>=1+B && C==B ], cost: 1
     26: f49 -> f56 : J'=0, [ 0>=1+A ], cost: 1
     27: f49 -> f56 : J'=0, [ A>=1 ], cost: 1
     28: f49 -> f56 : A'=0, J'=1, [ A==0 ], cost: 1

Removing duplicate transition: 16.
Removing duplicate transition: 4.
Removing duplicate transition: 21.
Removing duplicate transition: 11.

Simplified the transitions:
  Start location: f0
      0: f30 -> f31 : [ 0>=1+A ], cost: 1
      1: f30 -> f31 : [ A>=1 ], cost: 1
     19: f30 -> f36 : A'=0, H'=0, [ A==0 ], cost: 1
     17: f31 -> f36 : A'=1, H'=1, [], cost: 1
     18: f31 -> f36 : A'=0, H'=0, [], cost: 1
      2: f36 -> f37 : [ 0>=1+A ], cost: 1
      3: f36 -> f37 : [ A>=1 ], cost: 1
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
      5: f37 -> f38 : [], cost: 1
     24: f37 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
     22: f38 -> f27 : A'=1, B'=1+B, Q'=1, [], cost: 1
     23: f38 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
      6: f0 -> f10 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [], cost: 1
      7: f10 -> f10 : C'=1+C, [ D>=1+C ], cost: 1
     33: f10 -> f16 : C'=0, [ C>=D ], cost: 1
      8: f16 -> f19 : [ 0>=1+E && D>=1+C ], cost: 1
      9: f16 -> f19 : [ E>=1 && D>=1+C ], cost: 1
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     10: f19 -> f27 : B'=0, E'=1, G'=1, [], cost: 1
     12: f19 -> f27 : B'=0, E'=0, G'=0, [], cost: 1
     14: f27 -> f30 : [ D>=1+B && B>=1+C ], cost: 1
     15: f27 -> f30 : [ C>=1+B && D>=1+B ], cost: 1
     29: f27 -> f16 : C'=1+C, [ B>=D ], cost: 1
     20: f27 -> f27 : B'=1+C, [ D>=1+B && C==B ], cost: 1

Eliminating 1 self-loops for location f10
  Self-Loop 7 has the metering function: -C+D, resulting in the new transition 34.
  Removing the self-loops: 7.
Eliminating 1 self-loops for location f27
  Self-Loop 20 has the metering function: -B+C, resulting in the new transition 35.
  Removing the self-loops: 20.

Removed all Self-loops using metering functions (where possible):
  Start location: f0
      0: f30 -> f31 : [ 0>=1+A ], cost: 1
      1: f30 -> f31 : [ A>=1 ], cost: 1
     19: f30 -> f36 : A'=0, H'=0, [ A==0 ], cost: 1
     17: f31 -> f36 : A'=1, H'=1, [], cost: 1
     18: f31 -> f36 : A'=0, H'=0, [], cost: 1
      2: f36 -> f37 : [ 0>=1+A ], cost: 1
      3: f36 -> f37 : [ A>=1 ], cost: 1
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
      5: f37 -> f38 : [], cost: 1
     24: f37 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
     22: f38 -> f27 : A'=1, B'=1+B, Q'=1, [], cost: 1
     23: f38 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
      6: f0 -> f10 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [], cost: 1
     34: f10 -> [12] : C'=D, [ D>=1+C ], cost: -C+D
      8: f16 -> f19 : [ 0>=1+E && D>=1+C ], cost: 1
      9: f16 -> f19 : [ E>=1 && D>=1+C ], cost: 1
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     10: f19 -> f27 : B'=0, E'=1, G'=1, [], cost: 1
     12: f19 -> f27 : B'=0, E'=0, G'=0, [], cost: 1
     35: f27 -> [13] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C
     33: [12] -> f16 : C'=0, [ C>=D ], cost: 1
     14: [13] -> f30 : [ D>=1+B && B>=1+C ], cost: 1
     15: [13] -> f30 : [ C>=1+B && D>=1+B ], cost: 1
     29: [13] -> f16 : C'=1+C, [ B>=D ], cost: 1


Applied simple chaining:
  Start location: f0
      0: f30 -> f31 : [ 0>=1+A ], cost: 1
      1: f30 -> f31 : [ A>=1 ], cost: 1
     19: f30 -> f36 : A'=0, H'=0, [ A==0 ], cost: 1
     17: f31 -> f36 : A'=1, H'=1, [], cost: 1
     18: f31 -> f36 : A'=0, H'=0, [], cost: 1
      2: f36 -> f37 : [ 0>=1+A ], cost: 1
      3: f36 -> f37 : [ A>=1 ], cost: 1
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
      5: f37 -> f38 : [], cost: 1
     24: f37 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
     22: f38 -> f27 : A'=1, B'=1+B, Q'=1, [], cost: 1
     23: f38 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
      8: f16 -> f19 : [ 0>=1+E && D>=1+C ], cost: 1
      9: f16 -> f19 : [ E>=1 && D>=1+C ], cost: 1
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     10: f19 -> f27 : B'=0, E'=1, G'=1, [], cost: 1
     12: f19 -> f27 : B'=0, E'=0, G'=0, [], cost: 1
     35: f27 -> [13] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C
     14: [13] -> f30 : [ D>=1+B && B>=1+C ], cost: 1
     15: [13] -> f30 : [ C>=1+B && D>=1+B ], cost: 1
     29: [13] -> f16 : C'=1+C, [ B>=D ], cost: 1


Applied chaining over branches and pruning:
  Start location: f0
     19: f30 -> f36 : A'=0, H'=0, [ A==0 ], cost: 1
     43: f30 -> f36 : A'=1, H'=1, [ 0>=1+A ], cost: 2
     44: f30 -> f36 : A'=0, H'=0, [ 0>=1+A ], cost: 2
     45: f30 -> f36 : A'=1, H'=1, [ A>=1 ], cost: 2
     46: f30 -> f36 : A'=0, H'=0, [ A>=1 ], cost: 2
     47: f36 -> f38 : [ 0>=1+A ], cost: 2
     49: f36 -> f38 : [ A>=1 ], cost: 2
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
     48: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ 0>=1+A ], cost: 2
     50: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A>=1 ], cost: 2
     22: f38 -> f27 : A'=1, B'=1+B, Q'=1, [], cost: 1
     23: f38 -> f27 : A'=0, B'=1+B, Q'=0, [], cost: 1
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     36: f16 -> f27 : B'=0, E'=1, G'=1, [ 0>=1+E && D>=1+C ], cost: 2
     37: f16 -> f27 : B'=0, E'=0, G'=0, [ 0>=1+E && D>=1+C ], cost: 2
     38: f16 -> f27 : B'=0, E'=1, G'=1, [ E>=1 && D>=1+C ], cost: 2
     39: f16 -> f27 : B'=0, E'=0, G'=0, [ E>=1 && D>=1+C ], cost: 2
     40: f27 -> f30 : B'=1+C, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C ], cost: 1-B+C
     42: f27 -> f16 : B'=1+C, C'=1+C, [ D>=1+B && C==B && 1+C>=D ], cost: 1-B+C
     41: f27 -> [14] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C


Applied chaining over branches and pruning:
  Start location: f0
     25: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A==0 ], cost: 1
     48: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ 0>=1+A ], cost: 2
     50: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ A>=1 ], cost: 2
     56: f36 -> f27 : A'=1, B'=1+B, Q'=1, [ 0>=1+A ], cost: 3
     57: f36 -> f27 : A'=0, B'=1+B, Q'=0, [ 0>=1+A ], cost: 3
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     36: f16 -> f27 : B'=0, E'=1, G'=1, [ 0>=1+E && D>=1+C ], cost: 2
     37: f16 -> f27 : B'=0, E'=0, G'=0, [ 0>=1+E && D>=1+C ], cost: 2
     38: f16 -> f27 : B'=0, E'=1, G'=1, [ E>=1 && D>=1+C ], cost: 2
     39: f16 -> f27 : B'=0, E'=0, G'=0, [ E>=1 && D>=1+C ], cost: 2
     51: f27 -> f36 : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     52: f27 -> f36 : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     53: f27 -> f36 : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     54: f27 -> f36 : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     55: f27 -> f36 : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     42: f27 -> f16 : B'=1+C, C'=1+C, [ D>=1+B && C==B && 1+C>=D ], cost: 1-B+C
     41: f27 -> [14] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C


Applied chaining over branches and pruning:
  Start location: f0
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     36: f16 -> f27 : B'=0, E'=1, G'=1, [ 0>=1+E && D>=1+C ], cost: 2
     37: f16 -> f27 : B'=0, E'=0, G'=0, [ 0>=1+E && D>=1+C ], cost: 2
     38: f16 -> f27 : B'=0, E'=1, G'=1, [ E>=1 && D>=1+C ], cost: 2
     39: f16 -> f27 : B'=0, E'=0, G'=0, [ E>=1 && D>=1+C ], cost: 2
     42: f27 -> f16 : B'=1+C, C'=1+C, [ D>=1+B && C==B && 1+C>=D ], cost: 1-B+C
     60: f27 -> f27 : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 && 0==0 ], cost: 3-B+C
     67: f27 -> f27 : A'=0, B'=2+C, H'=1, Q'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A && 1>=1 ], cost: 5-B+C
     70: f27 -> f27 : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A && 0==0 ], cost: 4-B+C
     77: f27 -> f27 : A'=0, B'=2+C, H'=1, Q'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 && 1>=1 ], cost: 5-B+C
     80: f27 -> f27 : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 && 0==0 ], cost: 4-B+C
     41: f27 -> [14] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C
     61: f27 -> [15] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     62: f27 -> [16] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     63: f27 -> [17] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     64: f27 -> [18] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     65: f27 -> [19] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     66: f27 -> [20] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     68: f27 -> [21] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     69: f27 -> [22] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     71: f27 -> [23] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     72: f27 -> [24] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     73: f27 -> [25] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     74: f27 -> [26] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     75: f27 -> [27] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     76: f27 -> [28] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     78: f27 -> [29] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     79: f27 -> [30] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     81: f27 -> [31] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     82: f27 -> [32] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     83: f27 -> [33] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     84: f27 -> [34] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C

Eliminating 5 self-loops for location f27
  Self-Loop 60 has the metering function: meter, resulting in the new transition 85.
  Self-Loop 67 has the metering function: meter_1, resulting in the new transition 86.
  Self-Loop 70 has the metering function: meter_2, resulting in the new transition 87.
  Self-Loop 77 has the metering function: meter_3, resulting in the new transition 88.
  Self-Loop 80 has the metering function: meter_4, resulting in the new transition 89.
  Removing the self-loops: 60 67 70 77 80.

Removed all Self-loops using metering functions (where possible):
  Start location: f0
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
     13: f16 -> f27 : B'=0, E'=0, G'=0, [ D>=1+C && E==0 ], cost: 1
     36: f16 -> f27 : B'=0, E'=1, G'=1, [ 0>=1+E && D>=1+C ], cost: 2
     37: f16 -> f27 : B'=0, E'=0, G'=0, [ 0>=1+E && D>=1+C ], cost: 2
     38: f16 -> f27 : B'=0, E'=1, G'=1, [ E>=1 && D>=1+C ], cost: 2
     39: f16 -> f27 : B'=0, E'=0, G'=0, [ E>=1 && D>=1+C ], cost: 2
     85: f27 -> [35] : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && A==0 && 2*meter==1-B+C ], cost: meter
     86: f27 -> [35] : A'=0, B'=2+C, H'=1, Q'=0, [ D>=1+B && C==B && D>=2+C && 0>=1+A && 2*meter_1==-B+C ], cost: 3*meter_1
     87: f27 -> [35] : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && 0>=1+A && 2*meter_2==-B+C ], cost: 2*meter_2
     88: f27 -> [35] : A'=0, B'=2+C, H'=1, Q'=0, [ D>=1+B && C==B && D>=2+C && A>=1 && 2*meter_3==-B+C ], cost: 3*meter_3
     89: f27 -> [35] : A'=0, B'=2+C, H'=0, Q'=0, [ D>=1+B && C==B && D>=2+C && A>=1 && 2*meter_4==-B+C ], cost: 2*meter_4
     42: [35] -> f16 : B'=1+C, C'=1+C, [ D>=1+B && C==B && 1+C>=D ], cost: 1-B+C
     41: [35] -> [14] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C
     61: [35] -> [15] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     62: [35] -> [16] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     63: [35] -> [17] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     64: [35] -> [18] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     65: [35] -> [19] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     66: [35] -> [20] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     68: [35] -> [21] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     69: [35] -> [22] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     71: [35] -> [23] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     72: [35] -> [24] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     73: [35] -> [25] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     74: [35] -> [26] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     75: [35] -> [27] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     76: [35] -> [28] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     78: [35] -> [29] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     79: [35] -> [30] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     81: [35] -> [31] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     82: [35] -> [32] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     83: [35] -> [33] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     84: [35] -> [34] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C


Applied chaining over branches and pruning:
  Start location: f0
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
     90: f16 -> [35] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
     91: f16 -> [35] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
     93: f16 -> [35] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
     97: f16 -> [35] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    100: f16 -> [35] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
     42: [35] -> f16 : B'=1+C, C'=1+C, [ D>=1+B && C==B && 1+C>=D ], cost: 1-B+C
     41: [35] -> [14] : B'=1+C, [ D>=1+B && C==B ], cost: -B+C
     61: [35] -> [15] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     62: [35] -> [16] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     63: [35] -> [17] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     64: [35] -> [18] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A==0 ], cost: 2-B+C
     65: [35] -> [19] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     66: [35] -> [20] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     68: [35] -> [21] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     69: [35] -> [22] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     71: [35] -> [23] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     72: [35] -> [24] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     73: [35] -> [25] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     74: [35] -> [26] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && 0>=1+A ], cost: 3-B+C
     75: [35] -> [27] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     76: [35] -> [28] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     78: [35] -> [29] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     79: [35] -> [30] : A'=1, B'=1+C, H'=1, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     81: [35] -> [31] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     82: [35] -> [32] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     83: [35] -> [33] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C
     84: [35] -> [34] : A'=0, B'=1+C, H'=0, [ D>=1+B && C==B && D>=2+C && 1+C>=1+C && A>=1 ], cost: 3-B+C


Applied chaining over branches and pruning:
  Start location: f0
      6: f0 -> f16 : A'=1, C'=0, D'=9, E'=1, F'=free_4, [ 9>=1 && 9>=9 ], cost: 11
    110: f16 -> [36] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    111: f16 -> [37] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    112: f16 -> [38] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    113: f16 -> [39] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    114: f16 -> [40] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    115: f16 -> [41] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    116: f16 -> [42] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    117: f16 -> [43] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    118: f16 -> [44] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    119: f16 -> [45] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    120: f16 -> [46] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    121: f16 -> [47] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    122: f16 -> [48] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    123: f16 -> [49] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    124: f16 -> [50] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    125: f16 -> [51] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    126: f16 -> [52] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    127: f16 -> [53] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    128: f16 -> [54] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    129: f16 -> [55] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    130: f16 -> [56] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    131: f16 -> [57] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_1==C ], cost: 1+3*meter_1
    132: f16 -> [58] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    133: f16 -> [59] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    134: f16 -> [60] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    135: f16 -> [61] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    136: f16 -> [62] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    137: f16 -> [63] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    138: f16 -> [64] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    139: f16 -> [65] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    140: f16 -> [66] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    141: f16 -> [67] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    142: f16 -> [68] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    143: f16 -> [69] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    144: f16 -> [70] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    145: f16 -> [71] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    146: f16 -> [72] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    147: f16 -> [73] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    148: f16 -> [74] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    149: f16 -> [75] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    150: f16 -> [76] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    151: f16 -> [77] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    152: f16 -> [78] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    153: f16 -> [79] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && 0>=1+A && 2*meter_2==C ], cost: 1+2*meter_2
    154: f16 -> [80] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    155: f16 -> [81] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    156: f16 -> [82] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    157: f16 -> [83] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    158: f16 -> [84] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    159: f16 -> [85] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    160: f16 -> [86] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    161: f16 -> [87] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    162: f16 -> [88] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    163: f16 -> [89] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    164: f16 -> [90] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    165: f16 -> [91] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    166: f16 -> [92] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    167: f16 -> [93] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    168: f16 -> [94] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    169: f16 -> [95] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    170: f16 -> [96] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    171: f16 -> [97] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    172: f16 -> [98] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    173: f16 -> [99] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    174: f16 -> [100] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    175: f16 -> [101] : A'=0, B'=2+C, E'=0, G'=0, H'=0, Q'=0, [ D>=1+C && E==0 && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 1+2*meter_4
    176: f16 -> [102] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    177: f16 -> [103] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    178: f16 -> [104] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    179: f16 -> [105] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    180: f16 -> [106] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    181: f16 -> [107] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    182: f16 -> [108] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    183: f16 -> [109] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    184: f16 -> [110] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    185: f16 -> [111] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    186: f16 -> [112] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    187: f16 -> [113] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    188: f16 -> [114] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    189: f16 -> [115] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    190: f16 -> [116] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    191: f16 -> [117] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    192: f16 -> [118] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    193: f16 -> [119] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    194: f16 -> [120] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    195: f16 -> [121] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    196: f16 -> [122] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    197: f16 -> [123] : A'=0, B'=2+C, E'=1, G'=1, H'=0, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_4==C ], cost: 2+2*meter_4
    198: f16 -> [124] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    199: f16 -> [125] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    200: f16 -> [126] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    201: f16 -> [127] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    202: f16 -> [128] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    203: f16 -> [129] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    204: f16 -> [130] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    205: f16 -> [131] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    206: f16 -> [132] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    207: f16 -> [133] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    208: f16 -> [134] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    209: f16 -> [135] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    210: f16 -> [136] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    211: f16 -> [137] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    212: f16 -> [138] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    213: f16 -> [139] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    214: f16 -> [140] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    215: f16 -> [141] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    216: f16 -> [142] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    217: f16 -> [143] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    218: f16 -> [144] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3
    219: f16 -> [145] : A'=0, B'=2+C, E'=0, G'=0, H'=1, Q'=0, [ 0>=1+E && D>=1+C && D>=1 && C==0 && D>=2+C && A>=1 && 2*meter_3==C ], cost: 2+3*meter_3


Applied chaining over branches and pruning:
  Start location: f0
    <empty>


Final control flow graph problem, now checking costs for infinitely many models:
  Start location: f0
    <empty>


Computing complexity for remaining 0 transitions.


The final runtime is determined by this resulting transition:
  Final Guard: 
  Final Cost:  1

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

WORST_CASE(Omega(1),?)