ResearchBenchmarksSymbolic Execution on luaFollow5,981Peak Memory (MB)Symbolon5,766.087,216.798,667.510,118.21Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.065,9811.91,9180.11Vanilla2026.0611,354—215—