division.category LTB.HLL division.category.training_data TrainingData/TrainingData.HLL.tgz % SZS start BatchConfiguration execution.order unordered output.required Proof limit.time.problem.wc 0 limit.time.overall.wc 240 % SZS end BatchConfiguration % SZS start BatchIncludes include('Axioms/HLL001+0.ax'). include('Axioms/HLL002+0.ax'). include('Axioms/HLL003+0.ax'). % SZS end BatchIncludes % SZS start BatchProblems Problems/HLL004+1.p HLL004+1 Problems/HLL034+1.p HLL034+1 Problems/HLL035+1.p HLL035+1 Problems/HLL036+1.p HLL036+1 Problems/HLL077+1.p HLL077+1 Problems/HLL080+1.p HLL080+1 Problems/HLL091+1.p HLL091+1 Problems/HLL092+1.p HLL092+1 % SZS end BatchProblems % SZS start BatchConfiguration execution.order ordered output.required Proof limit.time.problem.wc 60 limit.time.overall.wc 720 % SZS end BatchConfiguration % SZS start BatchIncludes include('Axioms/HLL001+0.ax'). include('Axioms/HLL002+0.ax'). include('Axioms/HLL003+0.ax'). include('Axioms/HLL004+0.ax'). % SZS end BatchIncludes % SZS start BatchProblems Problems/HLL101+1.p HLL101+1 Problems/HLL102+1.p HLL102+1 Problems/HLL103+1.p HLL103+1 Problems/HLL104+1.p HLL104+1 Problems/HLL105+1.p HLL105+1 Problems/HLL106+1.p HLL106+1 Problems/HLL107+1.p HLL107+1 Problems/HLL111+1.p HLL111+1 Problems/HLL113+1.p HLL113+1 Problems/HLL114+1.p HLL114+1 Problems/HLL115+1.p HLL115+1 Problems/HLL116+1.p HLL116+1 % SZS end BatchProblems