(define (problem p20-net2-b18-g8_rt0_instance) (:domain pipesworld_strips) (:objects B10 B17 B14 B4 B6 B15 B13 B8 B2 B11 B5 B0 B1 B7 B12 B9 B3 B16 - batch-atom A1 A2 A3 - area S12 S13 - pipe TA1-2-lco TA1-1-lco - tank-slot TA1-4-gasoleo TA1-3-gasoleo TA1-2-gasoleo TA1-1-gasoleo - tank-slot TA1-5-rat-a TA1-4-rat-a TA1-3-rat-a TA1-2-rat-a TA1-1-rat-a - tank-slot TA1-4-oca1 TA1-3-oca1 TA1-2-oca1 TA1-1-oca1 - tank-slot TA1-3-oc1b TA1-2-oc1b TA1-1-oc1b - tank-slot TA2-2-lco TA2-1-lco - tank-slot TA2-4-gasoleo TA2-3-gasoleo TA2-2-gasoleo TA2-1-gasoleo - tank-slot TA2-5-rat-a TA2-4-rat-a TA2-3-rat-a TA2-2-rat-a TA2-1-rat-a - tank-slot TA2-4-oca1 TA2-3-oca1 TA2-2-oca1 TA2-1-oca1 - tank-slot TA2-3-oc1b TA2-2-oc1b TA2-1-oc1b - tank-slot TA3-2-lco TA3-1-lco - tank-slot TA3-4-gasoleo TA3-3-gasoleo TA3-2-gasoleo TA3-1-gasoleo - tank-slot TA3-5-rat-a TA3-4-rat-a TA3-3-rat-a TA3-2-rat-a TA3-1-rat-a - tank-slot TA3-4-oca1 TA3-3-oca1 TA3-2-oca1 TA3-1-oca1 - tank-slot TA3-3-oc1b TA3-2-oc1b TA3-1-oc1b - tank-slot ) (:init ;; All pipelines segments are in normal state (normal S12) (normal S13) ;; Interfaces restrictions (may-interface lco lco) (may-interface gasoleo gasoleo) (may-interface rat-a rat-a) (may-interface oca1 oca1) (may-interface oc1b oc1b) (may-interface lco gasoleo) (may-interface gasoleo lco) (may-interface lco oca1) (may-interface oca1 lco) (may-interface lco oc1b) (may-interface oc1b lco) (may-interface lco rat-a) (may-interface rat-a lco) (may-interface gasoleo rat-a) (may-interface rat-a gasoleo) (may-interface gasoleo oca1) (may-interface oca1 gasoleo) (may-interface gasoleo oc1b) (may-interface oc1b gasoleo) (may-interface oca1 oc1b) (may-interface oc1b oca1) ;; Network topology definition (connect A1 A2 S12) (connect A1 A3 S13) ;; Specify tank location (tank-slot-product-location TA1-2-lco lco A1) (tank-slot-product-location TA1-1-lco lco A1) (tank-slot-product-location TA1-4-gasoleo gasoleo A1) (tank-slot-product-location TA1-3-gasoleo gasoleo A1) (tank-slot-product-location TA1-2-gasoleo gasoleo A1) (tank-slot-product-location TA1-1-gasoleo gasoleo A1) (tank-slot-product-location TA1-5-rat-a rat-a A1) (tank-slot-product-location TA1-4-rat-a rat-a A1) (tank-slot-product-location TA1-3-rat-a rat-a A1) (tank-slot-product-location TA1-2-rat-a rat-a A1) (tank-slot-product-location TA1-1-rat-a rat-a A1) (tank-slot-product-location TA1-4-oca1 oca1 A1) (tank-slot-product-location TA1-3-oca1 oca1 A1) (tank-slot-product-location TA1-2-oca1 oca1 A1) (tank-slot-product-location TA1-1-oca1 oca1 A1) (tank-slot-product-location TA1-3-oc1b oc1b A1) (tank-slot-product-location TA1-2-oc1b oc1b A1) (tank-slot-product-location TA1-1-oc1b oc1b A1) (tank-slot-product-location TA2-2-lco lco A2) (tank-slot-product-location TA2-1-lco lco A2) (tank-slot-product-location TA2-4-gasoleo gasoleo A2) (tank-slot-product-location TA2-3-gasoleo gasoleo A2) (tank-slot-product-location TA2-2-gasoleo gasoleo A2) (tank-slot-product-location TA2-1-gasoleo gasoleo A2) (tank-slot-product-location TA2-5-rat-a rat-a A2) (tank-slot-product-location TA2-4-rat-a rat-a A2) (tank-slot-product-location TA2-3-rat-a rat-a A2) (tank-slot-product-location TA2-2-rat-a rat-a A2) (tank-slot-product-location TA2-1-rat-a rat-a A2) (tank-slot-product-location TA2-4-oca1 oca1 A2) (tank-slot-product-location TA2-3-oca1 oca1 A2) (tank-slot-product-location TA2-2-oca1 oca1 A2) (tank-slot-product-location TA2-1-oca1 oca1 A2) (tank-slot-product-location TA2-3-oc1b oc1b A2) (tank-slot-product-location TA2-2-oc1b oc1b A2) (tank-slot-product-location TA2-1-oc1b oc1b A2) (tank-slot-product-location TA3-2-lco lco A3) (tank-slot-product-location TA3-1-lco lco A3) (tank-slot-product-location TA3-4-gasoleo gasoleo A3) (tank-slot-product-location TA3-3-gasoleo gasoleo A3) (tank-slot-product-location TA3-2-gasoleo gasoleo A3) (tank-slot-product-location TA3-1-gasoleo gasoleo A3) (tank-slot-product-location TA3-5-rat-a rat-a A3) (tank-slot-product-location TA3-4-rat-a rat-a A3) (tank-slot-product-location TA3-3-rat-a rat-a A3) (tank-slot-product-location TA3-2-rat-a rat-a A3) (tank-slot-product-location TA3-1-rat-a rat-a A3) (tank-slot-product-location TA3-4-oca1 oca1 A3) (tank-slot-product-location TA3-3-oca1 oca1 A3) (tank-slot-product-location TA3-2-oca1 oca1 A3) (tank-slot-product-location TA3-1-oca1 oca1 A3) (tank-slot-product-location TA3-3-oc1b oc1b A3) (tank-slot-product-location TA3-2-oc1b oc1b A3) (tank-slot-product-location TA3-1-oc1b oc1b A3) ;; Specify tank maximum capacity ;; Specify tank product ;; Batch-atoms products (is-product B10 gasoleo) (is-product B17 rat-a) (is-product B14 rat-a) (is-product B4 rat-a) (is-product B6 lco) (is-product B15 oc1b) (is-product B13 oc1b) (is-product B8 rat-a) (is-product B2 oca1) (is-product B11 oca1) (is-product B5 gasoleo) (is-product B0 oc1b) (is-product B1 rat-a) (is-product B7 lco) (is-product B12 gasoleo) (is-product B9 oca1) (is-product B3 oca1) (is-product B16 gasoleo) ;; Specify tank current volume ;; Batch-atoms initially located in areas (on B10 A3) (occupied TA3-1-gasoleo) (on B17 A1) (occupied TA1-1-rat-a) (on B4 A2) (occupied TA2-1-rat-a) (on B6 A3) (occupied TA3-1-lco) (on B15 A3) (occupied TA3-1-oc1b) (on B11 A2) (occupied TA2-1-oca1) (on B5 A2) (occupied TA2-1-gasoleo) (on B0 A2) (occupied TA2-1-oc1b) (on B1 A3) (occupied TA3-1-rat-a) (on B7 A1) (occupied TA1-1-lco) (on B12 A1) (occupied TA1-1-gasoleo) (on B9 A1) (occupied TA1-1-oca1) (on B3 A1) (occupied TA1-2-oca1) (on B16 A2) (occupied TA2-2-gasoleo) (not-occupied TA1-2-lco) (not-occupied TA1-2-gasoleo) (not-occupied TA1-3-gasoleo) (not-occupied TA1-4-gasoleo) (not-occupied TA1-2-rat-a) (not-occupied TA1-3-rat-a) (not-occupied TA1-4-rat-a) (not-occupied TA1-5-rat-a) (not-occupied TA1-3-oca1) (not-occupied TA1-4-oca1) (not-occupied TA1-1-oc1b) (not-occupied TA1-2-oc1b) (not-occupied TA1-3-oc1b) (not-occupied TA2-1-lco) (not-occupied TA2-2-lco) (not-occupied TA2-3-gasoleo) (not-occupied TA2-4-gasoleo) (not-occupied TA2-2-rat-a) (not-occupied TA2-3-rat-a) (not-occupied TA2-4-rat-a) (not-occupied TA2-5-rat-a) (not-occupied TA2-2-oca1) (not-occupied TA2-3-oca1) (not-occupied TA2-4-oca1) (not-occupied TA2-2-oc1b) (not-occupied TA2-3-oc1b) (not-occupied TA3-2-lco) (not-occupied TA3-2-gasoleo) (not-occupied TA3-3-gasoleo) (not-occupied TA3-4-gasoleo) (not-occupied TA3-2-rat-a) (not-occupied TA3-3-rat-a) (not-occupied TA3-4-rat-a) (not-occupied TA3-5-rat-a) (not-occupied TA3-1-oca1) (not-occupied TA3-2-oca1) (not-occupied TA3-3-oca1) (not-occupied TA3-4-oca1) (not-occupied TA3-2-oc1b) (not-occupied TA3-3-oc1b) ;; Batch-atoms initially located in pipes (first B2 S12) (follow B13 B2) (last B13 S12) (first B14 S13) (follow B8 B14) (last B8 S13) ;; Unitary pipeline segments (not-unitary S12) (not-unitary S13) ) (:goal (and (on B17 A2) (on B6 A2) (on B15 A1) (on B2 A1) (on B5 A1) (on B7 A2) (on B12 A2) (on B3 A2) (normal S12) (normal S13) )) )