1 files changed, 0 insertions, 16 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
deleted file mode 100644
index 1e2d4dd4..00000000
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
+++ /dev/null
@@ -1,16 +0,0 @@
-{
-        "inputPath": "initialModels",
-        "outputPath": "outputModels",
-        "timeout": 1200,
-        "saveModels": true,
-        "warmupIterations": 0,
-        "iterations": 5,
-        "domain": "FAM",
-        "scope": "none",
-        "sizes": [500],
-        "solver": "ViatraSolver",
-        "scopePropagator": "polyhedral",
-        "propagatedConstraints": "hints",
-        "polyhedronSolver": "Clp",
-        "scopeHeuristics": "polyhedral"
-}