{
    "outdir": "./reports/servers",
    "servers": [
        {
            "url": "ws://127.0.0.1:9010"
        },
        {
            "url": "ws://127.0.0.1:9011"
        },
        {
            "url": "ws://127.0.0.1:9012"
        },
        {
            "url": "ws://127.0.0.1:9013"
        },
        {
            "url": "ws://127.0.0.1:9014"
        },
        {
            "url": "ws://127.0.0.1:9015"
        },
        {
            "url": "ws://127.0.0.1:9016"
        },
        {
            "url": "ws://127.0.0.1:9017"
        }
    ],
    "cases": ["*"],
    "exclude-cases": [],
    "exclude-agent-cases": {}
}