ResearchBenchmarksSymbolic Execution on flvmetaFollow336Peak Memory (MB)Symbolon-676.326,156.8412,99019,823.16Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0633676.44661.6Vanilla2026.0625,644—2,855—