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

Optimization steps:
found positive cycle:
[5]:GRANT1true(x3)--[6]:GRANT1true(x4)  has weight 0 and it is valid
[6]:GRANT1true(x4) +0 < [7]:StartMOVE1(x4)  has weight 0 and it is valid
[7]:StartMOVE1(x4)--[28]:StartMOVE1(I)  has weight 0 and it is NOT valid
[28]:StartMOVE1(I) +0 < [29]:StopMOVE2(J)  has weight 0 and it is NOT valid
[29]:StopMOVE2(J)--[18]:StopMOVE2(x12)  has weight 0 and it is NOT valid
[18]:StopMOVE2(x12) -20 < [19]:StartMOVE2(x12)  has weight -20 and it is valid
[19]:StartMOVE2(x12)--[17]:StartMOVE2(x10)  has weight 0 and it is valid
[17]:StartMOVE2(x10) -5 < [16]:GRANT2true(x10)  has weight -5 and it is valid
[16]:GRANT2true(x10)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[5]:GRANT1true(x3)  has weight 0 and it is valid
Circuit weight: 5
This circuit is independent
The edge that will be modified: [5]:GRANT1true(x3)--[6]:GRANT1true(x4)
Modified edge: [5]:GRANT1true(x3)--[6]:GRANT1true(x4)
found positive cycle:
[5]:GRANT1true(x3)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[16]:GRANT2true(x10)  has weight 0 and it is valid
[16]:GRANT2true(x10) +0 < [17]:StartMOVE2(x10)  has weight 0 and it is valid
[17]:StartMOVE2(x10)--[30]:StartMOVE2(J)  has weight 0 and it is NOT valid
[30]:StartMOVE2(J) +0 < [31]:StopMOVE1(I)  has weight 0 and it is NOT valid
[31]:StopMOVE1(I)--[8]:StopMOVE1(x6)  has weight 0 and it is NOT valid
[8]:StopMOVE1(x6) -20 < [9]:StartMOVE1(x6)  has weight -20 and it is valid
[9]:StartMOVE1(x6)--[7]:StartMOVE1(x4)  has weight 0 and it is valid
[7]:StartMOVE1(x4) -5 < [6]:GRANT1true(x4)  has weight -5 and it is valid
[6]:GRANT1true(x4)--[5]:GRANT1true(x3)  has weight 0 and it is valid
Circuit weight: 10
This circuit is independent
The edge that will be modified: [6]:GRANT1true(x4)--[5]:GRANT1true(x3)
Modified edge: [6]:GRANT1true(x4)--[5]:GRANT1true(x3)
found positive cycle:
[5]:GRANT1true(x3)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[5]:GRANT1true(x3)  has weight 0 and it is valid
Circuit weight: 70
This circuit isn't independent
found positive cycle:
[6]:GRANT1true(x4) +0 < [7]:StartMOVE1(x4)  has weight 0 and it is valid
[7]:StartMOVE1(x4)--[28]:StartMOVE1(I)  has weight 0 and it is NOT valid
[28]:StartMOVE1(I) +0 < [29]:StopMOVE2(J)  has weight 0 and it is NOT valid
[29]:StopMOVE2(J)--[18]:StopMOVE2(x12)  has weight 0 and it is NOT valid
[18]:StopMOVE2(x12) -20 < [19]:StartMOVE2(x12)  has weight -20 and it is valid
[19]:StartMOVE2(x12)--[17]:StartMOVE2(x10)  has weight 0 and it is valid
[17]:StartMOVE2(x10) -5 < [16]:GRANT2true(x10)  has weight -5 and it is valid
[16]:GRANT2true(x10)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[6]:GRANT1true(x4)  has weight 0 and it is valid
Circuit weight: 75
This circuit isn't independent
found positive cycle:
[6]:GRANT1true(x4)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[16]:GRANT2true(x10)  has weight 0 and it is valid
[16]:GRANT2true(x10) +0 < [17]:StartMOVE2(x10)  has weight 0 and it is valid
[17]:StartMOVE2(x10)--[30]:StartMOVE2(J)  has weight 0 and it is NOT valid
[30]:StartMOVE2(J) +0 < [31]:StopMOVE1(I)  has weight 0 and it is NOT valid
[31]:StopMOVE1(I)--[8]:StopMOVE1(x6)  has weight 0 and it is NOT valid
[8]:StopMOVE1(x6) -20 < [9]:StartMOVE1(x6)  has weight -20 and it is valid
[9]:StartMOVE1(x6)--[7]:StartMOVE1(x4)  has weight 0 and it is valid
[7]:StartMOVE1(x4) -5 < [6]:GRANT1true(x4)  has weight -5 and it is valid
Circuit weight: 80
This circuit isn't independent
found positive cycle:
[6]:GRANT1true(x4)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[6]:GRANT1true(x4)  has weight 0 and it is valid
Circuit weight: 140
This circuit isn't independent
found positive cycle:
[15]:GRANT2true(x9)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[15]:GRANT2true(x9)  has weight 0 and it is valid
Circuit weight: 200
This circuit is independent
The edge that will be modified: [15]:GRANT2true(x9)--[22]:GRANT2true(x11)
Modified edge: [15]:GRANT2true(x9)--[22]:GRANT2true(x11)
found positive cycle:
[16]:GRANT2true(x10)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[20]:GRANT1true(x5)  has weight 0 and it is valid
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[16]:GRANT2true(x10)  has weight 0 and it is valid
Circuit weight: 260
This circuit isn't independent
found positive cycle:
[20]:GRANT1true(x5) +30 < [21]:GRANT1false(x5)  has weight 30 and it is valid
[21]:GRANT1false(x5)--[24]:GRANT1false(x13)  has weight 0 and it is valid
[24]:GRANT1false(x13) +0 < [25]:GRANT2true(x14)  has weight 0 and it is valid
[25]:GRANT2true(x14)--[22]:GRANT2true(x11)  has weight 0 and it is valid
[22]:GRANT2true(x11) +30 < [23]:GRANT2false(x11)  has weight 30 and it is valid
[23]:GRANT2false(x11)--[26]:GRANT2false(x14)  has weight 0 and it is valid
[26]:GRANT2false(x14) +0 < [27]:GRANT1true(x13)  has weight 0 and it is valid
[27]:GRANT1true(x13)--[20]:GRANT1true(x5)  has weight 0 and it is valid
Circuit weight: 320
This circuit isn't independent