(define (problem strips-teatime)
(:domain tea1)
(:objects (1..4 - room ) (p1 p2 -robot))
(:theory (teamachine 1) (cupstack 2)
(connected 1 3)(connected 2 4)
(allowed p1 1) (allowed p2 2)
(allowed p1 3) (allowed p2 4)
(not(at p2 1)) (not(at p1 2))
(not(at p2 3)) (not(at p1 4))
)
(:init (at p1 1) (at p2 2) (free p1) (free p2)
(forall (?r -room ) (ordered ?r) ) )
(:goal (forall (?r - room) (not (ordered ?r)) ))
)