Runtime analysis on grep binaries
0.19Runtime (s)XTRIDE
Evaluation Results
| Method | Links | |
|---|---|---|
| XTRIDECalculation=Median of ten runs2026.03 | 0.19 | |
| XTRIDE_PLUSCalculation=Median of ten runs2026.03 | 0.47 | |
| TypeForgeCalculation=Median of ten runs2026.03 | 63.47 | |
| HyRESCalculation=Median of ten runs2026.03 | 293.45 |