{
 "killed": 15,
 "mode": "targeted bench subset per mutant",
 "mutants": 15,
 "rows": [
  {
   "bench_subset": [
    "MT-governance-unknown-",
    "MT-proof-unknown-",
    "DS-unknown-",
    "DS-match-"
   ],
   "examples": [
    "MT-governance-unknown-0",
    "MT-governance-unknown-1",
    "MT-governance-unknown-2"
   ],
   "killed": true,
   "mutant": "match_upgrades_unknown",
   "noticed_by_bench": 12,
   "subset_size": 60
  },
  {
   "bench_subset": [
    "PP-verify-"
   ],
   "examples": [
    "PP-verify-0",
    "PP-verify-1",
    "PP-verify-2"
   ],
   "killed": true,
   "mutant": "passport_grants_authority",
   "noticed_by_bench": 8,
   "subset_size": 8
  },
  {
   "bench_subset": [
    "CT-build-",
    "CC-complete-"
   ],
   "examples": [
    "CT-build-0",
    "CT-build-1",
    "CT-build-2"
   ],
   "killed": true,
   "mutant": "contract_grants_authority",
   "noticed_by_bench": 12,
   "subset_size": 28
  },
  {
   "bench_subset": [
    "PA-replay-"
   ],
   "examples": [
    "PA-replay-0",
    "PA-replay-1",
    "PA-replay-2"
   ],
   "killed": true,
   "mutant": "payment_replay_allowed",
   "noticed_by_bench": 6,
   "subset_size": 6
  },
  {
   "bench_subset": [
    "SC-amplify-"
   ],
   "examples": [
    "SC-amplify-0",
    "SC-amplify-1",
    "SC-amplify-2"
   ],
   "killed": true,
   "mutant": "subcontract_amplifies",
   "noticed_by_bench": 6,
   "subset_size": 6
  },
  {
   "bench_subset": [
    "RP-self-"
   ],
   "examples": [
    "RP-self-0",
    "RP-self-1",
    "RP-self-2"
   ],
   "killed": true,
   "mutant": "reputation_self_review",
   "noticed_by_bench": 8,
   "subset_size": 8
  },
  {
   "bench_subset": [
    "GB-ex-"
   ],
   "examples": [
    "GB-ex-money-0",
    "GB-ex-money-1",
    "GB-ex-compute-0"
   ],
   "killed": true,
   "mutant": "budget_never_exhausts",
   "noticed_by_bench": 20,
   "subset_size": 20
  },
  {
   "bench_subset": [
    "SM-"
   ],
   "examples": [
    "SM-low-0",
    "SM-high-0",
    "SM-low-1"
   ],
   "killed": true,
   "mutant": "safe_mode_increases_authority",
   "noticed_by_bench": 32,
   "subset_size": 32
  },
  {
   "bench_subset": [
    "RT-noe8-"
   ],
   "examples": [
    "RT-noe8-0",
    "RT-noe8-1",
    "RT-noe8-2"
   ],
   "killed": true,
   "mutant": "receipt_without_e8",
   "noticed_by_bench": 12,
   "subset_size": 12
  },
  {
   "bench_subset": [
    "CL-"
   ],
   "examples": [
    "CL-0",
    "CL-1",
    "CL-2"
   ],
   "killed": true,
   "mutant": "col collective_union",
   "noticed_by_bench": 16,
   "subset_size": 16
  },
  {
   "bench_subset": [
    "ST-partial-"
   ],
   "examples": [
    "ST-partial-0",
    "ST-partial-1",
    "ST-partial-2"
   ],
   "killed": true,
   "mutant": "substitution_silent",
   "noticed_by_bench": 12,
   "subset_size": 12
  },
  {
   "bench_subset": [
    "CC-ambiguous-"
   ],
   "examples": [
    "CC-ambiguous-0",
    "CC-ambiguous-1",
    "CC-ambiguous-2"
   ],
   "killed": true,
   "mutant": "contract_compiler_guesses",
   "noticed_by_bench": 16,
   "subset_size": 16
  },
  {
   "bench_subset": [
    "FB-"
   ],
   "examples": [
    "FB-0",
    "FB-1",
    "FB-2"
   ],
   "killed": true,
   "mutant": "firebreak_confiscates",
   "noticed_by_bench": 14,
   "subset_size": 14
  },
  {
   "bench_subset": [
    "IN-"
   ],
   "examples": [
    "IN-purchase_self_unlimited-0",
    "IN-purchase_self_unlimited-1",
    "IN-purchase_self_unlimited-2"
   ],
   "killed": true,
   "mutant": "internal_service_overrides_e8",
   "noticed_by_bench": 24,
   "subset_size": 24
  },
  {
   "bench_subset": [
    "DS-match-"
   ],
   "examples": [
    "DS-match-0",
    "DS-match-1",
    "DS-match-2"
   ],
   "killed": true,
   "mutant": "discovery_does_not_record_unknown",
   "noticed_by_bench": 24,
   "subset_size": 24
  }
 ],
 "survived": []
}