ResearchBenchmarksSymbolic Execution on jasperFollow205Peak Memory (MB)Symbolon-553.764,567.879,689.514,811.13Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0620593.62.3149Vanilla2026.0619,174—343—