summaryrefslogtreecommitdiffstats
path: root/src/sat/proof
ModeNameSize
-rw-r--r--pr.c37967logstatsplain
-rw-r--r--pr.h2127logstatsplain
-rw-r--r--stats.txt3183logstatsplain