Runtime analysis on gzip binaries
0.13Runtime (seconds)XTRIDE
Evaluation results
| Method | Links | |
|---|---|---|
| XTRIDECalculation=Median of ten runs2026.03 | 0.13 | |
| XTRIDE_PLUSCalculation=Median of ten runs2026.03 | 0.33 | |
| TypeForgeCalculation=Median of ten runs2026.03 | 24.86 | |
| HyRESCalculation=Median of ten runs2026.03 | 148.04 |