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