[
  {
    "case": "view-false-0.txt",
    "low_graph_identical": true
  },
  {
    "case": "view-false-1.txt",
    "low_graph_identical": true
  },
  {
    "case": "view-true-0.txt",
    "low_graph_identical": true
  },
  {
    "case": "view-true-1.txt",
    "low_graph_identical": true
  }
]