ResearchBenchmarksSymbolic Execution on combineFollow405Peak Memory (MB)Symbolon-654.886,499.3113,653.520,807.69Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0640566.4143.2Vanilla2026.0626,902—43—