Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/InputFiles/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/InputFiles/settings.in

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).
 

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists