This is Dist (version 2016), a local search solver for solving (Weighted) Partial MaxSAT instances, and participats in MaxSAT Evaluation 2016. Running Command: ./Dist Author: Shaowei Cai State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences Email: caisw@ios.ac.cn Brief Introduction of Dist (version 2016) ------------------------------------- Dist is a local search solver for solving (Weighted) Partial MaxSAT instances, which makes effective use of the distinction between hard and soft clauses. Dist is specially designed for solving unweighted Partial MaxSAT. Version 2016 of Dist uses an initial procedure called PrioUP for large structured instances. For details about Dist, please refer to the following paper. Shaowei Cai, Chuan Luo, John Thornton, Kaile Su, "Tailing Local Search for Partial MaxSAT", AAAI-2014. We have already submitted an extended version of the above conference paper to a journal. Anyone interested in the details of this new version can check my homepage at http://lcs.ios.ac.cn/~caisw/