ResearchBenchmarksSymbolic Execution on makeFollow19,377Peak Memory (MB)Symbolon19,224.1220,256.0621,28822,319.94Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0619,3771.21,1895.3Vanilla2026.0623,199—6,289—