algo = python -u ./target_algorithms/asp/clasp-3.1.4/SATCSSCWrapper.py --mem-limit 2048 --script ./target_algorithms/asp/clasp-3.1.4/claspCSSCWrapper.py --log True
deterministic = 0
run_obj = runtime
overall_obj = mean10
cutoff_time = 900
wallclock-limit = 345600
paramfile =  ./target_algorithms/asp/clasp-3.1.4/clasp-option-config.txt
instance_file = ./instances/asp/sets/weighted-sequence/training.txt
test_instance_file = ./instances/asp/sets/weighted-sequence/test.txt
feature_file = ./instances/asp/sets/weighted-sequence/features.txt
execdir = .
