Location:l1

1*k2   = 0 
1*x2   = 0 
-1*c1 -1*c2 +1*x1 -10*k1 +1*t  + 10 >= 0
-1*c1 -10*k1 +1*t  >= 0
-1*c2 +1*t  >= 0
-1*x1  + 4 >= 0
-1*x1 +1*t -10 >= 0
1*k1 -1 >= 0
1*x1  >= 0
1*c2  >= 0
1*c1  >= 0


Location:l2

1*k2 -1  = 0 
1*c2 -1*x2   = 0 
-3*c1 -5*c2 -5*x1 +20*k1 +8*t -100 >= 0
-1*c1 -10*k1 +1*t  >= 0
-1*c2  + 8 >= 0
-1*c2 +1*t -20 >= 0
-1*x1  + 4 >= 0
1*k1  >= 0
1*x1  >= 0
1*c2  >= 0
1*c1  >= 0