{
   "outdir": "./autoresults",
   "servers": [
      {
         "url": "ws://127.0.0.1:6000"
      },
      {
         "url": "ws://127.0.0.1:6001"
      }
   ],
   "cases": ["*"],
   "exclude-cases": [],
   "exclude-agent-cases": {}
}