removing SATPlan and adding conda and sypet

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

diff --git a/satPlan2006/include/Examples/logistics-strips-length/prob016.pddl b/satPlan2006/include/Examples/logistics-strips-length/prob016.pddl
deleted file mode 100644 (file)
index aeaedd7..0000000
--- a/satPlan2006/include/Examples/logistics-strips-length/prob016.pddl
+++ /dev/null
@@ -1,115 +0,0 @@
-;; a logistics problem instance\r
-;; name: log016\r
-;; #packages: 6        #cities: 6  #planes: 1\r
-;; #locs_per_city: 2   #trucks_per_city: 1\r
-;; #goals: 6           seed: 68345397\r
-\r
-(define (problem log016)\r
-    (:domain logistics-strips)\r
-    (:length (:parallel 16))         \r
-    (:objects \r
-        package1\r
-        package2\r
-        package3\r
-        package4\r
-        package5\r
-        package6\r
-        plane1\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
-        (AIRPLANE plane1)\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 loc2-1)\r
-        (at truck1-1 loc1-1)\r
-        (at truck2-1 loc2-2)\r
-        (at truck3-1 loc3-1)\r
-        (at truck4-1 loc4-2)\r
-        (at truck5-1 loc5-2)\r
-        (at truck6-1 loc6-1)\r
-        (at package1 loc2-2)\r
-        (at package2 loc3-2)\r
-        (at package3 loc4-2)\r
-        (at package4 loc5-2)\r
-        (at package5 loc6-2)\r
-        (at package6 loc5-1)\r
-    )\r
-    (:goal (and\r
-        (at package1 loc1-1)\r
-        (at package2 loc4-1)\r
-        (at package3 loc5-2)\r
-        (at package4 loc4-2)\r
-        (at package5 loc6-1)\r
-        (at package6 loc6-1)\r
-    ))\r
-)\r