+++ /dev/null
-;; a logistics problem instance\r
-;; name: log014\r
-;; #packages: 11 #cities: 6 #planes: 3\r
-;; #locs_per_city: 2 #trucks_per_city: 1\r
-;; #goals: 11 seed: 121386628\r
-\r
-(define (problem log014)\r
- (:domain logistics-strips)\r
- (:objects \r
- package1\r
- package2\r
- package3\r
- package4\r
- package5\r
- package6\r
- package7\r
- package8\r
- package9\r
- package10\r
- package11\r
- plane1\r
- plane2\r
- plane3\r
- truck1-1\r
- loc1-1\r
- loc1-2\r
- city1\r
- truck2-1\r
- loc2-1\r
- loc2-2\r
- city2\r
- truck3-1\r
- loc3-1\r
- loc3-2\r
- city3\r
- truck4-1\r
- loc4-1\r
- loc4-2\r
- city4\r
- truck5-1\r
- loc5-1\r
- loc5-2\r
- city5\r
- truck6-1\r
- loc6-1\r
- loc6-2\r
- city6\r
- )\r
- (:init \r
- (OBJ package1)\r
- (OBJ package2)\r
- (OBJ package3)\r
- (OBJ package4)\r
- (OBJ package5)\r
- (OBJ package6)\r
- (OBJ package7)\r
- (OBJ package8)\r
- (OBJ package9)\r
- (OBJ package10)\r
- (OBJ package11)\r
- (AIRPLANE plane1)\r
- (AIRPLANE plane2)\r
- (AIRPLANE plane3)\r
- (TRUCK truck1-1)\r
- (LOCATION loc1-1)\r
- (LOCATION loc1-2)\r
- (CITY city1)\r
- (AIRPORT loc1-1)\r
- (TRUCK truck2-1)\r
- (LOCATION loc2-1)\r
- (LOCATION loc2-2)\r
- (CITY city2)\r
- (AIRPORT loc2-1)\r
- (TRUCK truck3-1)\r
- (LOCATION loc3-1)\r
- (LOCATION loc3-2)\r
- (CITY city3)\r
- (AIRPORT loc3-1)\r
- (TRUCK truck4-1)\r
- (LOCATION loc4-1)\r
- (LOCATION loc4-2)\r
- (CITY city4)\r
- (AIRPORT loc4-1)\r
- (TRUCK truck5-1)\r
- (LOCATION loc5-1)\r
- (LOCATION loc5-2)\r
- (CITY city5)\r
- (AIRPORT loc5-1)\r
- (TRUCK truck6-1)\r
- (LOCATION loc6-1)\r
- (LOCATION loc6-2)\r
- (CITY city6)\r
- (AIRPORT loc6-1)\r
- (in-city loc1-1 city1)\r
- (in-city loc1-2 city1)\r
- (in-city loc2-1 city2)\r
- (in-city loc2-2 city2)\r
- (in-city loc3-1 city3)\r
- (in-city loc3-2 city3)\r
- (in-city loc4-1 city4)\r
- (in-city loc4-2 city4)\r
- (in-city loc5-1 city5)\r
- (in-city loc5-2 city5)\r
- (in-city loc6-1 city6)\r
- (in-city loc6-2 city6)\r
- (at plane1 loc4-1)\r
- (at plane2 loc2-1)\r
- (at plane3 loc5-1)\r
- (at truck1-1 loc1-2)\r
- (at truck2-1 loc2-1)\r
- (at truck3-1 loc3-2)\r
- (at truck4-1 loc4-2)\r
- (at truck5-1 loc5-1)\r
- (at truck6-1 loc6-1)\r
- (at package1 loc5-2)\r
- (at package2 loc5-2)\r
- (at package3 loc2-2)\r
- (at package4 loc3-2)\r
- (at package5 loc6-1)\r
- (at package6 loc3-2)\r
- (at package7 loc2-2)\r
- (at package8 loc3-1)\r
- (at package9 loc2-2)\r
- (at package10 loc3-2)\r
- (at package11 loc1-1)\r
- )\r
- (:goal (and\r
- (at package1 loc3-2)\r
- (at package2 loc3-2)\r
- (at package3 loc3-2)\r
- (at package4 loc6-1)\r
- (at package5 loc4-2)\r
- (at package6 loc1-1)\r
- (at package7 loc4-2)\r
- (at package8 loc2-2)\r
- (at package9 loc3-2)\r
- (at package10 loc3-1)\r
- (at package11 loc1-2)\r
- ))\r
-)\r