modify seqloop to use initial problems without preprocessing for external ATP
modify seqloop to use initial problems without preprocessing for external ATP

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