---

title: Scheduler must start the mutants with the longest limits first. status: open text_ref: readme:README.md#L136 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l136
• lane:strict

semantic_text: Scheduler must start the mutants with the longest limits first. logic_claims:

• CLAIM-CBCB1609BBA891D5

semantic_clauses:

• Scheduler must start the mutants with the longest limits first.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: d5db8b33a27204e35693a172682a2f319b1731b004f4fa519ef15ee486870f9c semantic_inventory:

claim_key:CLAIM - CBCB1609BBA891D5

claim_text: Scheduler must start the mutants with the longest limits first role: normative status: modeled span: start: 0 end: 62 origin: kind: import ref: readme:README.md#L136 recorded_at: '2026-10-29T16:05:35.139Z' firmness: firm required_evidence: asserted id: REQ-AUTO-C6895C0B44964BBF type: req --- Scheduler must start the mutants with the longest limits first.

Source

Mutants with the longest limits start first, so a slow mutant doesn't leave the other workers idle at the end.

Source: Mutalog README - README.md#L136