Sindbad~EG File Manager

set(hyper_res).
set(para_into).
set(para_from).
set(binary_res).
set(ur_res).
set(order_history).
assign(max_seconds,20).
assign(max_mem,2000000).
clear(print_kept).
% set(very_verbose).
set(input_sos_first).
set(back_sub).
% set(ancestor_subsume).
% set(sos_queue).
assign(bsub_hint_wt,-1).
set(keep_hint_subsumers).
% set(print_kept).

assign(max_weight,20).
assign(max_distinct_vars,5).
assign(pick_given_ratio,4).
assign(max_proofs,1).