{
  "schemaVersion": 1,
  "evidenceType": "constructed exact-arithmetic predicate inputs",
  "source": "FAST 2004, Bansal and Modha, Figure 3 line 30",
  "scope": "Referenced S page rotating within T1; size predicate only.",
  "limitations": "Not a complete CART simulator. No reachability, hit-ratio, latency or concurrency result.",
  "cases": [
    {
      "capacityPages": 4,
      "t1Pages": 2,
      "b1Entries": 4,
      "targetExact": "2",
      "relaxFilter": false
    },
    {
      "capacityPages": 4,
      "t1Pages": 3,
      "b1Entries": 4,
      "targetExact": "2",
      "relaxFilter": true
    },
    {
      "capacityPages": 4,
      "t1Pages": 2,
      "b1Entries": 2,
      "targetExact": "2",
      "relaxFilter": true
    },
    {
      "capacityPages": 4,
      "t1Pages": 1,
      "b1Entries": 0,
      "targetExact": "4",
      "relaxFilter": true
    },
    {
      "capacityPages": 4,
      "t1Pages": 3,
      "b1Entries": 4,
      "targetExact": "5/2",
      "relaxFilter": false
    },
    {
      "capacityPages": 4,
      "t1Pages": 4,
      "b1Entries": 4,
      "targetExact": "5/2",
      "relaxFilter": true
    }
  ]
}