From be4fbe4fb10a27dd07d4139c1962af7c0de436ea Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Thu, 22 Aug 2019 20:43:03 +0200
Subject: Measurements WIP

---
 .../Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json    | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Tests/hu.bme.mit.inf.dslreasoner.run')

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"
 }
-- 
cgit v1.2.3-70-g09d2