1 files changed, 0 insertions, 17 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
deleted file mode 100644
index d5469948..00000000
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
+++ /dev/null
@@ -1,17 +0,0 @@
-{
-        "inputPath": "initialModels",
-        "outputPath": "outputModels",
-        "timeout": 120,
-        "saveModels": true,
-        "saveTemporaryFiles": true,
-        "warmupIterations": 0,
-        "iterations": 1,
-        "domain": "Yakindu",
-        "scope": "quantiles",
-        "sizes": [10, 20, 30, 40, 50, 60, 70, 80, 90, 100],
-        "solver": "ViatraSolver",
-        "scopePropagator": "polyhedral",
-        "propagatedConstraints": "hints",
-        "polyhedronSolver": "Clp",
-        "scopeHeuristic": "polyhedral"
-}