Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | bmk-specific-variability.csv | 6654 | logplain |
-rw-r--r-- | compare-results-internal.csv | 18185 | logplain |
d--------- | csv-results-0 | 220 | logplain |
d--------- | csv-results-1 | 220 | logplain |
-rw-r--r-- | csvs2table-results-brief.csv | 5062 | logplain |
-rw-r--r-- | csvs2table-results-full.csv | 134313 | logplain |
-rw-r--r-- | csvs2table-results-internal.csv | 18185 | logplain |
-rw-r--r-- | csvs2table-results.csv | 17446 | logplain |
-rw-r--r-- | interesting-symbols.csv | 6299 | logplain |
-rw-r--r-- | results-internal.csv | 18185 | logplain |
-rw-r--r-- | tcwg-benchmark-results.log | 261506 | logplain |