This is a MaxSAT solver QMaxSAT 15.05UC (auto-mode). It is based on a combination of satisfiability-based and unsatisfiability-based methods and uses glucose3.0 as an underlying SAT solver. Currently, QMaxSAT deals with MS, PMS, WMS and WPMS instances. > ./qmaxsat15.05UCsimp-glucose3_static