1 files changed, 15 insertions, 0 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
new file mode 100644
index 00000000..d7955ddd
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,15 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": true,
+        "warmupIterations": 1,
+        "iterations": 1,
+        "domain": "fs",
+        "scope": "useful",
+        "sizes": [50, 100, 150, 200, 250, 300, 350, 400, 450, 500],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "relations",
+        "polyhedronSolver": "Clp"
+}