Global optimization
p1,2
p4,4
p3,4
p4,1
p3,3
p1,1
p1,3
p2,4
p2,2
I1
I2
I3
I4
minimize
p1,2 p1,1 = t2t1
p1,3 p1,2 = t3t2
p2,3 p2,2 = t3t2

v4,1 v4,4 = y1y4