1 files changed, 5 insertions, 2 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
index 26df3c74..1e2d4dd4 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -4,10 +4,13 @@
         "timeout": 1200,
         "saveModels": true,
         "warmupIterations": 0,
-        "iterations": 1,
+        "iterations": 5,
         "domain": "FAM",
         "scope": "none",
         "sizes": [500],
         "solver": "ViatraSolver",
-        "scopePropagator": "basic"
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "hints",
+        "polyhedronSolver": "Clp",
+        "scopeHeuristics": "polyhedral"
 }