{ "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" }