(define (problem Big-bull1)
    (:domain bulldozer)
  (:objects a b c d e f g jack bulldozer)
  (:goal (and (at bulldozer g) (at jack a)))
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a b) (road b a)
	 (road a e) (road e a)
	 (road e b) (road b e)
	 (road a c) (road c a)
	 (road c b) (road b c)
	 (bridge b d) (bridge d b)
	 (bridge c f) (bridge f c)
	 (road d f) (road f d)
	 (road f g) (road g f)
	 (road d g) (road g d)))(define (problem big-bull2)
    (:domain bulldozer)
  (:objects a b c d e f g h i j k l m n
	    jack bulldozer)
  (:goal (AND (at bulldozer g)))
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a b) (road b a)
	 (road a c) (road c a)
	 (road c d) (road d c)
	 (road d e) (road e d)
	 (road e j) (road j e)
	 (road d f) (road f d)
	 (road f j) (road j f)
	 (road f k) (road k f)
	 (road j h) (road h j)
	 (road h k) (road k h)
	 (bridge k l) (bridge l k)
	 (bridge k n) (bridge n k)
	 (road l m) (road m l)
	 (road m n) (road n m)
	 (road m g) (road g m)
	 (road n g) (road g n)))(define (problem Bulldozer-prob)
    (:domain bulldozer)
  (:objects a b c d e f g
	    jack bulldozer)
  (:goal (AND (at bulldozer g)))
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a b) (road b a)
	 (road a e) (road e a)
	 (road e b) (road b e)
	 (road a c) (road c a)
	 (road c b) (road b c)
	 (bridge b d) (bridge d b)
	 (bridge c f) (bridge f c)
	 (road d f) (road f d)
	 (road f g) (road g f)
	 (road d g) (road g d))
  (:length (:serial 5 ) (:parallel 5))
  )(define (problem One-way)
    (:domain bulldozer)
  (:objects a b d e g
	    jack bulldozer)
  (:goal (AND (at bulldozer g)))
  (:length (:serial 5 ) (:parallel 5))  
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a e)
	 (road e b)
	 (bridge b d)
	 (road d g)))(define (problem dumber-than-dirt)
    (:domain bulldozer)
  (:objects a g
	    jack bulldozer)
  (:goal (AND (at bulldozer g)))
  (:init (at jack a) (at bulldozer a)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a g))
  (:length (:serial 2 ) (:parallel 2)) 
  )(define (problem Go-Jack)
    (:domain bulldozer)
  (:objects a b d e g jack)
  (:goal (AND (at Jack g)))
  (:length (:serial 4 ) (:parallel 4))
  (:init (at jack a) 
	 ;;(at bulldozer e)
	 ;; (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a e)
	 (road e b)
	 (bridge b d)
	 (road d g)))(define (problem Get-back-Jack)
    (:domain bulldozer)
  (:objects a b c d e f g
	    jack bulldozer)
  (:goal (and (at bulldozer g) (at Jack a)))
  (:length (:serial 9 ) (:parallel 9))  
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a b) (road b a)
	 (road a e) (road e a)
	 (road e b) (road b e)
	 (road a c) (road c a)
	 (road c b) (road b c)
	 (bridge b d) (bridge d b)
	 (bridge c f) (bridge f c)
	 (road d f) (road f d)
	 (road f g) (road g f)
	 (road d g) (road g d)))(define (problem Jack-back)
    (:domain bulldozer)
  (:objects a g jack bulldozer)
  (:length (:serial 4) (:parallel 4)) 
  (:goal (and (at bulldozer g) (at Jack a)))
  (:init (at jack a) (at bulldozer a)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a g) (road g a)))(define (problem Jack-back2)
    (:domain bulldozer)
  (:objects a e g jack bulldozer)
  (:length (:serial 6) (:parallel 6))
  (:goal (and (at bulldozer g) (at Jack a)))
  (:init (at jack a) (at bulldozer e)
	 (vehicle bulldozer)
	 (mobile jack)
	 (person jack)
	 (road a e) (road e a)
	 (road a g) (road g a)))