(load-goal '(deficiency 1 6) )

(setq *start-time* 0)
(setq *end-time* 4)
(load-start-state
  '((is-unit unit1)
    (is-unit unit2)
    (is-time 0)
    (is-time 1)
    (is-time 2)
    (is-time 3)
    (is-time 4)
    (off unit1 0)
    (off unit1 1)
    (off unit1 2)
    (cap unit1 2)
    (deficiency 1 10)
    (min-down-time unit1 1)
    (on unit2 0)
    (off unit2 1)
    (on unit2 2)
     (cap unit2 2)  
     (min-down-time unit2 1)  
))


























