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