execdir = .
deterministic = 0
run_obj = runtime
overall_obj = mean10
cutoff_time = 300
instance_file = ./instances/sat/sets/K3-CSSC14/training.txt
test_instance_file = ./instances/sat/sets/K3-CSSC14/test.txt
feature_file = ./instances/sat/sets/K3-CSSC14/features.txt
algo = python -u ./target_algorithms/sat/scripts/SATCSSCWrapper.py --mem-limit 3000 --script ./target_algorithms/sat/minisat_HACK_999ED_CSSC-cssc14/minisat_HACK_999ED_CSSCWrapper.py --sat-checker ./target_algorithms/sat/scripts/SAT --sol-file ./instances/sat/true_solubility_cssc14.txt --log True 
paramfile = ./target_algorithms/sat/minisat_HACK_999ED_CSSC-cssc14/minisat_HACK_999ED_CSSC-params.pcs
wallclock-limit = 172800
