removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / logistics-strips-length / prob021.pddl

diff --git a/satPlan2006/include/Examples/logistics-strips-length/prob021.pddl b/satPlan2006/include/Examples/logistics-strips-length/prob021.pddl
deleted file mode 100644 (file)
index 7ef6a88..0000000
--- a/satPlan2006/include/Examples/logistics-strips-length/prob021.pddl
+++ /dev/null
@@ -1,137 +0,0 @@
-;; a logistics problem instance\r
-;; name: log021\r
-;; #packages: 10        #cities: 6  #planes: 3\r
-;; #locs_per_city: 2   #trucks_per_city: 1\r
-;; #goals: 10           seed: 12268313\r
-\r
-(define (problem log021)\r
-    (:domain logistics-strips)\r
-    (:length (:parallel 11))   \r
-    (:objects \r
-        package1\r
-        package2\r
-        package3\r
-        package4\r
-        package5\r
-        package6\r
-        package7\r
-        package8\r
-        package9\r
-        package10\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
-        (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 loc6-1)\r
-        (at plane2 loc5-1)\r
-        (at plane3 loc4-1)\r
-        (at truck1-1 loc1-1)\r
-        (at truck2-1 loc2-2)\r
-        (at truck3-1 loc3-2)\r
-        (at truck4-1 loc4-1)\r
-        (at truck5-1 loc5-2)\r
-        (at truck6-1 loc6-2)\r
-        (at package1 loc1-2)\r
-        (at package2 loc6-2)\r
-        (at package3 loc5-2)\r
-        (at package4 loc6-2)\r
-        (at package5 loc1-1)\r
-        (at package6 loc5-1)\r
-        (at package7 loc2-1)\r
-        (at package8 loc1-2)\r
-        (at package9 loc4-2)\r
-        (at package10 loc4-1)\r
-    )\r
-    (:goal (and\r
-        (at package1 loc6-1)\r
-        (at package2 loc4-2)\r
-        (at package3 loc3-1)\r
-        (at package4 loc2-2)\r
-        (at package5 loc3-1)\r
-        (at package6 loc1-1)\r
-        (at package7 loc4-2)\r
-        (at package8 loc4-2)\r
-        (at package9 loc3-2)\r
-        (at package10 loc4-1)\r
-    ))\r
-)\r