{
  "MinSize": 1,
  "MaxSize": 512,
  "Queries": [
    "PosLength",
    "SwitchSensor",
    "SwitchSet",
    "RouteSensor",
    "SemaphoreNeighbor"
  ],
  "_Comment": "The _AllQueries field is not used by the framework.",
  "_AllQueries": [
    "RouteSensor",
    "SemaphoreNeighbor",
    "SwitchSet",
    "RouteSensor",
    "SemaphoreNeighbor"
  ],
  "Tools": [
    "hu.bme.mit.trainbenchmark.ttc.benchmark.emfincquery",
    "hu.bme.mit.trainbenchmark.ttc.benchmark.atl"
  ],
  "ChangeSets": [
    "fixed",
    "proportional"
  ],
  "Runs": 1,
  "IterationCount": 10,
  "JVM": {
    "vmargs": "-Xmx10G"
  },
  "Timeout": 600
}

{
  "MinSize": 1,
  "MaxSize": 4,
  "Queries": [
    "PosLength",
    "SwitchSensor",
    "SwitchSet",
    "RouteSensor",
    "SemaphoreNeighbor"
  ],
  "_Comment": "The _AllQueries field is not used by the framework.",
  "_AllQueries": [
    "RouteSensor",
    "SemaphoreNeighbor",
    "SwitchSet",
    "RouteSensor",
    "SemaphoreNeighbor"
  ],
  "Tools": [
    "hu.bme.mit.trainbenchmark.ttc.benchmark.emfincquery",
    "hu.bme.mit.trainbenchmark.ttc.benchmark.atl"
  ],
  "ChangeSets": [
    "fixed",
    "proportional"
  ],
  "Runs": 1,
  "IterationCount": 10,
  "JVM": {
    "vmargs": "-Xmx10G"
  },
  "Timeout": 600
}

Reduce benchmark max size back to 4, because it is included in the automatic build.
Reduce benchmark max size back to 4, because it is included in the
automatic build.