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