now really set literal count as clause weight as default
now really set literal count as clause weight as default

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