{
 "killed": 12,
 "mode": "targeted bench subset per mutant",
 "mutants": 12,
 "rows": [
  {
   "bench_subset": [
    "GL-degraded-"
   ],
   "examples": [
    "GL-degraded-verifier_unavailable-high_risk",
    "GL-degraded-verifier_unavailable-physical",
    "GL-degraded-verifier_unavailable-financial"
   ],
   "killed": true,
   "mutant": "degradation_permits_all",
   "noticed_by_bench": 114,
   "subset_size": 132
  },
  {
   "bench_subset": [
    "CO-channel-",
    "CO-op-"
   ],
   "examples": [
    "CO-channel-file",
    "CO-channel-shared_memory",
    "CO-channel-collaboration"
   ],
   "killed": true,
   "mutant": "channel_firewall_open",
   "noticed_by_bench": 13,
   "subset_size": 35
  },
  {
   "bench_subset": [
    "VE-impersonate-",
    "IN-sdk"
   ],
   "examples": [
    "VE-impersonate-0",
    "VE-impersonate-1",
    "VE-impersonate-2"
   ],
   "killed": true,
   "mutant": "abi_signature_ignored",
   "noticed_by_bench": 36,
   "subset_size": 36
  },
  {
   "bench_subset": [
    "AU-lease-"
   ],
   "examples": [
    "AU-lease-invoke_tool-inherited",
    "AU-lease-invoke_tool-expired",
    "AU-lease-invoke_tool-exhausted"
   ],
   "killed": true,
   "mutant": "lease_v2_unchecked",
   "noticed_by_bench": 25,
   "subset_size": 30
  },
  {
   "bench_subset": [
    "PA-stale-"
   ],
   "examples": [
    "PA-stale-send_message",
    "PA-stale-invoke_tool",
    "PA-stale-execute_code"
   ],
   "killed": true,
   "mutant": "clock_never_stale",
   "noticed_by_bench": 14,
   "subset_size": 14
  },
  {
   "bench_subset": [
    "CO-msg-"
   ],
   "examples": [
    "CO-msg-grant-0",
    "CO-msg-grant-1",
    "CO-msg-grant-2"
   ],
   "killed": true,
   "mutant": "message_always_informational",
   "noticed_by_bench": 36,
   "subset_size": 39
  },
  {
   "bench_subset": [
    "CL-intersection-"
   ],
   "examples": [
    "CL-intersection-0",
    "CL-intersection-1",
    "CL-intersection-2"
   ],
   "killed": true,
   "mutant": "collective_union",
   "noticed_by_bench": 70,
   "subset_size": 70
  },
  {
   "bench_subset": [
    "BY-negotiation"
   ],
   "examples": [
    "BY-negotiation_widening-0",
    "BY-negotiation_widening-1",
    "BY-negotiation_widening-2"
   ],
   "killed": true,
   "mutant": "negotiation_union",
   "noticed_by_bench": 10,
   "subset_size": 10
  },
  {
   "bench_subset": [
    "BY-handshake"
   ],
   "examples": [
    "BY-handshake_unknown-0",
    "BY-handshake_unknown-1",
    "BY-handshake_unknown-2"
   ],
   "killed": true,
   "mutant": "handshake_allows_unknown",
   "noticed_by_bench": 10,
   "subset_size": 10
  },
  {
   "bench_subset": [
    "PA-edge-"
   ],
   "examples": [
    "PA-edge-revoked-0",
    "PA-edge-revoked-1",
    "PA-edge-revoked-2"
   ],
   "killed": true,
   "mutant": "edge_ignores_revocation",
   "noticed_by_bench": 36,
   "subset_size": 48
  },
  {
   "bench_subset": [
    "SC-module-",
    "RE-market"
   ],
   "examples": [
    "SC-module-policy-provenance",
    "SC-module-policy-author",
    "SC-module-policy-version"
   ],
   "killed": true,
   "mutant": "marketplace_any_permission",
   "noticed_by_bench": 124,
   "subset_size": 124
  },
  {
   "bench_subset": [
    "PO-routed-",
    "SI-routed-"
   ],
   "examples": [
    "PO-routed-modify_policy-0",
    "PO-routed-modify_policy-1",
    "PO-routed-modify_policy-2"
   ],
   "killed": true,
   "mutant": "routed_kinds_executed",
   "noticed_by_bench": 47,
   "subset_size": 47
  }
 ],
 "survived": []
}