{
    "allow local source directories use": true,
    "collect total code coverage": true,
    "generate makefiles": true,
    "identifier": "6d5dc4baf88f3f07ae91bed71a3a7423",
    "ignore failed sub-jobs": false,
    "ignore other instances": false,
    "keep intermediate files": false,
    "logging": {
        "formatters": [
            {
                "name": "brief",
                "value": ""
            },
            {
                "name": "detailed",
                "value": ""
            }
        ],
        "loggers": [
            {
                "handlers": [
                    {
                        "formatter": "brief",
                        "level": "NONE",
                        "name": "console"
                    },
                    {
                        "formatter": "detailed",
                        "level": "NONE",
                        "name": "file"
                    }
                ],
                "name": "default"
            }
        ]
    },
    "max solving tasks per sub-job": 100,
    "parallelism": {
        "Build": 1.0,
        "Results processing": 1,
        "Sub-jobs processing": 2,
        "Tasks generation": 2
    },
    "priority": "LOW",
    "resource limits": {
        "CPU model": null,
        "CPU time": null,
        "disk memory size": 10000000000,
        "memory size": 1000000000,
        "number of CPU cores": 0,
        "wall time": null
    },
    "task scheduler": "Klever",
    "upload input files of static verifiers": true,
    "upload other intermediate files": false,
    "weight": "1"
}