ResearchBenchmarksSymbolic Execution on grepFollow11,683Peak Memory (MB)Symbolon11,622.5612,030.5312,438.512,846.47Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0611,6831.18,8364Vanilla2026.0613,194—35,440—