1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
{ "inputPath": "initialModels", "outputPath": "outputModels", "timeout": 1200, "saveModels": true, "warmupIterations": 0, "iterations": 5, "domain": "ecore", "scope": "quantiles", "sizes": [50], "solver": "ViatraSolver", "scopePropagator": "polyhedral", "propagatedConstraints": "hints", "polyhedronSolver": "Clp", "scopeHeuristic": "polyhedral" }