execdir = .
deterministic = 0
run_obj = runtime
overall_obj = mean10
cutoff_time = 300
tunerTimeout = 2147483647
instance_file = instances/instancelists/3sat1k.train.txt
test_instance_file = instances/instancelists/3sat1k.test.txt
feature_file = instances/instancelists/kSAT-features.csv
algo = bash run-algo.sh 
paramfile = solvers/yalsat/yalsat-params.pcs
wallClockLimit = 172800
