diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/configs')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json | 16 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu.json | 13 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json | 17 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore.json (renamed from Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json) | 9 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json (renamed from Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json) | 11 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json | 17 |
6 files changed, 24 insertions, 59 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 @@ | |||
1 | { | ||
2 | "inputPath": "initialModels", | ||
3 | "outputPath": "outputModels", | ||
4 | "timeout": 1200, | ||
5 | "saveModels": true, | ||
6 | "warmupIterations": 0, | ||
7 | "iterations": 5, | ||
8 | "domain": "FAM", | ||
9 | "scope": "none", | ||
10 | "sizes": [500], | ||
11 | "solver": "ViatraSolver", | ||
12 | "scopePropagator": "polyhedral", | ||
13 | "propagatedConstraints": "hints", | ||
14 | "polyhedronSolver": "Clp", | ||
15 | "scopeHeuristics": "polyhedral" | ||
16 | } | ||
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 @@ | |||
1 | { | ||
2 | "inputPath": "initialModels", | ||
3 | "outputPath": "outputModels", | ||
4 | "timeout": 300, | ||
5 | "saveModels": true, | ||
6 | "saveTemporaryFiles": false, | ||
7 | "warmupIterations": 0, | ||
8 | "iterations": 30, | ||
9 | "domain": "Yakindu", | ||
10 | "scope": "unsat", | ||
11 | "sizes": [20], | ||
12 | "solver": "AlloySolver" | ||
13 | } | ||
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json deleted file mode 100644 index b4d51684..00000000 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json +++ /dev/null | |||
@@ -1,17 +0,0 @@ | |||
1 | { | ||
2 | "inputPath": "initialModels", | ||
3 | "outputPath": "outputModels", | ||
4 | "timeout": 1200, | ||
5 | "saveModels": false, | ||
6 | "saveTemporaryFiles": true, | ||
7 | "warmupIterations": 0, | ||
8 | "iterations": 5, | ||
9 | "domain": "Yakindu", | ||
10 | "scope": "none", | ||
11 | "sizes": [100], | ||
12 | "solver": "ViatraSolver", | ||
13 | "scopePropagator": "polyhedral", | ||
14 | "propagatedConstraints": "hints", | ||
15 | "polyhedronSolver": "Clp", | ||
16 | "scopeHeuristic": "polyhedral" | ||
17 | } | ||
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/ecore.json index a7e29a22..36fb0ea2 100644 --- 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/ecore.json | |||
@@ -1,13 +1,14 @@ | |||
1 | { | 1 | { |
2 | "inputPath": "initialModels", | 2 | "inputPath": "initialModels", |
3 | "outputPath": "outputModels", | 3 | "outputPath": "outputModels", |
4 | "timeout": 1200, | 4 | "timeout": 300, |
5 | "saveModels": true, | 5 | "saveModels": true, |
6 | "warmupIterations": 1, | 6 | "saveTemporaryFiles": false, |
7 | "warmupIterations": 0, | ||
7 | "iterations": 1, | 8 | "iterations": 1, |
8 | "domain": "fs", | 9 | "domain": "ecoreUnsat", |
9 | "scope": "none", | 10 | "scope": "none", |
10 | "sizes": [50, 100, 150, 200, 250, 300, 350, 400, 450, 500], | 11 | "sizes": [5, 10, 20, 30, 40, 50], |
11 | "solver": "ViatraSolver", | 12 | "solver": "ViatraSolver", |
12 | "scopePropagator": "polyhedral", | 13 | "scopePropagator": "polyhedral", |
13 | "propagatedConstraints": "hints", | 14 | "propagatedConstraints": "hints", |
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json index 72e97957..16abb5d0 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite.json | |||
@@ -1,13 +1,14 @@ | |||
1 | { | 1 | { |
2 | "inputPath": "initialModels", | 2 | "inputPath": "initialModels", |
3 | "outputPath": "outputModels", | 3 | "outputPath": "outputModels", |
4 | "timeout": 1200, | 4 | "timeout": 300, |
5 | "saveModels": true, | 5 | "saveModels": true, |
6 | "saveTemporaryFiles": false, | ||
6 | "warmupIterations": 0, | 7 | "warmupIterations": 0, |
7 | "iterations": 5, | 8 | "iterations": 30, |
8 | "domain": "ecore", | 9 | "domain": "satelliteUnsat", |
9 | "scope": "quantiles", | 10 | "scope": "none", |
10 | "sizes": [50], | 11 | "sizes": [10], |
11 | "solver": "ViatraSolver", | 12 | "solver": "ViatraSolver", |
12 | "scopePropagator": "polyhedral", | 13 | "scopePropagator": "polyhedral", |
13 | "propagatedConstraints": "hints", | 14 | "propagatedConstraints": "hints", |
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json deleted file mode 100644 index d5469948..00000000 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json +++ /dev/null | |||
@@ -1,17 +0,0 @@ | |||
1 | { | ||
2 | "inputPath": "initialModels", | ||
3 | "outputPath": "outputModels", | ||
4 | "timeout": 120, | ||
5 | "saveModels": true, | ||
6 | "saveTemporaryFiles": true, | ||
7 | "warmupIterations": 0, | ||
8 | "iterations": 1, | ||
9 | "domain": "Yakindu", | ||
10 | "scope": "quantiles", | ||
11 | "sizes": [10, 20, 30, 40, 50, 60, 70, 80, 90, 100], | ||
12 | "solver": "ViatraSolver", | ||
13 | "scopePropagator": "polyhedral", | ||
14 | "propagatedConstraints": "hints", | ||
15 | "polyhedronSolver": "Clp", | ||
16 | "scopeHeuristic": "polyhedral" | ||
17 | } | ||