Added maxsat evaluation 2013 benchmarks, excluded industrial category