1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
{ "inputPath": "initialModels", "outputPath": "outputModels", "timeout": 300, "saveModels": true, "saveTemporaryFiles": false, "warmupIterations": 0, "iterations": 1, "domain": "ecoreUnsat", "scope": "none", "sizes": [5, 10, 20, 30, 40, 50], "solver": "ViatraSolver", "scopePropagator": "polyhedral", "propagatedConstraints": "hints", "polyhedronSolver": "Clp", "scopeHeuristic": "polyhedral" }