Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Symbolic Execution on gawk
Loading...
23,464
Peak Memory (MB)
Vanilla
23,394.8
23,861.9
24,329
24,796.1
Jun 27, 2026
Peak Memory (MB)
Peak Memory Ratio
Avg. Solving Time (ms)
Avg. Solving Time Ratio
Updated 26d ago
Evaluation Results
Method
Method
Links
Peak Memory (MB)
Peak Memory Ratio
Avg. Solving Time (ms)
Avg. Solving Time Ratio
Vanilla
2026.06
23,464
-
6,232
-
Symbolon
2026.06
25,194
93
16
384
Feedback
Search any
task
Search any
task
