ResearchBenchmarksSymbolic Execution on expatFollow305Peak Memory (MB)Symbolon-307.83,828.67,96512,101.4Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.0630551.326178Vanilla2026.0615,625—4,577—