ResearchBenchmarksSymbolic Execution on bcFollow260Peak Memory (MB)Symbolon-503.724,651.399,806.514,961.61Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0626074.35.7307Vanilla2026.0619,353—1,739—