Measurements WIP

1 files changed, 3 insertions, 2 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
index 5f8a01b1..b4d51684 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -3,14 +3,15 @@
         "outputPath": "outputModels",
         "timeout": 1200,
         "saveModels": false,
+        "saveTemporaryFiles": true,
         "warmupIterations": 0,
         "iterations": 5,
         "domain": "Yakindu",
-        "scope": "quantiles",
+        "scope": "none",
         "sizes": [100],
         "solver": "ViatraSolver",
         "scopePropagator": "polyhedral",
         "propagatedConstraints": "hints",
         "polyhedronSolver": "Clp",
-        "scopeHeuristic": "basic"
+        "scopeHeuristic": "polyhedral"
 }