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

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

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

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