summaryrefslogtreecommitdiffstats
path: root/results
ModeNameSize
-rw-r--r--comparison.csv2670logstatsplain
-rw-r--r--comparison.numbers209098logstatsplain
-rw-r--r--coqup.csv945logstatsplain
-rw-r--r--legup.csv1028logstatsplain