% 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('Axioms/CSR003+2.ax').
include('Axioms/CSR003+5.ax').
% SZS end BatchIncludes
% SZS start BatchProblems
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR083+3.p /Users/schulz/tmp/LTB_TEST/CSR083+3
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR075+3.p /Users/schulz/tmp/LTB_TEST/CSR075+3 
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR082+3.p /Users/schulz/tmp/LTB_TEST/CSR082+3
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR086+3.p /Users/schulz/tmp/LTB_TEST/CSR086+3
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR091+3.p /Users/schulz/tmp/LTB_TEST/CSR091+3
/Users/schulz/EPROVER/TPTP_5.1.0_FLAT/CSR092+3.p /Users/schulz/tmp/LTB_TEST/CSR092+3
% SZS end BatchProblems