Symbolic Execution on gzip benchmark leaderboard · SOTA2 Research

Symbolic Execution on gzip

994Peak Memory (MB)Symbolon

Evaluation Results

Method	Links
Symbolon2026.06		994	1.1	4,211	45.7
Vanilla2026.06		1,142	—	192,424	—