Matrix generation: 0
Determinant computation: 0
Graph generation: 15
Verification time: 16
Optimization time: 0
Total runtime: 31

Optimization steps:
found positive cycle:
[0]:f(x) +0 < [1]:g1(x)  has weight 0 and it is valid
[1]:g1(x)--[3]:g1(y)  has weight 0 and it is valid
[3]:g1(y) +15 < [4]:g2(y)  has weight 15 and it is valid
[4]:g2(y)--[8]:g2(T)  has weight 0 and it is NOT valid
[8]:g2(T) +46 < [7]:h2(U)  has weight 46 and it is NOT valid
[7]:h2(U) -59 < [5]:f(T)  has weight -59 and it is NOT valid
[5]:f(T)--[0]:f(x)  has weight 0 and it is NOT valid
Circuit weight: 2
This circuit is independent
The edge that will be modified: [0]:f(x) +0 < [1]:g1(x)
Modified edge: [0]:f(x) -1 < [1]:g1(x)
found positive cycle:
[0]:f(x)--[5]:f(T)  has weight 0 and it is NOT valid
[5]:f(T) +45 < [6]:h1(U)  has weight 45 and it is NOT valid
[6]:h1(U) +1 < [8]:g2(T)  has weight 1 and it is NOT valid
[8]:g2(T)--[2]:g2(x)  has weight 0 and it is NOT valid
[2]:g2(x) -30 < [0]:f(x)  has weight -30 and it is valid
Circuit weight: 18
This circuit is independent
The edge that will be modified: [2]:g2(x) -30 < [0]:f(x)
Modified edge: [2]:g2(x) -47 < [0]:f(x)
found positive cycle:
[5]:f(T) +45 < [6]:h1(U)  has weight 45 and it is NOT valid
[6]:h1(U) +1 < [8]:g2(T)  has weight 1 and it is NOT valid
[8]:g2(T) +46 < [7]:h2(U)  has weight 46 and it is NOT valid
[7]:h2(U) -59 < [5]:f(T)  has weight -59 and it is NOT valid
Circuit weight: 51
This circuit isn't independent