{
  "evidence": "教学时序模型",
  "program": [
    {
      "name": "A",
      "destination": "r1",
      "sources": [
        "r2"
      ],
      "latency": 4,
      "constant": 8
    },
    {
      "name": "B",
      "destination": "r3",
      "sources": [
        "r1",
        "r4"
      ],
      "latency": 1,
      "constant": 0
    },
    {
      "name": "C",
      "destination": "r1",
      "sources": [
        "r5"
      ],
      "latency": 1,
      "constant": 15
    },
    {
      "name": "D",
      "destination": "r4",
      "sources": [
        "r6"
      ],
      "latency": 1,
      "constant": 24
    },
    {
      "name": "E",
      "destination": "r7",
      "sources": [
        "r1",
        "r4"
      ],
      "latency": 1,
      "constant": 0
    },
    {
      "name": "F",
      "destination": "r2",
      "sources": [
        "r3",
        "r7"
      ],
      "latency": 1,
      "constant": 0
    }
  ],
  "raw": [
    "A->B",
    "B->F",
    "C->E",
    "D->E",
    "E->F"
  ],
  "war": [
    "A->F:r2",
    "B->C:r1",
    "B->D:r4"
  ],
  "waw": [
    "A->C:r1"
  ],
  "renamed": [
    {
      "name": "A",
      "destination": 8,
      "sources": [
        2
      ],
      "stale": 1,
      "latency": 4,
      "constant": 8
    },
    {
      "name": "B",
      "destination": 9,
      "sources": [
        8,
        4
      ],
      "stale": 3,
      "latency": 1,
      "constant": 0
    },
    {
      "name": "C",
      "destination": 10,
      "sources": [
        5
      ],
      "stale": 8,
      "latency": 1,
      "constant": 15
    },
    {
      "name": "D",
      "destination": 11,
      "sources": [
        6
      ],
      "stale": 4,
      "latency": 1,
      "constant": 24
    },
    {
      "name": "E",
      "destination": 12,
      "sources": [
        10,
        11
      ],
      "stale": 7,
      "latency": 1,
      "constant": 0
    },
    {
      "name": "F",
      "destination": 13,
      "sources": [
        9,
        12
      ],
      "stale": 2,
      "latency": 1,
      "constant": 0
    }
  ],
  "schedules": [
    {
      "width": 1,
      "cycles": 6,
      "events": [
        {
          "name": "A",
          "issue": 0,
          "complete": 4,
          "value": 10
        },
        {
          "name": "C",
          "issue": 1,
          "complete": 2,
          "value": 20
        },
        {
          "name": "D",
          "issue": 2,
          "complete": 3,
          "value": 30
        },
        {
          "name": "E",
          "issue": 3,
          "complete": 4,
          "value": 50
        },
        {
          "name": "B",
          "issue": 4,
          "complete": 5,
          "value": 14
        },
        {
          "name": "F",
          "issue": 5,
          "complete": 6,
          "value": 64
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          20
        ],
        [
          "r2",
          64
        ],
        [
          "r3",
          14
        ],
        [
          "r4",
          30
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          50
        ]
      ]
    },
    {
      "width": 2,
      "cycles": 6,
      "events": [
        {
          "name": "A",
          "issue": 0,
          "complete": 4,
          "value": 10
        },
        {
          "name": "C",
          "issue": 0,
          "complete": 1,
          "value": 20
        },
        {
          "name": "D",
          "issue": 1,
          "complete": 2,
          "value": 30
        },
        {
          "name": "E",
          "issue": 2,
          "complete": 3,
          "value": 50
        },
        {
          "name": "B",
          "issue": 4,
          "complete": 5,
          "value": 14
        },
        {
          "name": "F",
          "issue": 5,
          "complete": 6,
          "value": 64
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          20
        ],
        [
          "r2",
          64
        ],
        [
          "r3",
          14
        ],
        [
          "r4",
          30
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          50
        ]
      ]
    },
    {
      "width": 4,
      "cycles": 6,
      "events": [
        {
          "name": "A",
          "issue": 0,
          "complete": 4,
          "value": 10
        },
        {
          "name": "C",
          "issue": 0,
          "complete": 1,
          "value": 20
        },
        {
          "name": "D",
          "issue": 0,
          "complete": 1,
          "value": 30
        },
        {
          "name": "E",
          "issue": 1,
          "complete": 2,
          "value": 50
        },
        {
          "name": "B",
          "issue": 4,
          "complete": 5,
          "value": 14
        },
        {
          "name": "F",
          "issue": 5,
          "complete": 6,
          "value": 64
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          20
        ],
        [
          "r2",
          64
        ],
        [
          "r3",
          14
        ],
        [
          "r4",
          30
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          50
        ]
      ]
    }
  ],
  "independent_schedules": [
    {
      "width": 1,
      "cycles": 4,
      "events": [
        {
          "name": "I1",
          "issue": 0,
          "complete": 1,
          "value": 1
        },
        {
          "name": "I2",
          "issue": 1,
          "complete": 2,
          "value": 2
        },
        {
          "name": "I3",
          "issue": 2,
          "complete": 3,
          "value": 3
        },
        {
          "name": "I4",
          "issue": 3,
          "complete": 4,
          "value": 4
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          1
        ],
        [
          "r2",
          2
        ],
        [
          "r3",
          3
        ],
        [
          "r4",
          4
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          7
        ]
      ]
    },
    {
      "width": 2,
      "cycles": 2,
      "events": [
        {
          "name": "I1",
          "issue": 0,
          "complete": 1,
          "value": 1
        },
        {
          "name": "I2",
          "issue": 0,
          "complete": 1,
          "value": 2
        },
        {
          "name": "I3",
          "issue": 1,
          "complete": 2,
          "value": 3
        },
        {
          "name": "I4",
          "issue": 1,
          "complete": 2,
          "value": 4
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          1
        ],
        [
          "r2",
          2
        ],
        [
          "r3",
          3
        ],
        [
          "r4",
          4
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          7
        ]
      ]
    },
    {
      "width": 4,
      "cycles": 1,
      "events": [
        {
          "name": "I1",
          "issue": 0,
          "complete": 1,
          "value": 1
        },
        {
          "name": "I2",
          "issue": 0,
          "complete": 1,
          "value": 2
        },
        {
          "name": "I3",
          "issue": 0,
          "complete": 1,
          "value": 3
        },
        {
          "name": "I4",
          "issue": 0,
          "complete": 1,
          "value": 4
        }
      ],
      "final_values": [
        [
          "r0",
          0
        ],
        [
          "r1",
          1
        ],
        [
          "r2",
          2
        ],
        [
          "r3",
          3
        ],
        [
          "r4",
          4
        ],
        [
          "r5",
          5
        ],
        [
          "r6",
          6
        ],
        [
          "r7",
          7
        ]
      ]
    }
  ],
  "critical_path": "A(4)+B(1)+F(1)=6; issue width alone cannot shorten it"
}