ResearchBenchmarksSymbolic Execution on diffSymbolic Execution on diffFollow1,727Peak Memory (MB)Symbolon1,231.444,576.477,921.511,266.53Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.061,7278.221288.9Vanilla2026.0614,116—18,854—