ResearchBenchmarksSymbolic Execution on sedSymbolic Execution on sedFollow26,368Peak Memory (MB)Vanilla26,353.3626,452.1826,55126,649.82Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioVanilla2026.0626,368—408—Symbolon2026.0626,7340.992491.6