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