+++ /dev/null
-;; original name logistics.a\r
-;; extended version of logistics_facts7h\r
-;; (:length (:parallel 11))\r
-;; optimal\r
-;; #actions 54 #states 10^11\r
-;;\r
-;; note: by going to a non-typed representation\r
-;; of the problems, the instances become (somewhat)\r
-;; harder to solve.\r
-;; (larger propositional representation)\r
-;;\r
-\r
-(define (problem log004)\r
- (:domain logistics-strips)\r
- (:objects\r
- package1\r
- package2\r
- package3\r
- package4\r
- package5\r
- package6\r
- package7\r
- package8\r
-\r
- airplane1\r
- airplane2\r
-\r
- pgh\r
- bos\r
- la\r
-\r
- pgh-truck\r
- bos-truck\r
- la-truck\r
-\r
- pgh-po\r
- bos-po\r
- la-po\r
-\r
- pgh-airport\r
- bos-airport\r
- la-airport\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
-\r
- (AIRPLANE airplane1)\r
- (AIRPLANE airplane2)\r
-\r
- (CITY pgh)\r
- (CITY bos)\r
- (CITY la)\r
-\r
- (TRUCK pgh-truck)\r
- (TRUCK bos-truck)\r
- (TRUCK la-truck)\r
-\r
- (LOCATION bos-po)\r
- (LOCATION la-po)\r
- (LOCATION pgh-po)\r
-\r
- (AIRPORT bos-airport)\r
- (LOCATION bos-airport)\r
- (AIRPORT pgh-airport)\r
- (LOCATION pgh-airport)\r
- (AIRPORT la-airport)\r
- (LOCATION la-airport)\r
-\r
- (in-city pgh-po pgh)\r
- (in-city pgh-airport pgh)\r
-\r
- (in-city bos-po bos)\r
- (in-city bos-airport bos)\r
-\r
- (in-city la-po la)\r
- (in-city la-airport la)\r
-\r
- (at package1 pgh-po)\r
- (at package2 pgh-po)\r
- (at package3 pgh-po)\r
- (at package4 pgh-po)\r
- (at package5 bos-po)\r
- (at package6 bos-po)\r
- (at package7 bos-po)\r
- (at package8 la-po)\r
-\r
- (at airplane1 pgh-airport)\r
- (at airplane2 pgh-airport)\r
- \r
- (at bos-truck bos-po)\r
- (at pgh-truck pgh-po)\r
- (at la-truck la-po)\r
- )\r
- (:goal (and\r
- (at package1 bos-po)\r
- (at package2 bos-airport)\r
- (at package3 la-po)\r
- (at package4 la-airport)\r
- (at package5 pgh-po)\r
- (at package6 pgh-airport)\r
- (at package7 pgh-po)\r
- (at package8 pgh-po)\r
- ))\r
-)\r