ResearchBenchmarksSymbolic Execution on sqliteFollow768Peak Memory (MB)Symbolon-255.526,653.2413,56220,470.76Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0676834.313397Vanilla2026.0626,356—4,975—