+++ /dev/null
-;; a logistics problem instance\r
-;; name: log012\r
-;; #packages: 9 #cities: 4 #planes: 3\r
-;; #locs_per_city: 2 #trucks_per_city: 1\r
-;; #goals: 9 seed: 21736079\r
-\r
-(define (problem log012)\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
- 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
- )\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
- (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
- (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
- (at plane1 loc1-1)\r
- (at plane2 loc1-1)\r
- (at plane3 loc1-1)\r
- (at truck1-1 loc1-1)\r
- (at truck2-1 loc2-2)\r
- (at truck3-1 loc3-1)\r
- (at truck4-1 loc4-1)\r
- (at package1 loc2-1)\r
- (at package2 loc4-1)\r
- (at package3 loc3-1)\r
- (at package4 loc3-1)\r
- (at package5 loc2-1)\r
- (at package6 loc2-2)\r
- (at package7 loc2-2)\r
- (at package8 loc2-1)\r
- (at package9 loc1-2)\r
- )\r
- (:goal (and\r
- (at package1 loc2-1)\r
- (at package2 loc1-1)\r
- (at package3 loc2-2)\r
- (at package4 loc1-2)\r
- (at package5 loc1-2)\r
- (at package6 loc4-1)\r
- (at package7 loc2-1)\r
- (at package8 loc3-1)\r
- (at package9 loc1-1)\r
- ))\r
-)\r