(load-goal '(and (deficiency 1 8)(deficiency 2 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)
    (on unit1 0)
    (off unit1 1)
    (on unit1 2)
    


    (cap unit1 2)
    (deficiency 1 10)
    (deficiency 2 10)
    (min-down-time unit1 1)
    (off unit2 1)
    (on unit2 0)
    (off unit2 2)
    (on unit2 3)

    (cap unit2 2)
    (min-down-time unit2 3)

))
















