| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| tcwg-benchmark-results.log | 2025-08-13 22:19 | 216K | ||
| results-internal.csv | 2025-08-13 22:19 | 16K | ||
| interesting-symbols.csv | 2025-08-13 22:14 | 5.6K | ||
| csvs2table-results.csv | 2025-08-13 22:19 | 15K | ||
| csvs2table-results-internal.csv | 2025-08-13 22:19 | 16K | ||
| csvs2table-results-full.csv | 2025-08-13 22:19 | 15K | ||
| csvs2table-results-brief.csv | 2025-08-13 22:19 | 4.5K | ||
| csv-results-1/ | 2025-08-13 22:22 | - | ||
| csv-results-0/ | 2025-08-13 22:22 | - | ||
| compare-results-internal.csv | 2025-08-13 22:19 | 16K | ||
| bmk-specific-variability-max.csv | 2025-08-13 22:19 | 5.9K | ||
| bmk-specific-variability-avg.csv | 2025-08-13 22:19 | 5.9K | ||