{
  "cases": [
    {
      "groups": [
        {
          "entries": [
            {
              "dirty": true,
              "id": "a"
            },
            {
              "dirty": false,
              "id": "b"
            },
            {
              "dirty": true,
              "id": "c"
            }
          ],
          "page": "cold"
        },
        {
          "entries": [
            {
              "dirty": false,
              "id": "d"
            }
          ],
          "page": "hot"
        }
      ],
      "id": "clean_inside_cold_group",
      "result": {
        "after": [
          {
            "entries": [
              {
                "dirty": true,
                "id": "a"
              },
              {
                "dirty": true,
                "id": "c"
              }
            ],
            "page": "cold"
          },
          {
            "entries": [
              {
                "dirty": false,
                "id": "d"
              }
            ],
            "page": "hot"
          }
        ],
        "steps": [
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "a"
                  },
                  {
                    "dirty": true,
                    "id": "c"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": false,
                    "id": "d"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "b",
            "selected_page": "cold",
            "translation_page_updates": 0,
            "written_back": []
          }
        ],
        "translation_page_updates": 0
      },
      "slots": 1
    },
    {
      "groups": [
        {
          "entries": [
            {
              "dirty": true,
              "id": "a"
            },
            {
              "dirty": true,
              "id": "b"
            }
          ],
          "page": "cold"
        },
        {
          "entries": [
            {
              "dirty": false,
              "id": "c"
            }
          ],
          "page": "hot"
        }
      ],
      "id": "clean_only_in_hot_group",
      "result": {
        "after": [
          {
            "entries": [
              {
                "dirty": false,
                "id": "b"
              }
            ],
            "page": "cold"
          },
          {
            "entries": [
              {
                "dirty": false,
                "id": "c"
              }
            ],
            "page": "hot"
          }
        ],
        "steps": [
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": false,
                    "id": "b"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": false,
                    "id": "c"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "a",
            "selected_page": "cold",
            "translation_page_updates": 1,
            "written_back": [
              "a",
              "b"
            ]
          }
        ],
        "translation_page_updates": 1
      },
      "slots": 1
    },
    {
      "groups": [
        {
          "entries": [
            {
              "dirty": true,
              "id": "a"
            },
            {
              "dirty": true,
              "id": "b"
            },
            {
              "dirty": true,
              "id": "c"
            }
          ],
          "page": "cold"
        },
        {
          "entries": [
            {
              "dirty": true,
              "id": "d"
            }
          ],
          "page": "hot"
        }
      ],
      "id": "batch_is_not_group_eviction",
      "result": {
        "after": [
          {
            "entries": [
              {
                "dirty": false,
                "id": "b"
              },
              {
                "dirty": false,
                "id": "c"
              }
            ],
            "page": "cold"
          },
          {
            "entries": [
              {
                "dirty": true,
                "id": "d"
              }
            ],
            "page": "hot"
          }
        ],
        "steps": [
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": false,
                    "id": "b"
                  },
                  {
                    "dirty": false,
                    "id": "c"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "d"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "a",
            "selected_page": "cold",
            "translation_page_updates": 1,
            "written_back": [
              "a",
              "b",
              "c"
            ]
          }
        ],
        "translation_page_updates": 1
      },
      "slots": 1
    },
    {
      "groups": [
        {
          "entries": [
            {
              "dirty": true,
              "id": "a"
            },
            {
              "dirty": false,
              "id": "b"
            },
            {
              "dirty": true,
              "id": "c"
            },
            {
              "dirty": false,
              "id": "d"
            },
            {
              "dirty": true,
              "id": "e"
            }
          ],
          "page": "cold"
        },
        {
          "entries": [
            {
              "dirty": true,
              "id": "f"
            }
          ],
          "page": "hot"
        }
      ],
      "id": "three_slots_one_update",
      "result": {
        "after": [
          {
            "entries": [
              {
                "dirty": false,
                "id": "c"
              },
              {
                "dirty": false,
                "id": "e"
              }
            ],
            "page": "cold"
          },
          {
            "entries": [
              {
                "dirty": true,
                "id": "f"
              }
            ],
            "page": "hot"
          }
        ],
        "steps": [
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "a"
                  },
                  {
                    "dirty": true,
                    "id": "c"
                  },
                  {
                    "dirty": false,
                    "id": "d"
                  },
                  {
                    "dirty": true,
                    "id": "e"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "f"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "b",
            "selected_page": "cold",
            "translation_page_updates": 0,
            "written_back": []
          },
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "a"
                  },
                  {
                    "dirty": true,
                    "id": "c"
                  },
                  {
                    "dirty": true,
                    "id": "e"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "f"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "d",
            "selected_page": "cold",
            "translation_page_updates": 0,
            "written_back": []
          },
          {
            "after": [
              {
                "entries": [
                  {
                    "dirty": false,
                    "id": "c"
                  },
                  {
                    "dirty": false,
                    "id": "e"
                  }
                ],
                "page": "cold"
              },
              {
                "entries": [
                  {
                    "dirty": true,
                    "id": "f"
                  }
                ],
                "page": "hot"
              }
            ],
            "evicted": "a",
            "selected_page": "cold",
            "translation_page_updates": 1,
            "written_back": [
              "a",
              "c",
              "e"
            ]
          }
        ],
        "translation_page_updates": 1
      },
      "slots": 3
    }
  ],
  "evidenceClass": "synthetic-state-transition",
  "model_sha256": "1e8cfd81a45df30ecefe9c443e5272f011ad34d50bf37f9c9c87b5468e279e71",
  "notEstablished": [
    "DFTL implementation behavior",
    "performance ranking",
    "device endurance",
    "crash recovery"
  ],
  "ordering": "Both group and entry lists are LRU to MRU.",
  "schemaVersion": 1,
  "scope": "Completed metadata updates; no concurrency, GC, insertion, crash or timing model."
}