Max-SAT 2016

Eleventh Max-SAT Evaluation

Solvers

• CCLS :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu, Zhong Jie
  Description
  Web page: http://lcs.ios.ac.cn/~caisw/MaxSAT.html


• Dist-r :
  Submitters: Shaowei Cai , Shaowei Cai
  Description
  


• SC2016 :
  Submitters: Markus Wagner , Markus Wagner
  Description
  


• Swcca_ms :
  Submitters: Shaowei Cai , Shaowei Cai, Chuan Luo
  Description
  


• CnC-LS :
  Submitters: Shaowei Cai , Shaowei CaiHaochen Zhang
  Description
  


• CCLS_to_akmaxsat :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu, Zhong Jie
  Description
  Web page: http://lcs.ios.ac.cn/~caisw/MaxSAT.html


• CCEHC_to_akmaxsat :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
  Description
  Web page: http://lcs.ios.ac.cn/~caisw/MaxSAT.html


• CCEHC :
  Submitters: Chuan Luo , Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
  Description
  Web page: http://lcs.ios.ac.cn/~caisw/MaxSAT.html


• Dist :
  Submitters: Shaowei Cai , Shaowei Cai
  Description
  


• Naps-1.02-maxsat :
  Submitters: Masahiko Sakai , Masahiko Sakai
  Description
  Web page: http://www.trs.cm.is.nagoya-u.ac.jp/NaPS/


• maxino-2016-kdyn-cache10min :
  Submitters: Mario Alviano , Mario Alviano and Carmine Dodaro
  Description
  Web page: http://alviano.com/software/maxino/


• maxino-2016-kdyn-disjcores :
  Submitters: Mario Alviano , Mario Alviano and Carmine Dodaro
  Description
  Web page: http://alviano.com/software/maxino/


• QMaxSAT2014 :
  Submitters: Miyuki Koshimura , Miyuki Koshimura
  Description
  Web page: https://sites.google.com/site/qmaxsat/


• QMaxSAT2016UC :
  Submitters: Miyuki Koshimura , Miyuki Koshimura
  Description
  Web page: https://sites.google.com/site/qmaxsat/


• maxhs_b :
  Submitters: Fahiem Bacchus , Fahiem Bacchus
  Description
  Web page: http://www.maxhs.org/


• maxhs_a :
  Submitters: Fahiem Bacchus , Fahiem Bacchus
  Description
  Web page: http://www.maxhs.org/


• ahmaxsat 1.70 :
  Submitters: Andre Abrame , André Abramé and Djamal Habet
  Description
  Web page: http://www.lsis.org/abramea/ressources.html


• ahmaxsat-ls 1.70 :
  Submitters: Andre Abrame , André Abramé and Djamal Habet
  Description
  Web page: http://www.lsis.org/abramea/ressources.html


• LMHS :
  Submitters: Paul Saikko , Paul Saikko Jeremias Berg Matti Järvisalo
  Description
  Web page: https://www.cs.helsinki.fi/group/coreo/lmhs/


• Ramp :
  Submitters: Zongjie Ma , Yi Fan, Zongjie Ma, Chengqian Li, Kaile Su, Abdul Sattar
  Description
  Web page: https://github.com/math6068/Ramp


• HS-Greedy :
  Submitters: Zongjie Ma , Yi Fan, Zongjie Ma, Chengqian Li, Kaile Su, Abdul Sattar
  Description
  Web page: https://github.com/math6068/HS-Greedy


• WPM3-2015-co :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Frederic Didier, Joel Gabàs
  Description
  


• WPM3-2015-in :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Frederic Didier, Joel Gabàs
  Description
  


• ISAC+-2016-co :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Josep Pon, Meinolf Sellmann, Kevin Tierney
  Description
  


• ISAC+-2016-in :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Josep Pon, Meinolf Sellmann, Kevin Tierney
  Description
  


• dsat-wpm3-in :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Josep Pon, Meinolf Sellmann, Kevin Tierney
  Description
  


• dsat-wpm3-s-in :
  Submitters: Carlos Ansotegui , Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Josep Pon, Meinolf Sellmann, Kevin Tierney
  Description
  


• borealis :
  Submitters: zheng zhu , Chao Fang, Zheng Zhu, Marinus Pennings, Helmut G. Katzgraber
  Description
  Web page: http://physics.tamu.edu/directory/showpeople.php?name=Chao%20Fang&userid=fangchao118


• Optiriss6 :
  Submitters: Norbert Manthey , Norber Manthey
  Description
  


• Optiriss6-incomplete :
  Submitters: Norbert Manthey , Norbert Manthey
  Description
  


• Open-WBO15 :
  Submitters: Ruben Martins , Ruben Martins, Miguel Neves, Mikolas Janota, Vasco Manquinho, Ines Lynce
  Description
  Web page: http://sat.inesc-id.pt/open-wbo/


• Open-WBO16 :
  Submitters: Ruben Martins , Ruben Martins, Miguel Neves, Yuepeng Wang, Mikolas Janota, Vasco Manquinho, Ines Lynce
  Description
  Web page: http://sat.inesc-id.pt/open-wbo/


• Substochastic Monte Carlo :
  Submitters: Stephen Jordan , Jarret, Jordan, Lackey
  Description
  Web page: http://quics.umd.edu/


• Descriptions of solvers: Dsat2-wpm3, ILP, WPM3-co, WPM3-in, ISAC-co, ISAC-in.