{
	"inputPath": "initialModels",
	"outputPath": "outputModels",
	"timeout": 120,
	"saveModels": true,
	"saveTemporaryFiles": true,
	"warmupIterations": 0,
	"iterations": 1,
	"domain": "Yakindu",
	"scope": "quantiles",
	"sizes": [10, 20, 30, 40, 50, 60, 70, 80, 90, 100],
	"solver": "ViatraSolver",
	"scopePropagator": "polyhedral",
	"propagatedConstraints": "hints",
	"polyhedronSolver": "Clp",
	"scopeHeuristic": "polyhedral"
}