clean-up of Leo-III output from quite unnecessary statistics. can be enabled by -v 4 or so
clean-up of Leo-III output from quite unnecessary statistics. can be enabled by -v 4 or so

leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III