(define (problem scanalyzer3d-16)
(:domain scanalyzer3d)
(:objects
car-in-1 - car
car-in-2 - car
car-in-3 - car
car-in-4 - car
car-out-1 - car
car-out-2 - car
car-out-3 - car
car-out-4 - car
seg-in-1 - segment
seg-in-2 - segment
seg-in-3 - segment
seg-in-4 - segment
seg-out-1 - segment
seg-out-2 - segment
seg-out-3 - segment
seg-out-4 - segment
)
(:init
(= (total-cost) 0)
(CYCLE-2 seg-in-1 seg-out-1)
(CYCLE-2 seg-in-1 seg-out-2)
(CYCLE-2 seg-in-1 seg-out-3)
(CYCLE-2 seg-in-1 seg-out-4)
(CYCLE-2 seg-in-2 seg-out-1)
(CYCLE-2 seg-in-2 seg-out-2)
(CYCLE-2 seg-in-2 seg-out-3)
(CYCLE-2 seg-in-2 seg-out-4)
(CYCLE-2 seg-in-3 seg-out-1)
(CYCLE-2 seg-in-3 seg-out-2)
(CYCLE-2 seg-in-3 seg-out-3)
(CYCLE-2 seg-in-3 seg-out-4)
(CYCLE-2 seg-in-4 seg-out-1)
(CYCLE-2 seg-in-4 seg-out-2)
(CYCLE-2 seg-in-4 seg-out-3)
(CYCLE-2 seg-in-4 seg-out-4)
(CYCLE-2-WITH-ANALYSIS seg-in-1 seg-out-1)
(on car-in-1 seg-in-1)
(on car-in-2 seg-in-2)
(on car-in-3 seg-in-3)
(on car-in-4 seg-in-4)
(on car-out-1 seg-out-1)
(on car-out-2 seg-out-2)
(on car-out-3 seg-out-3)
(on car-out-4 seg-out-4)
)
(:goal (and
(analyzed car-in-1)
(analyzed car-in-2)
(analyzed car-in-3)
(analyzed car-in-4)
(analyzed car-out-1)
(analyzed car-out-2)
(analyzed car-out-3)
(analyzed car-out-4)
(on car-in-1 seg-in-1)
(on car-in-2 seg-in-2)
(on car-in-3 seg-in-3)
(on car-in-4 seg-in-4)
(on car-out-1 seg-out-1)
(on car-out-2 seg-out-2)
(on car-out-3 seg-out-3)
(on car-out-4 seg-out-4)
))
(:metric minimize (total-cost))
)