3 files changed, 47 insertions, 0 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu.json
new file mode 100644
index 00000000..b602f2fe
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu.json
@@ -0,0 +1,13 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 300,
+        "saveModels": true,
+        "saveTemporaryFiles": false,
+        "warmupIterations": 0,
+        "iterations": 30,
+        "domain": "Yakindu",
+        "scope": "unsat",
+        "sizes": [20],
+        "solver": "AlloySolver"
+}
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json
new file mode 100644
index 00000000..36fb0ea2
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json
@@ -0,0 +1,17 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 300,
+        "saveModels": true,
+        "saveTemporaryFiles": false,
+        "warmupIterations": 0,
+        "iterations": 1,
+        "domain": "ecoreUnsat",
+        "scope": "none",
+        "sizes": [5, 10, 20, 30, 40, 50],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "hints",
+        "polyhedronSolver": "Clp",
+        "scopeHeuristic": "polyhedral"
+}
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json
new file mode 100644
index 00000000..16abb5d0
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json
@@ -0,0 +1,17 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 300,
+        "saveModels": true,
+        "saveTemporaryFiles": false,
+        "warmupIterations": 0,
+        "iterations": 30,
+        "domain": "satelliteUnsat",
+        "scope": "none",
+        "sizes": [10],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "hints",
+        "polyhedronSolver": "Clp",
+        "scopeHeuristic": "polyhedral"
+}