ResearchBenchmarksSymbolic Execution on opensslFollow2,309Peak Memory (MB)Symbolon1,722.65,680.89,63913,597.2Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.062,3097.336342Vanilla2026.0616,969—12,396—