% SZS start BatchConfiguration
division.category LTB.CYC
limit.time.problem.wc 60
limit.time.overall.wc 1500
% SZS end BatchConfiguration
% SZS start BatchIncludes
include('Axioms/CSR002+4.ax').
% SZS end BatchIncludes
% SZS start BatchProblems
/Users/schulz/EPROVER/TPTP_4.0.1_FLAT/CSR025+5.p /tmp/CSR025+5
/Users/schulz/EPROVER/TPTP_4.0.1_FLAT/CSR026+5.p /tmp/CSR026+5
/Users/schulz/EPROVER/TPTP_4.0.1_FLAT/CSR027+5.p /tmp/CSR027+5
% SZS end BatchProblems