{
  "signal_time": 5,
  "worker_slots": 2,
  "job_durations": [
    2,
    4,
    7,
    11,
    17,
    23
  ],
  "cases": [
    {
      "policy": "exit-at-signal",
      "deadline": 5,
      "completed": 2,
      "interrupted": 2,
      "unclaimed": 2,
      "post_signal_starts": 0,
      "starts": [
        {
          "job": "A",
          "start": 0,
          "finish": 2
        },
        {
          "job": "B",
          "start": 0,
          "finish": 4
        },
        {
          "job": "C",
          "start": 2,
          "finish": 9
        },
        {
          "job": "D",
          "start": 4,
          "finish": 15
        }
      ],
      "completed_jobs": [
        "A",
        "B"
      ]
    },
    {
      "policy": "keep-polling-until-16",
      "deadline": 16,
      "completed": 4,
      "interrupted": 2,
      "unclaimed": 0,
      "post_signal_starts": 2,
      "starts": [
        {
          "job": "A",
          "start": 0,
          "finish": 2
        },
        {
          "job": "B",
          "start": 0,
          "finish": 4
        },
        {
          "job": "C",
          "start": 2,
          "finish": 9
        },
        {
          "job": "D",
          "start": 4,
          "finish": 15
        },
        {
          "job": "E",
          "start": 9,
          "finish": 26
        },
        {
          "job": "F",
          "start": 15,
          "finish": 38
        }
      ],
      "completed_jobs": [
        "A",
        "B",
        "C",
        "D"
      ]
    },
    {
      "policy": "stop-polling-drain-to-16",
      "deadline": 16,
      "completed": 4,
      "interrupted": 0,
      "unclaimed": 2,
      "post_signal_starts": 0,
      "starts": [
        {
          "job": "A",
          "start": 0,
          "finish": 2
        },
        {
          "job": "B",
          "start": 0,
          "finish": 4
        },
        {
          "job": "C",
          "start": 2,
          "finish": 9
        },
        {
          "job": "D",
          "start": 4,
          "finish": 15
        }
      ],
      "completed_jobs": [
        "A",
        "B",
        "C",
        "D"
      ]
    },
    {
      "policy": "stop-polling-short-window",
      "deadline": 12,
      "completed": 3,
      "interrupted": 1,
      "unclaimed": 2,
      "post_signal_starts": 0,
      "starts": [
        {
          "job": "A",
          "start": 0,
          "finish": 2
        },
        {
          "job": "B",
          "start": 0,
          "finish": 4
        },
        {
          "job": "C",
          "start": 2,
          "finish": 9
        },
        {
          "job": "D",
          "start": 4,
          "finish": 15
        }
      ],
      "completed_jobs": [
        "A",
        "B",
        "C"
      ]
    }
  ],
  "assertions": "passed",
  "scope": "Integer-tick model; acknowledgements and side effects not simulated"
}