Symbolic Execution
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
6,684Peak Memory (MB)
2
Jun 30, 2026
881Peak Memory (MB)
2
Jun 30, 2026
317Peak Memory (MB)
2
Jun 30, 2026
326Peak Memory (MB)
2
Jun 30, 2026
308Peak Memory (MB)
2
Jun 30, 2026
462Peak Memory (MB)
2
Jun 30, 2026
768Peak Memory (MB)
2
Jun 30, 2026
26,368Peak Memory (MB)
2
Jun 30, 2026
271Peak Memory (MB)
2
Jun 30, 2026
28,756Peak Memory Usage (MB)
2
Jun 30, 2026
2,309Peak Memory (MB)
2
Jun 30, 2026
1,726Peak Memory (MB)
2
Jun 30, 2026
22,011Peak Memory (MB)
2
Jun 30, 2026
19,377Peak Memory (MB)
2
Jun 30, 2026
5,981Peak Memory (MB)
2
Jun 30, 2026
444Peak Memory (MB)
2
Jun 30, 2026
283Peak Memory (MB)
2
Jun 30, 2026
205Peak Memory (MB)
2
Jun 30, 2026
994Peak Memory (MB)
2
Jun 30, 2026
11,683Peak Memory (MB)
2
Jun 30, 2026
23,464Peak Memory (MB)
2
Jun 30, 2026
336Peak Memory (MB)
2
Jun 30, 2026
96Peak Memory (MB)
2
Jun 30, 2026
616Peak Memory (MB)
2
Jun 30, 2026
305Peak Memory (MB)
2
Jun 30, 2026