Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | exec-time.csv | 2151 | logstatsplain |
-rw-r--r-- | legup_no_chain.csv | 1408 | logstatsplain |
-rw-r--r-- | legup_no_opt.csv | 1395 | logstatsplain |
-rw-r--r-- | legup_no_opt_no_chain.csv | 1401 | logstatsplain |
-rw-r--r-- | legup_opt.csv | 1417 | logstatsplain |
-rw-r--r-- | vericert_div.csv | 1320 | logstatsplain |
-rw-r--r-- | vericert_timing.csv | 2577 | logstatsplain |
-rw-r--r-- | vericert_timing.numbers | 227941 | logstatsplain |