ResearchBenchmarksSymbolic Execution on curlSymbolic Execution on curlFollow292Peak Memory (MB)Symbolon-405.084,300.219,005.513,710.79Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0629260.62.4133Vanilla2026.0617,719—318—