

(define (problem BW-rand-13)
(:domain blocksworld-4ops)
(:objects b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 )
(:init
(arm-empty)
(on b1 b8)
(on-table b2)
(on b3 b11)
(on b4 b13)
(on b5 b1)
(on b6 b9)
(on-table b7)
(on-table b8)
(on-table b9)
(on b10 b3)
(on-table b11)
(on b12 b6)
(on-table b13)
(clear b2)
(clear b4)
(clear b5)
(clear b7)
(clear b10)
(clear b12)
)
(:goal
(and
(on b3 b1)
(on b4 b5)
(on b5 b13)
(on b7 b2)
(on b8 b6)
(on b9 b12)
(on b10 b8)
(on b11 b10)
(on b12 b7)
(on b13 b3))
)
)


