ResearchBenchmarksSymbolic Execution on vimFollow881Peak Memory (MB)Symbolon152.485,069.999,987.514,905.01Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0688121.7624230Vanilla2026.0619,094—143,495—