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