ResearchBenchmarksSymbolic Execution on cjsonFollow24,189Peak Memory (MB)Symbolon24,082.7624,799.8825,51726,234.12Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0624,1891.12601.1Vanilla2026.0626,845—282—