1 2 3 4 5 6 7 8 9 10 11 12 13
{ "inputPath": "initialModels", "outputPath": "outputModels", "timeout": 300, "saveModels": true, "saveTemporaryFiles": false, "warmupIterations": 0, "iterations": 30, "domain": "Yakindu", "scope": "unsat", "sizes": [20], "solver": "AlloySolver" }