; Compilation CPU-time: 0.090 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-NRWSLARGER4-3) (:domain grounded-STRIPS-OPENSTACKS-SEQUENCEDSTRIPS) (:init (NOT-MADE-P1) (NOT-MADE-P2) (NOT-MADE-P3) (NOT-MADE-P4) (NOT-MADE-P5) (NOT-MADE-P6) (NOT-MADE-P7) (NOT-MADE-P8) (NOT-MADE-P9) (NOT-MADE-P10) (NOT-MADE-P11) (NOT-MADE-P12) (NOT-MADE-P13) (NOT-MADE-P14) (NOT-MADE-P15) (NOT-MADE-P16) (NOT-MADE-P17) (NOT-MADE-P18) (NOT-MADE-P19) (NOT-MADE-P20) (NOT-MADE-P21) (NOT-MADE-P22) (NOT-MADE-P23) (NOT-MADE-P24) (NOT-MADE-P25) (NOT-MADE-P26) (NOT-MADE-P27) (NOT-MADE-P28) (NOT-MADE-P29) (NOT-MADE-P30) (NOT-MADE-P31) (NOT-MADE-P32) (NOT-MADE-P33) (NOT-MADE-P34) (NOT-MADE-P35) (NOT-MADE-P36) (NOT-MADE-P37) (NOT-MADE-P38) (NOT-MADE-P39) (NOT-MADE-P40) (NOT-MADE-P41) (NOT-MADE-P42) (NOT-MADE-P43) (NOT-MADE-P44) (NOT-MADE-P45) (NOT-MADE-P46) (NOT-MADE-P47) (NOT-MADE-P48) (NOT-MADE-P49) (NOT-MADE-P50) (NOT-MADE-P51) (NOT-MADE-P52) (NOT-MADE-P53) (NOT-MADE-P54) (NOT-MADE-P55) (NOT-MADE-P56) (NOT-MADE-P57) (NOT-MADE-P58) (NOT-MADE-P59) (NOT-MADE-P60) (WAITING-O25) (WAITING-O24) (WAITING-O23) (WAITING-O22) (WAITING-O21) (WAITING-O20) (WAITING-O19) (WAITING-O18) (WAITING-O17) (WAITING-O16) (WAITING-O15) (WAITING-O14) (WAITING-O13) (WAITING-O12) (WAITING-O11) (WAITING-O10) (WAITING-O9) (WAITING-O8) (WAITING-O7) (WAITING-O6) (WAITING-O5) (WAITING-O4) (WAITING-O3) (WAITING-O2) (WAITING-O1) (STACKS-AVAIL-N0) (MACHINE-AVAILABLE-) ) (:goal (and (SHIPPED-O25) (SHIPPED-O24) (SHIPPED-O23) (SHIPPED-O22) (SHIPPED-O21) (SHIPPED-O20) (SHIPPED-O19) (SHIPPED-O18) (SHIPPED-O17) (SHIPPED-O16) (SHIPPED-O15) (SHIPPED-O14) (SHIPPED-O13) (SHIPPED-O12) (SHIPPED-O11) (SHIPPED-O10) (SHIPPED-O9) (SHIPPED-O8) (SHIPPED-O7) (SHIPPED-O6) (SHIPPED-O5) (SHIPPED-O4) (SHIPPED-O3) (SHIPPED-O2) (SHIPPED-O1) ) ) )