Location:ontime 1*d = 0 -1*b1 +1*s + 11 >= 0 1*s >= 0 1*b1 -1*s + 11 >= 0 1*b1 >= 0 Location:late1 1*d = 0 -1*b1 +1*s + 1 >= 0 1*s -10 >= 0 1*b1 -1*s + 10 >= 0 Location:onbrake -1*d + 11 >= 0 1*d >= 0 1*s -1*d >= 0 1*b1 -1*s +1*d -10 >= 0 Location:stopped 1*d -10 = 0 1*s -10 >= 0 1*b1 -1*s + 1 >= 0 1*b1 -10 >= 0