ResearchBenchmarksSymbolic Execution on transiccFollow317Peak Memory (MB)Symbolon-702.926,181.5413,06619,950.46Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.0631781.418155Vanilla2026.0625,815—2,821—