ResearchBenchmarksSymbolic Execution on bisonFollow1,028Peak Memory (MB)Symbolon759.082,574.294,389.56,204.71Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.061,0287.590184Vanilla2026.067,751—16,601—