Symbolic Execution
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
1,727Peak Memory (MB)
2
Jun 30, 2026
292Peak Memory (MB)
2
Jun 30, 2026
405Peak Memory (MB)
2
Jun 30, 2026
24,189Peak Memory (MB)
2
Jun 30, 2026
16,362Peak Memory (MB)
2
Jun 30, 2026
1,028Peak Memory (MB)
2
Jun 30, 2026
260Peak Memory (MB)
2
Jun 30, 2026
14,215Peak Memory (MB)
2
Jun 30, 2026