(define (problem ferry1) (:init (place a) (place b) (auto c1) (auto c2) (at c1 a) (at c2 a) (at-ferry a) (empty-ferry)) (:objects a b c1 c2) (:goal (and (at c1 b) (at c2 b))) (:length (:serial 7) (:parallel 7)) (:domain ferry))