{
  "schema": "hella.exp041.shared-credit-fairness.v1",
  "cases": [
    {
      "writers": 2,
      "initial_quanta": 64,
      "service_counts": [
        32,
        32
      ],
      "max_min_service_spread": 0,
      "max_wait_allocations": 1,
      "remaining_quanta": 0
    },
    {
      "writers": 3,
      "initial_quanta": 64,
      "service_counts": [
        22,
        21,
        21
      ],
      "max_min_service_spread": 1,
      "max_wait_allocations": 2,
      "remaining_quanta": 0
    },
    {
      "writers": 4,
      "initial_quanta": 64,
      "service_counts": [
        16,
        16,
        16,
        16
      ],
      "max_min_service_spread": 0,
      "max_wait_allocations": 3,
      "remaining_quanta": 0
    },
    {
      "writers": 8,
      "initial_quanta": 64,
      "service_counts": [
        8,
        8,
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "max_min_service_spread": 0,
      "max_wait_allocations": 7,
      "remaining_quanta": 0
    }
  ],
  "invariant_violations": [],
  "all_invariants_hold": true,
  "truth_boundary": "Deterministic finite scheduling model only; not a live storage implementation."
}