From 6a3ff9bb588bf47242a56b91e35479dbba38eb19 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 7 May 2020 17:26:07 +0200
Subject: Scope unsat benchmarks

---
 Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json

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

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"
+}
-- 
cgit v1.2.3-54-g00ecf