;; Generated by blocksworld generator
;; http://www.cs.rutgers.edu/~jasmuth/blocksworld.tar.gz
;; by John Asmuth (jasmuth@cs.rutgers.edu)

(define (domain bw-nc-125-1-D)
 (:requirements :adl :probabilistic-effects :fluents :rewards)
 (:types block table)
 (:constants table - table)
 (:predicates
  (holding ?block - block)
  (on-top-of ?block - block ?obj)
 )
 (:action pick-up-block-from
  :parameters (?top - block ?bottom)
  :precondition (and (not (= ?top ?bottom))
                     (forall (?b - block) (not (holding ?b)))
                     (on-top-of ?top ?bottom)
                     (forall (?b - block) (not (on-top-of ?b ?top))))
  :effect 
   (and (decrease (reward) 1)
  (probabilistic 0.75 (and (holding ?top)
                                   (not (on-top-of ?top ?bottom)))
                         0.25 (when (not (= ?bottom table))
                                    (and (not (on-top-of ?top ?bottom))
                                         (on-top-of ?top table))))
)
 )
 (:action put-down-block-on
  :parameters (?top - block ?bottom)
  :precondition (and (not (= ?top ?bottom))
                     (holding ?top)
                     (or (= ?bottom table)
                         (forall (?b - block) (not (on-top-of ?b ?bottom)))))
  :effect (and (not (holding ?top))
               (probabilistic 0.75 (on-top-of ?top ?bottom)
                              0.25 (on-top-of ?top table))
          )
 )
)
(define (problem bw-nc-125-1)
 (:domain bw-nc-125-1-D)
 (:objects block0 block1 block2 block3 block4 block5 block6 block7 block8 block9 block10 block11 block12 block13 block14 block15 block16 block17 block18 block19 block20 block21 block22 block23 block24 block25 block26 block27 block28 block29 block30 block31 block32 block33 block34 block35 block36 block37 block38 block39 block40 block41 block42 block43 block44 block45 block46 block47 block48 block49 block50 block51 block52 block53 block54 block55 block56 block57 block58 block59 block60 block61 block62 block63 block64 block65 block66 block67 block68 block69 block70 block71 block72 block73 block74 block75 block76 block77 block78 block79 block80 block81 block82 block83 block84 block85 block86 block87 block88 block89 block90 block91 block92 block93 block94 block95 block96 block97 block98 block99 block100 block101 block102 block103 block104 block105 block106 block107 block108 block109 block110 block111 block112 block113 block114 block115 block116 block117 block118 block119 block120 block121 block122 block123 block124 - block)
 (:init
  (on-top-of block0 block1)
  (on-top-of block1 block2)
  (on-top-of block2 block3)
  (on-top-of block3 block4)
  (on-top-of block4 block5)
  (on-top-of block5 table)
  (on-top-of block6 block7)
  (on-top-of block7 block8)
  (on-top-of block8 block9)
  (on-top-of block9 block10)
  (on-top-of block10 block11)
  (on-top-of block11 block12)
  (on-top-of block12 block13)
  (on-top-of block13 block14)
  (on-top-of block14 block15)
  (on-top-of block15 block16)
  (on-top-of block16 block17)
  (on-top-of block17 block18)
  (on-top-of block18 block19)
  (on-top-of block19 block20)
  (on-top-of block20 block21)
  (on-top-of block21 block22)
  (on-top-of block22 block23)
  (on-top-of block23 block24)
  (on-top-of block24 block25)
  (on-top-of block25 block26)
  (on-top-of block26 block27)
  (on-top-of block27 block28)
  (on-top-of block28 block29)
  (on-top-of block29 block30)
  (on-top-of block30 block31)
  (on-top-of block31 block32)
  (on-top-of block32 block33)
  (on-top-of block33 block34)
  (on-top-of block34 block35)
  (on-top-of block35 block36)
  (on-top-of block36 block37)
  (on-top-of block37 block38)
  (on-top-of block38 block39)
  (on-top-of block39 block40)
  (on-top-of block40 block41)
  (on-top-of block41 block42)
  (on-top-of block42 block43)
  (on-top-of block43 block44)
  (on-top-of block44 block45)
  (on-top-of block45 block46)
  (on-top-of block46 block47)
  (on-top-of block47 block48)
  (on-top-of block48 block49)
  (on-top-of block49 block50)
  (on-top-of block50 block51)
  (on-top-of block51 block52)
  (on-top-of block52 block53)
  (on-top-of block53 block54)
  (on-top-of block54 block55)
  (on-top-of block55 block56)
  (on-top-of block56 block57)
  (on-top-of block57 block58)
  (on-top-of block58 block59)
  (on-top-of block59 block60)
  (on-top-of block60 block61)
  (on-top-of block61 block62)
  (on-top-of block62 block63)
  (on-top-of block63 block64)
  (on-top-of block64 block65)
  (on-top-of block65 block66)
  (on-top-of block66 block67)
  (on-top-of block67 block68)
  (on-top-of block68 block69)
  (on-top-of block69 block70)
  (on-top-of block70 block71)
  (on-top-of block71 block72)
  (on-top-of block72 block73)
  (on-top-of block73 block74)
  (on-top-of block74 block75)
  (on-top-of block75 block76)
  (on-top-of block76 block77)
  (on-top-of block77 block78)
  (on-top-of block78 block79)
  (on-top-of block79 block80)
  (on-top-of block80 block81)
  (on-top-of block81 block82)
  (on-top-of block82 table)
  (on-top-of block83 block84)
  (on-top-of block84 block85)
  (on-top-of block85 block86)
  (on-top-of block86 block87)
  (on-top-of block87 block88)
  (on-top-of block88 block89)
  (on-top-of block89 block90)
  (on-top-of block90 block91)
  (on-top-of block91 block92)
  (on-top-of block92 table)
  (on-top-of block93 block94)
  (on-top-of block94 block95)
  (on-top-of block95 block96)
  (on-top-of block96 block97)
  (on-top-of block97 block98)
  (on-top-of block98 block99)
  (on-top-of block99 block100)
  (on-top-of block100 block101)
  (on-top-of block101 block102)
  (on-top-of block102 block103)
  (on-top-of block103 block104)
  (on-top-of block104 block105)
  (on-top-of block105 block106)
  (on-top-of block106 block107)
  (on-top-of block107 block108)
  (on-top-of block108 block109)
  (on-top-of block109 block110)
  (on-top-of block110 block111)
  (on-top-of block111 block112)
  (on-top-of block112 block113)
  (on-top-of block113 block114)
  (on-top-of block114 block115)
  (on-top-of block115 block116)
  (on-top-of block116 block117)
  (on-top-of block117 block118)
  (on-top-of block118 block119)
  (on-top-of block119 block120)
  (on-top-of block120 block121)
  (on-top-of block121 table)
  (on-top-of block122 table)
  (on-top-of block123 table)
  (on-top-of block124 table)
 )
 (:goal
  (and
   (on-top-of block0 block3)
   (on-top-of block3 block61)
   (on-top-of block61 block103)
   (on-top-of block103 block18)
   (on-top-of block18 block20)
   (on-top-of block20 block66)
   (on-top-of block66 block108)
   (on-top-of block108 block39)
   (on-top-of block39 block89)
   (on-top-of block89 block121)
   (on-top-of block121 block96)
   (on-top-of block96 block36)
   (on-top-of block36 block2)
   (on-top-of block2 block117)
   (on-top-of block117 block72)
   (on-top-of block72 block94)
   (on-top-of block94 block62)
   (on-top-of block62 block115)
   (on-top-of block115 block82)
   (on-top-of block82 block86)
   (on-top-of block86 block109)
   (on-top-of block109 block124)
   (on-top-of block124 block29)
   (on-top-of block29 block25)
   (on-top-of block25 block44)
   (on-top-of block44 block15)
   (on-top-of block15 block118)
   (on-top-of block118 block54)
   (on-top-of block54 block68)
   (on-top-of block68 block11)
   (on-top-of block11 block24)
   (on-top-of block24 block5)
   (on-top-of block5 block56)
   (on-top-of block56 block85)
   (on-top-of block85 block119)
   (on-top-of block119 block104)
   (on-top-of block104 block12)
   (on-top-of block12 block65)
   (on-top-of block65 block48)
   (on-top-of block48 block75)
   (on-top-of block75 block22)
   (on-top-of block22 block53)
   (on-top-of block53 block63)
   (on-top-of block63 block14)
   (on-top-of block14 block98)
   (on-top-of block98 block32)
   (on-top-of block32 table)
   (on-top-of block40 block106)
   (on-top-of block106 block88)
   (on-top-of block88 block90)
   (on-top-of block90 block10)
   (on-top-of block10 block35)
   (on-top-of block35 block57)
   (on-top-of block57 block93)
   (on-top-of block93 block87)
   (on-top-of block87 block73)
   (on-top-of block73 block112)
   (on-top-of block112 block16)
   (on-top-of block16 block4)
   (on-top-of block4 block28)
   (on-top-of block28 block38)
   (on-top-of block38 block114)
   (on-top-of block114 block60)
   (on-top-of block60 block67)
   (on-top-of block67 block30)
   (on-top-of block30 block43)
   (on-top-of block43 block84)
   (on-top-of block84 block110)
   (on-top-of block110 block97)
   (on-top-of block97 block71)
   (on-top-of block71 block13)
   (on-top-of block13 block47)
   (on-top-of block47 block69)
   (on-top-of block69 block33)
   (on-top-of block33 block7)
   (on-top-of block7 block8)
   (on-top-of block8 block41)
   (on-top-of block41 block77)
   (on-top-of block77 block92)
   (on-top-of block92 block83)
   (on-top-of block83 block95)
   (on-top-of block95 block19)
   (on-top-of block19 block9)
   (on-top-of block9 block45)
   (on-top-of block45 block26)
   (on-top-of block26 block51)
   (on-top-of block51 block34)
   (on-top-of block34 block91)
   (on-top-of block91 block27)
   (on-top-of block27 block31)
   (on-top-of block31 block58)
   (on-top-of block58 block52)
   (on-top-of block52 block101)
   (on-top-of block101 block81)
   (on-top-of block81 block78)
   (on-top-of block78 block21)
   (on-top-of block21 block113)
   (on-top-of block113 block49)
   (on-top-of block49 table)
   (on-top-of block107 block122)
   (on-top-of block122 block42)
   (on-top-of block42 block37)
   (on-top-of block37 block74)
   (on-top-of block74 block79)
   (on-top-of block79 block76)
   (on-top-of block76 block105)
   (on-top-of block105 block111)
   (on-top-of block111 block55)
   (on-top-of block55 block6)
   (on-top-of block6 block80)
   (on-top-of block80 block99)
   (on-top-of block99 block116)
   (on-top-of block116 block70)
   (on-top-of block70 block123)
   (on-top-of block123 block23)
   (on-top-of block23 block17)
   (on-top-of block17 block46)
   (on-top-of block46 block59)
   (on-top-of block59 table)
   (on-top-of block50 block1)
   (on-top-of block1 table)
   (on-top-of block100 block120)
   (on-top-of block120 table)
   (on-top-of block102 block64)
   (on-top-of block64 table)

  )
 )
)