{
  "evidence": "教学时序模型",
  "independent": [
    {
      "name": "ind-0",
      "block": 0,
      "issue": 0,
      "done": 10,
      "merged": false
    },
    {
      "name": "ind-1",
      "block": 1,
      "issue": 0,
      "done": 10,
      "merged": false
    },
    {
      "name": "ind-2",
      "block": 2,
      "issue": 10,
      "done": 20,
      "merged": false
    },
    {
      "name": "ind-3",
      "block": 3,
      "issue": 10,
      "done": 20,
      "merged": false
    }
  ],
  "dependent": [
    {
      "name": "dep-0",
      "block": 0,
      "issue": 0,
      "done": 10,
      "merged": false
    },
    {
      "name": "dep-1",
      "block": 1,
      "issue": 10,
      "done": 20,
      "merged": false
    },
    {
      "name": "dep-2",
      "block": 2,
      "issue": 20,
      "done": 30,
      "merged": false
    },
    {
      "name": "dep-3",
      "block": 3,
      "issue": 30,
      "done": 40,
      "merged": false
    }
  ],
  "merged_same_block": [
    {
      "name": "a",
      "block": 0,
      "issue": 0,
      "done": 10,
      "merged": false
    },
    {
      "name": "b",
      "block": 0,
      "issue": 0,
      "done": 10,
      "merged": true
    },
    {
      "name": "c",
      "block": 2,
      "issue": 0,
      "done": 10,
      "merged": false
    }
  ],
  "next_line_prefetch": {
    "events": [
      {
        "step": 1,
        "kind": "read",
        "address": 0,
        "block": 0,
        "index": 0,
        "tag": 0,
        "hit": false,
        "miss_kind": "cold",
        "evicted_block": null,
        "dirty_eviction": false,
        "fill_bytes": 16,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 11
      },
      {
        "step": 2,
        "kind": "prefetch",
        "address": 16,
        "block": 1,
        "index": 1,
        "tag": 0,
        "hit": false,
        "miss_kind": "cold",
        "evicted_block": null,
        "dirty_eviction": false,
        "fill_bytes": 16,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 11
      },
      {
        "step": 3,
        "kind": "read",
        "address": 16,
        "block": 1,
        "index": 1,
        "tag": 0,
        "hit": true,
        "miss_kind": "hit",
        "evicted_block": null,
        "dirty_eviction": false,
        "fill_bytes": 0,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 1
      },
      {
        "step": 4,
        "kind": "prefetch",
        "address": 32,
        "block": 2,
        "index": 0,
        "tag": 1,
        "hit": false,
        "miss_kind": "cold",
        "evicted_block": 0,
        "dirty_eviction": false,
        "fill_bytes": 16,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 11
      },
      {
        "step": 5,
        "kind": "read",
        "address": 0,
        "block": 0,
        "index": 0,
        "tag": 0,
        "hit": false,
        "miss_kind": "conflict",
        "evicted_block": 2,
        "dirty_eviction": false,
        "fill_bytes": 16,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 11
      },
      {
        "step": 6,
        "kind": "prefetch",
        "address": 16,
        "block": 1,
        "index": 1,
        "tag": 0,
        "hit": true,
        "miss_kind": "hit",
        "evicted_block": null,
        "dirty_eviction": false,
        "fill_bytes": 0,
        "writeback_bytes": 0,
        "lower_write_bytes": 0,
        "latency": 1
      }
    ],
    "stats": {
      "demand": 3,
      "hits": 1,
      "misses": 2,
      "cold": 1,
      "capacity": 0,
      "conflict": 1,
      "fills": 4,
      "writebacks": 0,
      "fill_bytes": 64,
      "writeback_bytes": 0,
      "lower_write_bytes": 0,
      "prefetches": 3,
      "useful_prefetches": 1,
      "useless_prefetches": 1
    }
  },
  "prefetch_repeated_use_counterexample": {
    "demand": 2,
    "hits": 2,
    "misses": 0,
    "cold": 0,
    "capacity": 0,
    "conflict": 0,
    "fills": 1,
    "writebacks": 0,
    "fill_bytes": 16,
    "writeback_bytes": 0,
    "lower_write_bytes": 0,
    "prefetches": 1,
    "useful_prefetches": 1,
    "useless_prefetches": 0
  },
  "prefetch_evict_reload_counterexample": {
    "demand": 3,
    "hits": 1,
    "misses": 2,
    "cold": 2,
    "capacity": 0,
    "conflict": 0,
    "fills": 3,
    "writebacks": 0,
    "fill_bytes": 48,
    "writeback_bytes": 0,
    "lower_write_bytes": 0,
    "prefetches": 1,
    "useful_prefetches": 0,
    "useless_prefetches": 1
  }
}