ResearchBenchmarksSymbolic Execution on ticFollow308Peak Memory (MB)Symbolon-702.166,116.4212,93519,753.58Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0630882.90.99351Vanilla2026.0625,562—348—