ResearchBenchmarksSymbolic Execution on strip newSymbolic Execution on strip newFollow462Peak Memory (MB)Symbolon-275.164,700.679,676.514,652.33Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.0646240.842193Vanilla2026.0618,891—8,079—