Thirty testing conditions. Circles are Medium effort, triangles are XHigh, lines join the same condition, and ellipses are joint 50 percent paired-bootstrap uncertainty. Out-of-memory runs are excluded.DefaultDefaultbuilt-inbuilt-inProptestProptestHegelHegelTDDTDDPBTPBTFuzzingFuzzingAuditAuditDifferentialDifferentialMetamorphicMetamorphicMutationMutationJudgementJudgementQuickCheckQuickCheckrstestrstestInstaInstaFuzz riskyFuzz riskyMake no mistakesMake no mistakesKaniKaniVerusVerusCreusotCreusotLean 4Lean 4ACL2ACL2AlloyAlloyTLA+TLA+SpinSpinSMTSMTHegel SkillHegel SkillSkillSkillECCECCToBToBMediumXHighoverallThirty testing conditions. Circles are Medium effort, triangles are XHigh, lines join the same condition, and ellipses are joint 50 percent paired-bootstrap uncertainty. Out-of-memory runs are excluded.DefaultDefaultbuilt-inbuilt-inProptestProptestHegelHegelTDDTDDPBTPBTFuzzingFuzzingAuditAuditDifferentialDifferentialMetamorphicMetamorphicMutationMutationJudgementJudgementQuickCheckQuickCheckrstestrstestInstaInstaFuzz riskyFuzz riskyMake no mistakesMake no mistakesKaniKaniVerusVerusCreusotCreusotLean 4Lean 4ACL2ACL2AlloyAlloyTLA+TLA+SpinSpinSMTSMTHegel SkillHegel SkillSkillSkillECCECCToBToBMediumXHighoverallThirty testing conditions. Circles are Medium effort, triangles are XHigh, lines join the same condition, and ellipses are joint 50 percent paired-bootstrap uncertainty. Out-of-memory runs are excluded.DefaultDefaultbuilt-inbuilt-inProptestProptestHegelHegelTDDTDDPBTPBTFuzzingFuzzingAuditAuditDifferentialDifferentialMetamorphicMetamorphicMutationMutationJudgementJudgementQuickCheckQuickCheckrstestrstestInstaInstaFuzz riskyFuzz riskyMake no mistakesMake no mistakesKaniKaniVerusVerusCreusotCreusotLean 4Lean 4ACL2ACL2AlloyAlloyTLA+TLA+SpinSpinSMTSMTHegel SkillHegel SkillSkillSkillECCECCToBToBMediumXHighoverallThirty testing conditions. Circles are Medium effort, triangles are XHigh, lines join the same condition, and ellipses are joint 50 percent paired-bootstrap uncertainty. Out-of-memory runs are excluded.DefaultDefaultbuilt-inbuilt-inProptestProptestHegelHegelTDDTDDPBTPBTFuzzingFuzzingAuditAuditDifferentialDifferentialMetamorphicMetamorphicMutationMutationJudgementJudgementQuickCheckQuickCheckrstestrstestInstaInstaFuzz riskyFuzz riskyMake no mistakesMake no mistakesKaniKaniVerusVerusCreusotCreusotLean 4Lean 4ACL2ACL2AlloyAlloyTLA+TLA+SpinSpinSMTSMTHegel SkillHegel SkillSkillSkillECCECCToBToBMediumXHighoverall