{
  "evidence": "教学时序模型",
  "config": {
    "banks": 2,
    "row_size": 64,
    "block_size": 16,
    "t_rcd": 3,
    "t_cl": 2,
    "t_rp": 3,
    "t_rfc": 8,
    "t_refi": 20
  },
  "events": [
    {
      "name": "row-open",
      "bank": 0,
      "row": 0,
      "row_event": "empty",
      "arrival": 0,
      "start": 0,
      "service": 5,
      "done": 5,
      "wait": 0,
      "refresh_wait": 0
    },
    {
      "name": "row-hit",
      "bank": 0,
      "row": 0,
      "row_event": "hit",
      "arrival": 7,
      "start": 7,
      "service": 2,
      "done": 9,
      "wait": 0,
      "refresh_wait": 0
    },
    {
      "name": "row-conflict",
      "bank": 0,
      "row": 2,
      "row_event": "conflict",
      "arrival": 10,
      "start": 10,
      "service": 8,
      "done": 18,
      "wait": 0,
      "refresh_wait": 0
    },
    {
      "name": "after-refresh",
      "bank": 1,
      "row": 2,
      "row_event": "empty",
      "arrival": 21,
      "start": 28,
      "service": 5,
      "done": 33,
      "wait": 7,
      "refresh_wait": 7
    }
  ],
  "refresh_closes_rows_counterexample": {
    "before_refresh": {
      "name": "same-row-before-refresh",
      "bank": 0,
      "row": 0,
      "row_event": "empty",
      "arrival": 0,
      "start": 0,
      "service": 5,
      "done": 5,
      "wait": 0,
      "refresh_wait": 0
    },
    "after_refresh": {
      "name": "same-row-after-refresh",
      "bank": 0,
      "row": 0,
      "row_event": "empty",
      "arrival": 11,
      "start": 18,
      "service": 5,
      "done": 23,
      "wait": 7,
      "refresh_wait": 7
    }
  }
}