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