ResearchBenchmarksSymbolic Execution on findFollow616Peak Memory (MB)Symbolon-247.85,582.8511,413.517,244.15Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0661636.13613.5Vanilla2026.0622,211—486—