Tests/hu.bme.mit.inf.dslreasoner.run/configs/fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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"
}