algo = python -u ~/algorithms/lingeling/smac/SATCSSCWrapper.py --mem-limit 3072 --script None --ext-callstring "ruby ~/algorithms/lingeling/callstring_generator.rb" --sat-checker ~/instances/sat-circuitfuzz-cssc14/SAT --sol-file ~/instances/sat-circuitfuzz-cssc14/true_solubility.txt --log True deterministic = 0 run_obj = runtime overall_obj = mean10 cutoff_time = 300 tunerTimeout = 172800 paramfile = lingeling-parameters.pcs instance_file = training-lingeling.txt test_instance_file = training-lingeling.txt