ResearchBenchmarksSymbolic Execution on Average All ProgramsFollow6,684Peak Memory (MB)Symbolon6,195.769,491.3812,78716,082.62Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.066,68429.21,232123Vanilla2026.0618,890—18,263—