Scope unsat benchmarks

author: Kristóf Marussy <marussy@mit.bme.hu> 2020-05-07 17:26:07 +0200
committer: Kristóf Marussy <marussy@mit.bme.hu> 2020-05-07 17:26:07 +0200
commit: 6a3ff9bb588bf47242a56b91e35479dbba38eb19 (patch)
tree: 0432ecd0edafb99dc9f017d0a8cfee31a931583a /Tests/hu.bme.mit.inf.dslreasoner.run/configs
parent: Fix concurrency bug in AlloyHandler (diff)
download: VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.gz
VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.zst
VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.zip
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 @@
-{
-        "inputPath": "initialModels",
-        "outputPath": "outputModels",
-        "timeout": 1200,
-        "saveModels": true,
-        "warmupIterations": 0,
-        "iterations": 5,
-        "domain": "FAM",
-        "scope": "none",
-        "sizes": [500],
-        "solver": "ViatraSolver",
-        "scopePropagator": "polyhedral",
-        "propagatedConstraints": "hints",
-        "polyhedronSolver": "Clp",
-        "scopeHeuristics": "polyhedral"
-}
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/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 @@
-{
-        "inputPath": "initialModels",
-        "outputPath": "outputModels",
-        "timeout": 1200,
-        "saveModels": false,
-        "saveTemporaryFiles": true,
-        "warmupIterations": 0,
-        "iterations": 5,
-        "domain": "Yakindu",
-        "scope": "none",
-        "sizes": [100],
-        "solver": "ViatraSolver",
-        "scopePropagator": "polyhedral",
-        "propagatedConstraints": "hints",
-        "polyhedronSolver": "Clp",
-        "scopeHeuristic": "polyhedral"
-}
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 @@
 {
        "inputPath": "initialModels",
        "outputPath": "outputModels",
-        "timeout": 1200,
+        "timeout": 300,
        "saveModels": true,
-        "warmupIterations": 1,
+        "saveTemporaryFiles": false,
+        "warmupIterations": 0,
        "iterations": 1,
-        "domain": "fs",
+        "domain": "ecoreUnsat",
        "scope": "none",
-        "sizes": [50, 100, 150, 200, 250, 300, 350, 400, 450, 500],
+        "sizes": [5, 10, 20, 30, 40, 50],
        "solver": "ViatraSolver",
        "scopePropagator": "polyhedral",
        "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 @@
 {
        "inputPath": "initialModels",
        "outputPath": "outputModels",
-        "timeout": 1200,
+        "timeout": 300,
        "saveModels": true,
+        "saveTemporaryFiles": false,
        "warmupIterations": 0,
-        "iterations": 5,
+        "iterations": 30,
-        "domain": "ecore",
+        "domain": "satelliteUnsat",
-        "scope": "quantiles",
+        "scope": "none",
-        "sizes": [50],
+        "sizes": [10],
        "solver": "ViatraSolver",
        "scopePropagator": "polyhedral",
        "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 @@
-{
-        "inputPath": "initialModels",
-        "outputPath": "outputModels",
-        "timeout": 120,
-        "saveModels": true,
-        "saveTemporaryFiles": true,
-        "warmupIterations": 0,
-        "iterations": 1,
-        "domain": "Yakindu",
-        "scope": "quantiles",
-        "sizes": [10, 20, 30, 40, 50, 60, 70, 80, 90, 100],
-        "solver": "ViatraSolver",
-        "scopePropagator": "polyhedral",
-        "propagatedConstraints": "hints",
-        "polyhedronSolver": "Clp",
-        "scopeHeuristic": "polyhedral"
-}
author	Kristóf Marussy <marussy@mit.bme.hu>	2020-05-07 17:26:07 +0200
committer	Kristóf Marussy <marussy@mit.bme.hu>	2020-05-07 17:26:07 +0200
commit	6a3ff9bb588bf47242a56b91e35479dbba38eb19 (patch)
tree	0432ecd0edafb99dc9f017d0a8cfee31a931583a /Tests/hu.bme.mit.inf.dslreasoner.run/configs
parent	Fix concurrency bug in AlloyHandler (diff)
download	VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.gz VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.tar.zst VIATRA-Generator-6a3ff9bb588bf47242a56b91e35479dbba38eb19.zip

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	}