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