% all output to stdout
#(set_message_output(stdout)).

% look here fore included files
#(use_path_variable('TPTP')).

% be very, very quiet
#(set_verbosity(0)).

% assume all input to be in tptp-syntax
#(set_parameter(input_type, 2)).

% do not exit at internal timeout or memory-out, but stop proving
% and return a failure result
#(set_parameter(limit_termination_method, 1)).

% exit at SIGINT, do not just halt
#(set_parameter(interrupt_termination_method, 1)).

% do not load a file which has already been included
#(set_flag(prevent_reloading, true)).

% do not execute normal commands once timeout or memoryout have occurred
#(set_flag(limit_block, true)).

% do not use special evaluable symbols
#(clear_builtins).

% good general term weight limit
#(set_parameter(max_weight_initial, 3)).

% limit memory (not required for CASC23)
#(set_memory_limit(3000)).

% produce SZS results
#(set_flag(szs_output_flag, true)).

% just a signal for the wrapper
#(write('%EKRHREADY%~n')).