; Compilation CPU-time: 0.000 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-SMALL-7) (:domain grounded-STRIPS-OPENSTACKS-SEQUENCEDSTRIPS) (:init (NOT-MADE-P1) (NOT-MADE-P2) (NOT-MADE-P3) (NOT-MADE-P4) (NOT-MADE-P5) (WAITING-O5) (WAITING-O4) (WAITING-O3) (WAITING-O2) (WAITING-O1) (STACKS-AVAIL-N0) (MACHINE-AVAILABLE-) ) (:goal (and (SHIPPED-O5) (SHIPPED-O4) (SHIPPED-O3) (SHIPPED-O2) (SHIPPED-O1) ) ) )