ResearchBenchmarksSymbolic Execution on tiffinfoFollow326Peak Memory (MB)Symbolon-256.323,674.347,60511,535.66Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0632645.66.5111Vanilla2026.0614,884—725—