Runtime analysis on coreutils binaries
0.05Runtime (seconds)XTRIDE
Evaluation results
| Method | Links | |
|---|---|---|
| XTRIDECalculation=Median of ten runs, Format=Per-binary average2026.03 | 0.05 | |
| XTRIDE_PLUSCalculation=Median of ten runs, Format=Per-binary average2026.03 | 0.08 | |
| TypeForgeCalculation=Median of ten runs, Format=Per-binary average2026.03 | 9.2 | |
| HyRESCalculation=Median of ten runs, Format=Per-binary average2026.03 | 189.32 |