% SZS start BatchConfiguration
division.category LTB.SMO
limit.time.problem.wc 60
limit.time.overall.wc 1500
% SZS end BatchConfiguration
% SZS start BatchIncludes
include('Axioms/CSR003+0.ax').
include('Axioms/CSR003+1.ax').
% SZS end BatchIncludes
% SZS start BatchProblems
/home/graph/tptp/TPTP/Problems/CSR/CSR103+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR103+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR085+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR085+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR098+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR098+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR083+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR083+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR075+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR075+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR086+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR086+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR099+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR099+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR092+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR092+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR094+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR094+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR100+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR100+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR101+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR101+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR082+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR082+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR089+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR089+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR090+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR090+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR104+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR104+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR108+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR108+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR109+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR109+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR079+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR079+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR084+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR084+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR091+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR091+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR093+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR093+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR096+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR096+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR076+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR076+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR080+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR080+2 
/home/graph/tptp/TPTP/Problems/CSR/CSR088+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR088+2 
% SZS end BatchProblems