Measurements WIP

author: Kristóf Marussy <kris7topher@gmail.com> 2019-08-14 18:26:33 +0200
committer: Kristóf Marussy <kris7topher@gmail.com> 2019-08-14 18:26:33 +0200
commit: fc84d3fe670331bc89fb1e4c44104bc1fc811438 (patch)
tree: 466da8333151c51d2e17075600f9452ed35835da /Tests/hu.bme.mit.inf.dslreasoner.run/configs
parent: Be more lenient with rounding IP solver results (diff)
download: VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.gz
VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.zst
VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.zip
5 files changed, 76 insertions, 0 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
new file mode 100644
index 00000000..26df3c74
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,13 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": true,
+        "warmupIterations": 0,
+        "iterations": 1,
+        "domain": "FAM",
+        "scope": "none",
+        "sizes": [500],
+        "solver": "ViatraSolver",
+        "scopePropagator": "basic"
+}
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
new file mode 100644
index 00000000..5f8a01b1
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,16 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": false,
+        "warmupIterations": 0,
+        "iterations": 5,
+        "domain": "Yakindu",
+        "scope": "quantiles",
+        "sizes": [100],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "hints",
+        "polyhedronSolver": "Clp",
+        "scopeHeuristic": "basic"
+}
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/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
new file mode 100644
index 00000000..42073422
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,15 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": true,
+        "warmupIterations": 0,
+        "iterations": 5,
+        "domain": "ecore",
+        "scope": "quantiles",
+        "sizes": [100],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "relations",
+        "polyhedronSolver": "Clp"
+}
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/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
new file mode 100644
index 00000000..d7955ddd
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,15 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": true,
+        "warmupIterations": 1,
+        "iterations": 1,
+        "domain": "fs",
+        "scope": "useful",
+        "sizes": [50, 100, 150, 200, 250, 300, 350, 400, 450, 500],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "relations",
+        "polyhedronSolver": "Clp"
+}
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
new file mode 100644
index 00000000..474962e7
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,17 @@
+{
+        "inputPath": "initialModels",
+        "outputPath": "outputModels",
+        "timeout": 1200,
+        "saveModels": true,
+        "saveTemporaryFiles": true,
+        "warmupIterations": 0,
+        "iterations": 1,
+        "domain": "satellite",
+        "scope": "quantiles",
+        "sizes": [50],
+        "solver": "ViatraSolver",
+        "scopePropagator": "polyhedral",
+        "propagatedConstraints": "hints",
+        "polyhedronSolver": "Clp",
+        "scopeHeuristic": "polyhedral"
+}
author	Kristóf Marussy <kris7topher@gmail.com>	2019-08-14 18:26:33 +0200
committer	Kristóf Marussy <kris7topher@gmail.com>	2019-08-14 18:26:33 +0200
commit	fc84d3fe670331bc89fb1e4c44104bc1fc811438 (patch)
tree	466da8333151c51d2e17075600f9452ed35835da /Tests/hu.bme.mit.inf.dslreasoner.run/configs
parent	Be more lenient with rounding IP solver results (diff)
download	VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.gz VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.tar.zst VIATRA-Generator-fc84d3fe670331bc89fb1e4c44104bc1fc811438.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 new file mode 100644 index 00000000..26df3c74 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,13 @@
	1	{
	2	"inputPath": "initialModels",
	3	"outputPath": "outputModels",
	4	"timeout": 1200,
	5	"saveModels": true,
	6	"warmupIterations": 0,
	7	"iterations": 1,
	8	"domain": "FAM",
	9	"scope": "none",
	10	"sizes": [500],
	11	"solver": "ViatraSolver",
	12	"scopePropagator": "basic"
	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 new file mode 100644 index 00000000..5f8a01b1 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,16 @@
	1	{
	2	"inputPath": "initialModels",
	3	"outputPath": "outputModels",
	4	"timeout": 1200,
	5	"saveModels": false,
	6	"warmupIterations": 0,
	7	"iterations": 5,
	8	"domain": "Yakindu",
	9	"scope": "quantiles",
	10	"sizes": [100],
	11	"solver": "ViatraSolver",
	12	"scopePropagator": "polyhedral",
	13	"propagatedConstraints": "hints",
	14	"polyhedronSolver": "Clp",
	15	"scopeHeuristic": "basic"
	16	}


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/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json new file mode 100644 index 00000000..42073422 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,15 @@
	1	{
	2	"inputPath": "initialModels",
	3	"outputPath": "outputModels",
	4	"timeout": 1200,
	5	"saveModels": true,
	6	"warmupIterations": 0,
	7	"iterations": 5,
	8	"domain": "ecore",
	9	"scope": "quantiles",
	10	"sizes": [100],
	11	"solver": "ViatraSolver",
	12	"scopePropagator": "polyhedral",
	13	"propagatedConstraints": "relations",
	14	"polyhedronSolver": "Clp"
	15	}


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/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json new file mode 100644 index 00000000..d7955ddd --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,15 @@
	1	{
	2	"inputPath": "initialModels",
	3	"outputPath": "outputModels",
	4	"timeout": 1200,
	5	"saveModels": true,
	6	"warmupIterations": 1,
	7	"iterations": 1,
	8	"domain": "fs",
	9	"scope": "useful",
	10	"sizes": [50, 100, 150, 200, 250, 300, 350, 400, 450, 500],
	11	"solver": "ViatraSolver",
	12	"scopePropagator": "polyhedral",
	13	"propagatedConstraints": "relations",
	14	"polyhedronSolver": "Clp"
	15	}


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 new file mode 100644 index 00000000..474962e7 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -0,0 +1,17 @@
	1	{
	2	"inputPath": "initialModels",
	3	"outputPath": "outputModels",
	4	"timeout": 1200,
	5	"saveModels": true,
	6	"saveTemporaryFiles": true,
	7	"warmupIterations": 0,
	8	"iterations": 1,
	9	"domain": "satellite",
	10	"scope": "quantiles",
	11	"sizes": [50],
	12	"solver": "ViatraSolver",
	13	"scopePropagator": "polyhedral",
	14	"propagatedConstraints": "hints",
	15	"polyhedronSolver": "Clp",
	16	"scopeHeuristic": "polyhedral"
	17	}