% SZS start BatchConfiguration
division.category LTB.SMO
output.required Assurance
output.desired Proof Answer
limit.time.problem.wc 60
% SZS end BatchConfiguration
% SZS start BatchIncludes
include('/Users/schulz/SOURCES/Projects/E/PROVER/SUMO.tptp').
% SZS end BatchIncludes
% SZS start BatchProblems
% SZS end BatchProblems
