execdir = .
deterministic = 0
run_obj = runtime
overall_obj = mean10
cutoff_time = 300
tunerTimeout = 172800
instance_file = instances/instancelists/GI-checked-shuffled-first1032.txt
test_instance_file = instances/instancelists/GI-checked-shuffled-last1032_first351.txt 
feature_file = instances/instancelists/GI.features.min
algo = python -u scripts/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ./solvers/lingeling/callstring_generator.rb" --sat-checker ./scripts/SAT --sol-file ./instances/true_solubility.txt --log True 
paramfile = ./solvers/lingeling/lingeling-params-mixed.pcs
wallClockLimit = 172800
