{
  "driver_rounds": 113453,
  "examples": {
    "conservative": {
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 3,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 6,
          "source": 0,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 7,
          "value": 17
        },
        {
          "event": "data",
          "generation": 0,
          "index": 2,
          "round": 7,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 2,
          "round": 7
        },
        {
          "address": 8,
          "event": "load",
          "generation": 0,
          "index": 3,
          "round": 7,
          "source": 2,
          "value": 35
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 8,
          "value": 17
        },
        {
          "address": 8,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 9,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 10,
          "value": 35
        }
      ],
      "final": {
        "cancelled": 0,
        "committed_loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "entries": [
          {
            "address": 4,
            "born": 0,
            "data": 17,
            "done": true,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 0,
            "data": null,
            "done": true,
            "generation": 0,
            "index": 1,
            "predecessor": null,
            "result": 17,
            "source": 0
          },
          {
            "address": 8,
            "born": 0,
            "data": 35,
            "done": true,
            "generation": 0,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 8,
            "born": 0,
            "data": null,
            "done": true,
            "generation": 0,
            "index": 3,
            "predecessor": null,
            "result": 35,
            "source": 2
          }
        ],
        "head": 4,
        "lfst": [],
        "loads_executed": 2,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 0,
        "round": 10,
        "ssit": []
      },
      "summary": {
        "cancelled": 0,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 2,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 0,
        "rounds": 10,
        "stalls": {
          "unknown-address": 10
        }
      }
    },
    "derived_address": {
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 1,
          "source": -1,
          "value": 3
        },
        {
          "address": 3,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 2
        },
        {
          "address": 3,
          "event": "address",
          "generation": 0,
          "index": 3,
          "round": 2
        },
        {
          "event": "data",
          "generation": 0,
          "index": 2,
          "round": 2,
          "value": 7
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 2,
          "round": 2
        },
        {
          "address": 3,
          "event": "load",
          "generation": 0,
          "index": 3,
          "round": 2,
          "source": 2,
          "value": 7
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "cancelled": [
            [
              1,
              0
            ],
            [
              2,
              0
            ],
            [
              3,
              0
            ]
          ],
          "event": "replay",
          "load": 1,
          "round": 6,
          "ssit": [],
          "store": 0
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 7,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 1,
          "index": 1,
          "round": 7
        },
        {
          "address": 4,
          "event": "load",
          "generation": 1,
          "index": 1,
          "round": 7,
          "source": -1,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 8,
          "value": 17
        },
        {
          "address": 17,
          "event": "address",
          "generation": 1,
          "index": 2,
          "round": 8
        },
        {
          "address": 17,
          "event": "address",
          "generation": 1,
          "index": 3,
          "round": 8
        },
        {
          "event": "data",
          "generation": 1,
          "index": 2,
          "round": 8,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 1,
          "index": 2,
          "round": 8
        },
        {
          "address": 17,
          "event": "load",
          "generation": 1,
          "index": 3,
          "round": 8,
          "source": 2,
          "value": 35
        },
        {
          "address": 17,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 9,
          "value": 35
        },
        {
          "address": 17,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 10,
          "value": 35
        }
      ],
      "summary": {
        "cancelled": 3,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 4,
        "memory": [
          [
            3,
            0
          ],
          [
            4,
            17
          ],
          [
            17,
            35
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 2
        }
      }
    },
    "learning": {
      "changed_address": {
        "cancelled": 0,
        "loads": [
          [
            1,
            3
          ],
          [
            3,
            7
          ]
        ],
        "loads_executed": 2,
        "memory": [
          [
            4,
            3
          ],
          [
            8,
            7
          ],
          [
            9,
            17
          ]
        ],
        "replays": 0,
        "rounds": 10,
        "stalls": {
          "matching-data": 5,
          "predicted-store": 5
        }
      },
      "cleared": {
        "cancelled": 3,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 2
        }
      },
      "cold": {
        "cancelled": 3,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 2
        }
      },
      "trained_ssit": [
        [
          256,
          0
        ],
        [
          260,
          0
        ]
      ],
      "warm": {
        "cancelled": 0,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 2,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 0,
        "rounds": 10,
        "stalls": {
          "matching-data": 5,
          "predicted-store": 5
        }
      },
      "warm_events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 3,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 6,
          "source": 0,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 7,
          "value": 17
        },
        {
          "event": "data",
          "generation": 0,
          "index": 2,
          "round": 7,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 2,
          "round": 7
        },
        {
          "address": 8,
          "event": "load",
          "generation": 0,
          "index": 3,
          "round": 7,
          "source": 2,
          "value": 35
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 8,
          "value": 17
        },
        {
          "address": 8,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 9,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 10,
          "value": 35
        }
      ]
    },
    "live_clear": {
      "after_clear": {
        "cancelled": 0,
        "committed_loads": [],
        "entries": [
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 1,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 3,
            "predecessor": null,
            "result": null,
            "source": null
          }
        ],
        "head": 0,
        "lfst": [],
        "loads_executed": 0,
        "memory": [
          [
            4,
            3
          ],
          [
            8,
            0
          ]
        ],
        "replays": 0,
        "round": 0,
        "ssit": []
      },
      "before": {
        "cancelled": 0,
        "committed_loads": [],
        "entries": [
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 1,
            "predecessor": 0,
            "result": null,
            "source": null
          },
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": null,
            "born": 0,
            "data": null,
            "done": false,
            "generation": 0,
            "index": 3,
            "predecessor": null,
            "result": null,
            "source": null
          }
        ],
        "head": 0,
        "lfst": [
          [
            0,
            0
          ]
        ],
        "loads_executed": 0,
        "memory": [
          [
            4,
            3
          ],
          [
            8,
            0
          ]
        ],
        "replays": 0,
        "round": 0,
        "ssit": [
          [
            256,
            0
          ],
          [
            260,
            0
          ]
        ]
      },
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 0
        },
        {
          "event": "clear-history",
          "round": 0
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 0,
          "source": -1,
          "value": 3
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 0
        },
        {
          "cancelled": [
            [
              1,
              0
            ],
            [
              2,
              0
            ],
            [
              3,
              0
            ]
          ],
          "event": "replay",
          "load": 1,
          "round": 0,
          "ssit": [
            [
              256,
              0
            ],
            [
              260,
              0
            ]
          ],
          "store": 0
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 0,
          "value": 17
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 0
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 0,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 1,
          "index": 1,
          "round": 0
        },
        {
          "address": 4,
          "event": "load",
          "generation": 1,
          "index": 1,
          "round": 0,
          "source": -1,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 0,
          "value": 17
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 2,
          "round": 0
        },
        {
          "event": "data",
          "generation": 1,
          "index": 2,
          "round": 0,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 1,
          "index": 2,
          "round": 0
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 3,
          "round": 0
        },
        {
          "address": 8,
          "event": "load",
          "generation": 1,
          "index": 3,
          "round": 0,
          "source": 2,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 0,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 0,
          "value": 35
        }
      ],
      "final": {
        "cancelled": 3,
        "committed_loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "entries": [
          {
            "address": 4,
            "born": 0,
            "data": 17,
            "done": true,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 0,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 1,
            "predecessor": 0,
            "result": 17,
            "source": -1
          },
          {
            "address": 8,
            "born": 0,
            "data": 35,
            "done": true,
            "generation": 1,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 8,
            "born": 0,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 3,
            "predecessor": null,
            "result": 35,
            "source": 2
          }
        ],
        "head": 4,
        "lfst": [],
        "loads_executed": 3,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "round": 0,
        "ssit": [
          [
            256,
            0
          ],
          [
            260,
            0
          ]
        ]
      },
      "wait_before": {
        "reason": "predicted-store",
        "status": "WAIT",
        "store": 0
      }
    },
    "merge": {
      "actual_read": {
        "source": -1,
        "status": "VALUE",
        "value": 0
      },
      "after": [
        [
          768,
          0
        ],
        [
          772,
          0
        ],
        [
          776,
          0
        ],
        [
          780,
          0
        ]
      ],
      "before": [
        [
          768,
          0
        ],
        [
          772,
          0
        ],
        [
          776,
          1
        ],
        [
          780,
          1
        ]
      ],
      "chain": [
        null,
        0,
        1
      ],
      "events": [
        {
          "address": 0,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 0
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 0,
          "value": 5
        },
        {
          "address": 1,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 0
        },
        {
          "event": "data",
          "generation": 0,
          "index": 1,
          "round": 0,
          "value": 6
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 0
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 1,
          "round": 0
        },
        {
          "address": 2,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 0
        },
        {
          "address": 2,
          "event": "load",
          "generation": 0,
          "index": 2,
          "round": 0,
          "source": -1,
          "value": 0
        },
        {
          "address": 0,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 0,
          "value": 5
        },
        {
          "address": 1,
          "event": "retire",
          "index": 1,
          "kind": "S",
          "round": 0,
          "value": 6
        },
        {
          "address": 2,
          "event": "retire",
          "index": 2,
          "kind": "L",
          "round": 0,
          "value": 0
        }
      ],
      "final": {
        "cancelled": 0,
        "committed_loads": [
          [
            2,
            0
          ]
        ],
        "entries": [
          {
            "address": 0,
            "born": 0,
            "data": 5,
            "done": true,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 1,
            "born": 0,
            "data": 6,
            "done": true,
            "generation": 0,
            "index": 1,
            "predecessor": 0,
            "result": null,
            "source": null
          },
          {
            "address": 2,
            "born": 0,
            "data": null,
            "done": true,
            "generation": 0,
            "index": 2,
            "predecessor": 1,
            "result": 0,
            "source": -1
          }
        ],
        "head": 3,
        "lfst": [],
        "loads_executed": 1,
        "memory": [
          [
            0,
            5
          ],
          [
            1,
            6
          ]
        ],
        "replays": 0,
        "round": 0,
        "ssit": [
          [
            768,
            0
          ],
          [
            772,
            0
          ],
          [
            776,
            0
          ],
          [
            780,
            0
          ]
        ]
      }
    },
    "predict": {
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 3,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 1,
          "source": -1,
          "value": 3
        },
        {
          "event": "data",
          "generation": 0,
          "index": 2,
          "round": 2,
          "value": 7
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 2,
          "round": 2
        },
        {
          "address": 8,
          "event": "load",
          "generation": 0,
          "index": 3,
          "round": 2,
          "source": 2,
          "value": 7
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "cancelled": [
            [
              1,
              0
            ],
            [
              2,
              0
            ],
            [
              3,
              0
            ]
          ],
          "event": "replay",
          "load": 1,
          "round": 6,
          "ssit": [
            [
              256,
              0
            ],
            [
              260,
              0
            ]
          ],
          "store": 0
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 7,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 1,
          "index": 1,
          "round": 7
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 2,
          "round": 7
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 3,
          "round": 7
        },
        {
          "address": 4,
          "event": "load",
          "generation": 1,
          "index": 1,
          "round": 7,
          "source": -1,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 8,
          "value": 17
        },
        {
          "event": "data",
          "generation": 1,
          "index": 2,
          "round": 8,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 1,
          "index": 2,
          "round": 8
        },
        {
          "address": 8,
          "event": "load",
          "generation": 1,
          "index": 3,
          "round": 8,
          "source": 2,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 9,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 10,
          "value": 35
        }
      ],
      "final": {
        "cancelled": 3,
        "committed_loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "entries": [
          {
            "address": 4,
            "born": 0,
            "data": 17,
            "done": true,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 6,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 1,
            "predecessor": 0,
            "result": 17,
            "source": -1
          },
          {
            "address": 8,
            "born": 6,
            "data": 35,
            "done": true,
            "generation": 1,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 8,
            "born": 6,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 3,
            "predecessor": null,
            "result": 35,
            "source": 2
          }
        ],
        "head": 4,
        "lfst": [],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "round": 10,
        "ssit": [
          [
            256,
            0
          ],
          [
            260,
            0
          ]
        ]
      },
      "summary": {
        "cancelled": 3,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 2
        }
      }
    },
    "same_value": {
      "cancelled": 1,
      "loads": [
        [
          1,
          3
        ]
      ],
      "loads_executed": 2,
      "memory": [
        [
          4,
          3
        ]
      ],
      "replays": 1,
      "rounds": 8,
      "stalls": {
        "load-address": 1
      }
    },
    "shadow": {
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "event": "data",
          "generation": 0,
          "index": 1,
          "round": 1,
          "value": 23
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 2,
          "round": 1,
          "source": 1,
          "value": 23
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 7
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 7
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 8,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "S",
          "round": 9,
          "value": 23
        },
        {
          "address": 4,
          "event": "retire",
          "index": 2,
          "kind": "L",
          "round": 10,
          "value": 23
        }
      ],
      "summary": {
        "cancelled": 0,
        "loads": [
          [
            2,
            23
          ]
        ],
        "loads_executed": 1,
        "memory": [
          [
            4,
            23
          ]
        ],
        "replays": 0,
        "rounds": 10,
        "stalls": {}
      }
    },
    "source_queries": [
      {
        "reason": "unknown-address",
        "status": "WAIT",
        "stores": [
          0
        ]
      },
      {
        "source": 2,
        "status": "VALUE",
        "value": 23
      },
      {
        "reason": "matching-data",
        "status": "WAIT",
        "stores": [
          2
        ]
      },
      {
        "source": 2,
        "status": "VALUE",
        "value": 23
      },
      {
        "source": -1,
        "status": "VALUE",
        "value": 3
      }
    ],
    "speculate": {
      "events": [
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 1,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 2,
          "round": 1
        },
        {
          "address": 8,
          "event": "address",
          "generation": 0,
          "index": 3,
          "round": 1
        },
        {
          "event": "data",
          "generation": 0,
          "index": 0,
          "round": 1,
          "value": 17
        },
        {
          "address": 4,
          "event": "load",
          "generation": 0,
          "index": 1,
          "round": 1,
          "source": -1,
          "value": 3
        },
        {
          "event": "data",
          "generation": 0,
          "index": 2,
          "round": 2,
          "value": 7
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 2,
          "round": 2
        },
        {
          "address": 8,
          "event": "load",
          "generation": 0,
          "index": 3,
          "round": 2,
          "source": 2,
          "value": 7
        },
        {
          "address": 4,
          "event": "address",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "cancelled": [
            [
              1,
              0
            ],
            [
              2,
              0
            ],
            [
              3,
              0
            ]
          ],
          "event": "replay",
          "load": 1,
          "round": 6,
          "ssit": [],
          "store": 0
        },
        {
          "event": "store-ready",
          "generation": 0,
          "index": 0,
          "round": 6
        },
        {
          "address": 4,
          "event": "retire",
          "index": 0,
          "kind": "S",
          "round": 7,
          "value": 17
        },
        {
          "address": 4,
          "event": "address",
          "generation": 1,
          "index": 1,
          "round": 7
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 2,
          "round": 7
        },
        {
          "address": 8,
          "event": "address",
          "generation": 1,
          "index": 3,
          "round": 7
        },
        {
          "address": 4,
          "event": "load",
          "generation": 1,
          "index": 1,
          "round": 7,
          "source": -1,
          "value": 17
        },
        {
          "address": 4,
          "event": "retire",
          "index": 1,
          "kind": "L",
          "round": 8,
          "value": 17
        },
        {
          "event": "data",
          "generation": 1,
          "index": 2,
          "round": 8,
          "value": 35
        },
        {
          "event": "store-ready",
          "generation": 1,
          "index": 2,
          "round": 8
        },
        {
          "address": 8,
          "event": "load",
          "generation": 1,
          "index": 3,
          "round": 8,
          "source": 2,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 2,
          "kind": "S",
          "round": 9,
          "value": 35
        },
        {
          "address": 8,
          "event": "retire",
          "index": 3,
          "kind": "L",
          "round": 10,
          "value": 35
        }
      ],
      "final": {
        "cancelled": 3,
        "committed_loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "entries": [
          {
            "address": 4,
            "born": 0,
            "data": 17,
            "done": true,
            "generation": 0,
            "index": 0,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 4,
            "born": 6,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 1,
            "predecessor": null,
            "result": 17,
            "source": -1
          },
          {
            "address": 8,
            "born": 6,
            "data": 35,
            "done": true,
            "generation": 1,
            "index": 2,
            "predecessor": null,
            "result": null,
            "source": null
          },
          {
            "address": 8,
            "born": 6,
            "data": null,
            "done": true,
            "generation": 1,
            "index": 3,
            "predecessor": null,
            "result": 35,
            "source": 2
          }
        ],
        "head": 4,
        "lfst": [],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "round": 10,
        "ssit": []
      },
      "summary": {
        "cancelled": 3,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            35
          ]
        ],
        "loads_executed": 4,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            35
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 2
        }
      }
    }
  },
  "external_mutants": [
    {
      "mutant": "NoReplay",
      "result": {
        "cancelled": 0,
        "loads": [
          [
            1,
            3
          ],
          [
            3,
            7
          ]
        ],
        "loads_executed": 2,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            7
          ]
        ],
        "replays": 0,
        "rounds": 10,
        "stalls": {}
      }
    },
    {
      "mutant": "OnlyLoad",
      "result": {
        "cancelled": 1,
        "loads": [
          [
            1,
            17
          ],
          [
            3,
            7
          ]
        ],
        "loads_executed": 3,
        "memory": [
          [
            4,
            17
          ],
          [
            8,
            7
          ]
        ],
        "replays": 1,
        "rounds": 10,
        "stalls": {
          "load-address": 1
        }
      }
    }
  ],
  "invalid_actions_rejected": 19,
  "pure_source_queries": 29524,
  "random_runs": 7200,
  "replays": 1043,
  "scope": "Author executable checks, not independent review or CPU benchmarks",
  "status": "PASS"
}