| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| tcwg-benchmark-results.log | 2025-08-21 17:51 | 42K | ||
| results-internal.csv | 2025-08-21 17:51 | 1.2K | ||
| interesting-symbols.csv | 2025-08-21 17:51 | 202 | ||
| csvs2table-results.csv | 2025-08-21 17:51 | 1.2K | ||
| csvs2table-results-internal.csv | 2025-08-21 17:51 | 1.2K | ||
| csvs2table-results-full.csv | 2025-08-21 17:51 | 1.2K | ||
| csvs2table-results-brief.csv | 2025-08-21 17:51 | 911 | ||
| csv-results-1/ | 2025-08-21 21:22 | - | ||
| csv-results-0/ | 2025-08-21 21:22 | - | ||
| compare-results-internal.csv | 2025-08-21 17:51 | 1.2K | ||
| bmk-specific-variability-max.csv | 2025-08-21 17:51 | 7.1K | ||
| bmk-specific-variability-avg.csv | 2025-08-21 17:51 | 7.1K | ||