(define (problem strips-mysty-x-11) (:domain no-mystery-strips) (:objects endingen kandern wollbach freiburg guendlingen weil sexau bad-bellingen betonmischer faschiertes apfel weihnachtsbaum kaesefondue gruenkohl leipziger-allerlei donnerkiesel twix fuel-0 fuel-1 fuel-2 fuel-3 fuel-4 fuel-5 capacity-0 capacity-1 capacity-2) (:init (at apfel kandern) (at betonmischer wollbach) (at donnerkiesel sexau) (at faschiertes endingen) (at gruenkohl guendlingen) (at kaesefondue freiburg) (at leipziger-allerlei weil) (at twix bad-bellingen) (at weihnachtsbaum wollbach) (capacity betonmischer capacity-2) (capacity-number capacity-0) (capacity-number capacity-1) (capacity-number capacity-2) (capacity-predecessor capacity-0 capacity-1) (capacity-predecessor capacity-1 capacity-2) (connected bad-bellingen freiburg) (connected bad-bellingen guendlingen) (connected bad-bellingen weil) (connected endingen kandern) (connected endingen weil) (connected freiburg bad-bellingen) (connected freiburg wollbach) (connected guendlingen bad-bellingen) (connected guendlingen weil) (connected kandern endingen) (connected kandern wollbach) (connected sexau weil) (connected sexau wollbach) (connected weil bad-bellingen) (connected weil endingen) (connected weil guendlingen) (connected weil sexau) (connected wollbach freiburg) (connected wollbach kandern) (connected wollbach sexau) (fuel bad-bellingen fuel-2) (fuel endingen fuel-3) (fuel freiburg fuel-1) (fuel guendlingen fuel-4) (fuel kandern fuel-0) (fuel sexau fuel-3) (fuel weil fuel-5) (fuel wollbach fuel-2) (fuel-number fuel-0) (fuel-number fuel-1) (fuel-number fuel-2) (fuel-number fuel-3) (fuel-number fuel-4) (fuel-number fuel-5) (fuel-predecessor fuel-0 fuel-1) (fuel-predecessor fuel-1 fuel-2) (fuel-predecessor fuel-2 fuel-3) (fuel-predecessor fuel-3 fuel-4) (fuel-predecessor fuel-4 fuel-5) (location bad-bellingen) (location endingen) (location freiburg) (location guendlingen) (location kandern) (location sexau) (location weil) (location wollbach) (package apfel) (package donnerkiesel) (package faschiertes) (package gruenkohl) (package kaesefondue) (package leipziger-allerlei) (package twix) (package weihnachtsbaum) (vehicle betonmischer)) (:goal (and (at kaesefondue guendlingen) (at weihnachtsbaum guendlingen))))