Run 1771812258

• Date (UTC): 2026-02-23 02:04:18Z
• Benchmark: 53095bb5f1ca66de81b43e0d2925d7b1
• Timeout: 6h

Trial run

Warning — trial run. This benchmark was executed with fewer than 10 instances per fuzzer and/or a time budget shorter than 24h. Results from trial runs are meant for debugging purposes and are not valid for extracting conclusions across different fuzzers.

Charts

Report

Fuzzer Benchmark Report (from bug-count CSV)

• Time budget: 6.00h

Executive summary

This report is derived solely from cumulative bugs-found over time across repeated runs per fuzzer. It emphasizes robust, distribution-based metrics (median/IQR, success rates, time-to-k) and shape-based behavior (plateau time, late discovery share) instead of single-run time-to-first-bug.

Bugs found at fixed time budgets (median [IQR])

Fuzzer	Runs	1h	4h
foundry	4	6 [6,6]	6 [6,6]
medusa	4	6 [6,6]	6 [6,7]
echidna	4	4 [4,4]	6 [5,6]

Overall metrics

Fuzzer	AUC (norm)	Plateau time	Late discovery share	Final median	Final IQR
foundry	0.665	0.10h	0.000	6	0.00
medusa	0.646	0.50h	0.000	6	0.75
echidna	0.548	4.40h	0.308	6	1.75

Milestones: time-to-k and success rates

Fuzzer	time-to-1 (p50)	time-to-3 (p50)	time-to-5 (p50)	reach-1 rate	reach-3 rate	reach-5 rate
foundry	0.00h	0.00h	0.00h	100.0%	100.0%	100.0%
medusa	0.10h	0.10h	0.35h	100.0%	100.0%	100.0%
echidna	0.10h	0.10h	2.20h	100.0%	100.0%	75.0%

Shape-based interpretation (rules of thumb)

• Fast-start / early-plateau: high early checkpoint median + early plateau time + low late discovery share.
• Steady: moderate AUC, later plateau, consistent improvements across checkpoints, moderate variance.
• Slow-burn / late-surge: low early checkpoints but high late discovery share and later plateau time; often higher final median.

Limitations

• Core metrics in this section are count-based; use broken_invariants.md / broken_invariants.csv for invariant identities.
• Severity, exploitability, and root-cause uniqueness cannot be measured directly without richer per-bug metadata.
• Harness design still affects results; mitigate by keeping harness identical across fuzzers and reporting many runs.

Broken invariants

• Budget filter: 6.00h
• Events considered: 76 / 76
• Unique invariants: 17

Per-fuzzer totals

Fuzzer	Invariants
echidna	9
foundry	6
medusa	9

High-level overlap

• Shared by all fuzzers: 1
• Exclusive to echidna: 3
• Exclusive to foundry: 5
• Exclusive to medusa: 3

Grouped invariants

Exclusive to echidna (3)

• doomsday_fulfillDoesntOverRedeemMultipleActors
• doomsday_maxRedeemResetsAfterFullRedemption
• doomsday_maxWithdrawResetsAfterFullWithdrawal

Exclusive to foundry (5)

• invariant_assertion_failure_CANARY
• invariant_erc7540_1
• invariant_erc7540_2
• invariant_erc7540_3
• invariant_maxRedeemMaxWithdrawSymmetry

Exclusive to medusa (3)

• global_comparePreviewMintAndConvertToAssets
• global_previewEquivalenceFromAssets
• invariant_accumulatorCostBasisIncrease

Shared by all fuzzers (1)

• invariant_canary

Top shared subsets (top 1 by size):

echidna, medusa (5)

• assert_canary
• doomsday_depositWithdrawSymmetrical
• doomsday_mintRedeemSymmetrical
• global_previewEquivalenceFromShares
• invariant_accumulatorSharesDecreaseOnFulfill_exact

Runner resource usage

• Budget filter: 6.00h
• Instances with metrics: 12
• Total samples: 51431

Per-fuzzer medians (across instances)

Fuzzer	Instances	CPU active avg (%)	CPU active peak (%)	Memory used avg (GiB)	Memory used peak (GiB)	Memory used avg (%)	Memory used peak (%)
echidna	4	85.09	88.19	3.77	4.61	12.31	15.06
foundry	4	99.39	100.00	2.80	3.00	9.14	9.77
medusa	4	98.53	99.98	2.72	4.02	8.89	13.11

Instance stats

Instance	Fuzzer	Samples	Duration (h)	CPU active avg (%)	CPU active peak (%)	Memory avg (GiB)	Memory peak (GiB)	Memory avg (%)	Memory peak (%)
i-00965c9f9795b13b8-echidna-v2.3.1	echidna	4292	6.00	85.26	88.56	3.74	4.56	12.21	14.88
i-07a29d7d39100b4fa-echidna-v2.3.1	echidna	4294	6.00	84.64	87.86	3.78	4.67	12.33	15.24
i-08f5a34bcc30a9549-echidna-v2.3.1	echidna	4292	6.00	85.08	88.34	3.78	4.59	12.34	14.97
i-0dfb6d7bebd36709f-echidna-v2.3.1	echidna	4292	6.00	85.10	88.05	3.77	4.64	12.29	15.15
i-0161ad399d4adf2cb-foundry-git-366c5f9	foundry	4282	6.00	99.39	100.00	2.89	3.05	9.43	9.96
i-033be0b3c5862600b-foundry-git-366c5f9	foundry	4282	6.00	99.41	100.00	2.88	3.13	9.40	10.23
i-0791b01030b001965-foundry-git-366c5f9	foundry	4282	6.00	99.39	100.00	2.44	2.90	7.96	9.47
i-0a76c07d9185086a0-foundry-git-366c5f9	foundry	4282	6.00	99.39	100.00	2.72	2.94	8.88	9.58
i-05495c9b67a089458-medusa-v1.4.1	medusa	4283	6.00	98.55	100.00	2.74	3.98	8.96	13.00
i-07c5f28e720c9a554-medusa-v1.4.1	medusa	4283	6.00	98.73	99.99	2.72	3.94	8.87	12.86
i-0db808cd3fe860ab5-medusa-v1.4.1	medusa	4284	6.00	97.61	99.91	2.73	4.10	8.90	13.39
i-0ea0912f40247d18e-medusa-v1.4.1	medusa	4283	6.00	98.51	99.97	2.70	4.05	8.80	13.22

Manifest

• scfuzzbench_commit: 58b11959c0f5d01cf74f9869e08ca7baf2bbeafb
• target_repo_url: https://github.com/Recon-Fuzz/superform-v2-periphery-scfuzzbench
• target_commit: dev-recon
• benchmark_type: property
• instance_type: c6a.4xlarge
• instances_per_fuzzer: 4
• timeout_hours: 6
• aws_region: us-east-1
• ubuntu_ami_id: ami-0071174ad8cbb9e17
• foundry_version: v1.6.0-rc1
• foundry_git_repo: https://github.com/aviggiano/foundry
• foundry_git_ref: master
• echidna_version: 2.3.1
• medusa_version: 1.4.1
• fuzzer_keys: echidna, foundry, medusa

Artifacts

• Manifest (index): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/runs/1771812258/53095bb5f1ca66de81b43e0d2925d7b1/manifest.json

• Report prefix: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/

• Broken invariants (Markdown): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/broken_invariants.md

• Broken invariants (CSV): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/broken_invariants.csv

• Runner resource usage (Markdown): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/runner_resource_usage.md

• Runner resource summary (CSV): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/runner_resource_summary.csv

• Runner resource timeseries (CSV): https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/runner_resource_timeseries.csv

• Analysis bundle: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/bundles/analysis.zip

• Logs bundle: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/bundles/logs.zip

• Corpus bundle: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/analysis/53095bb5f1ca66de81b43e0d2925d7b1/1771812258/bundles/corpus.zip

• Raw logs prefix: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/logs/1771812258/53095bb5f1ca66de81b43e0d2925d7b1/

• Raw corpus prefix: https://scfuzzbench-logs-185f44d6.s3.us-east-1.amazonaws.com/corpus/1771812258/53095bb5f1ca66de81b43e0d2925d7b1/