This is a MaxSAT solver QMaxSAT 16.03UC (auto-mode). It is based on a combination of satisfiability-based and unsatisfiability-based methods and uses glucose3.0 as an underlying SAT solver. It keeps a balance between satisfiability-based and unsatisfiability-based. Currently, QMaxSAT deals with MS, PMS, WMS and WPMS instances. Run QMaxSAT (auto-mode) with glucose 3.0 > ./qmaxsat16.03UCsimp-glucose3_static