ResearchBenchmarksSymbolic Execution on gawkFollow23,464Peak Memory (MB)Vanilla23,394.823,861.924,32924,796.1Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioVanilla2026.0623,464—6,232—Symbolon2026.0625,1949316384