SPB-MaxSAT-c-Band: an incomplete solver by Mingming Jin, Email: mingmingk@hust.edu.cn

./bin/starexec_run_default-runsolver instance-name

./bin/starexec_run_short-runsolver instance-name
