chore(encode): disable USELESS_SUPPORTS by default

planning/planners/src/encode/symmetry.rs

@@ -16,7 +16,7 @@ use crate::Model;
 /// The value of this parameter is loaded from the environment variable `ARIES_LCP_SYMMETRY_BREAKING`.
 /// Possible values are `none` and `simple` (default).
 pub static SYMMETRY_BREAKING: EnvParam<SymmetryBreakingType> = EnvParam::new("ARIES_LCP_SYMMETRY_BREAKING", "psp");
-pub static USELESS_SUPPORTS: EnvParam<bool> = EnvParam::new("ARIES_USELESS_SUPPORTS", "true");
+pub static USELESS_SUPPORTS: EnvParam<bool> = EnvParam::new("ARIES_USELESS_SUPPORTS", "false");
 pub static PSP_ABSTRACTION_HIERARCHY: EnvParam<bool> = EnvParam::new("ARIES_PSP_ABSTRACTION_HIERARCHY", "true");
 
 /// The type of symmetry breaking to apply to problems.

planning/problems/upf/ipc2006-tpp-propositional-strips/domain.pddl

@@ -0,0 +1,24 @@
+(define (domain grounded_strips_tpp-domain)
+ (:requirements :strips)
+ (:predicates (at_truck1_market1) (on_sale_goods1_market1_level0) (ready_to_load_goods1_market1_level1) (loaded_goods1_truck1_level1) (stored_goods1_level1) (stored_goods1_level0) (loaded_goods1_truck1_level0) (on_sale_goods1_market1_level1) (ready_to_load_goods1_market1_level0) (at_truck1_depot1))
+ (:action unload_goods1_truck1_depot1_level0_level1_level0_level1
+  :parameters ()
+  :precondition (and (stored_goods1_level0) (loaded_goods1_truck1_level1) (at_truck1_depot1))
+  :effect (and (loaded_goods1_truck1_level0) (stored_goods1_level1) (not (loaded_goods1_truck1_level1)) (not (stored_goods1_level0))))
+ (:action load_goods1_truck1_market1_level0_level1_level0_level1
+  :parameters ()
+  :precondition (and (ready_to_load_goods1_market1_level1) (loaded_goods1_truck1_level0) (at_truck1_market1))
+  :effect (and (loaded_goods1_truck1_level1) (ready_to_load_goods1_market1_level0) (not (loaded_goods1_truck1_level0)) (not (ready_to_load_goods1_market1_level1))))
+ (:action drive_truck1_market1_depot1
+  :parameters ()
+  :precondition (and (at_truck1_market1))
+  :effect (and (at_truck1_depot1) (not (at_truck1_market1))))
+ (:action buy_truck1_goods1_market1_level0_level1_level0_level1
+  :parameters ()
+  :precondition (and (ready_to_load_goods1_market1_level0) (on_sale_goods1_market1_level1) (at_truck1_market1))
+  :effect (and (on_sale_goods1_market1_level0) (ready_to_load_goods1_market1_level1) (not (on_sale_goods1_market1_level1)) (not (ready_to_load_goods1_market1_level0))))
+ (:action drive_truck1_depot1_market1
+  :parameters ()
+  :precondition (and (at_truck1_depot1))
+  :effect (and (at_truck1_market1) (not (at_truck1_depot1))))
+)

planning/problems/upf/ipc2006-tpp-propositional-strips/max_depth.txt

@@ -0,0 +1 @@
+1

planning/problems/upf/ipc2006-tpp-propositional-strips/problem.pddl

@@ -0,0 +1,5 @@
+(define (problem grounded_strips_tpp-problem)
+ (:domain grounded_strips_tpp-domain)
+ (:init (at_truck1_depot1) (on_sale_goods1_market1_level1) (loaded_goods1_truck1_level0) (stored_goods1_level0) (ready_to_load_goods1_market1_level0))
+ (:goal (and (stored_goods1_level1)))
+)