(load-goal '(and (deficiency 1 6) (deficiency 2 4)(deficiency 3 8)))

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

))

