Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Symbolic Execution on patch
Loading...
28,756
Peak Memory Usage (MB)
Symbolon
28,622.48
29,523.74
30,425
31,326.26
Jun 27, 2026
Peak Memory Usage (MB)
Peak Memory Ratio
Average Solving Time (ms)
Average Solving Time Ratio
Updated 26d ago
Evaluation Results
Method
Method
Links
Peak Memory Usage (MB)
Peak Memory Ratio
Average Solving Time (ms)
Average Solving Time Ratio
Symbolon
2026.06
28,756
1.1
570
1.2
Vanilla
2026.06
32,094
-
659
-
Feedback
Search any
task
Search any
task
