Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Solvers
Submitted benchmarks
Benchmarks
Organizers
|
Solvers
-
toysat_ls (2015-08-05)
:
Submitters: Masahiro Sakai
, Masahiro Sakai
Description
Web page: https://github.com/msakai/toysolver
-
toysat (2015-08-05)
:
Submitters: Masahiro Sakai
, Masahiro Sakai
Description
Web page: https://github.com/msakai/toysolver
-
Open-WBO-LSU
:
Submitters: Ruben Martins
, Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce
Description
Web page: http://sat.inesc-id.pt/open-wbo/
-
ILP-2015
:
Submitters: Carlos Ansotegui
, Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Description
-
ISAC+-2015
:
Submitters: Carlos Ansotegui
, Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann
Description
-
WPM3-2015-in
:
Submitters: Carlos Ansotegui
, Carlos Ansótegui, Frederic Didier, Joel Gabàs
Description
-
ILP-2015
:
Submitters: Carlos Ansotegui
, Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Description
-
WPM3-2015-co
:
Submitters: Carlos Ansotegui
, Carlos Ansótegui, Frederic Didier, Joel Gabàs
Description
-
Open-WBO-RES
:
Submitters: Ruben Martins
, Ruben Martins, Miguel Neves, Mikolas Janota, Vasco Manquinho, Ines Lynce
Description
Web page: http://sat.inesc-id.pt/open-wbo/
-
mscg15a
:
Submitters: Alexey Ignatiev
, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Description
-
mscg15b
:
Submitters: Alexey Ignatiev
, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Description
-
Open-WBO
:
Submitters: Ruben Martins
, Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce
Description
Web page: http://sat.inesc-id.pt/open-wbo/
-
ahmaxsat-1.68
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
Web page: http://www.lsis.org/habetd/Djamal_Habet/MaxSAT.html
-
ahmaxsat-ls-1.68
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
Web page: http://www.lsis.org/habetd/Djamal_Habet/MaxSAT.html
-
ahmaxsat-ls-1.55
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
Web page: http://www.lsis.org/habetd/Djamal_Habet/MaxSAT.html
-
ahmaxsat-1.55
:
Submitters: Andre Abrame
, André Abramé and Djamal Habet
Description
Web page: http://www.lsis.org/habetd/Djamal_Habet/MaxSAT.html
-
MaxHS
:
Submitters: Fahiem Bacchus
, Jessica Davies and Fahiem Bacchus
Description
Web page: http://www.maxhs.org/
-
QMaxSAT14.07
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura
Description
-
QMaxSAT15.05UC
:
Submitters: Miyuki Koshimura
, Miyuki Koshimura
Description
-
DistUP
:
Submitters: Shaowei Cai
, Shaowei Cai, Haochen Zhang
Description
-
ccls_to_akmaxsat_LS
:
Submitters: mohsen mousavi
, Seyed Rasoul Mousavi, Seyed Mohsen Mousavi, Mojtaba Zahery
Description
-
CnC
:
Submitters: Shaowei Cai
, Shaowei Cai
Description
-
optiriss
:
Submitters: Norbert Manthey
, Norbert Manthey
Description
Web page: http://tools.computational-logic.org
-
maxino-k16
:
Submitters: Mario Alviano
, Mario Alviano, Carmine Dodaro
Description
Web page: http://alviano.net/software/maxino/
-
maxino-kdyn
:
Submitters: Mario Alviano
, Mario Alviano, Carmine Dodaro
Description
Web page: http://alviano.net/software/maxino/
-
LMHS-C
:
Submitters: Paul Saikko
, Paul Saikko, Jeremias Berg, Matti Järvisalo
Description
-
LMHS-I
:
Submitters: Paul Saikko
, Paul Saikko, Jeremias Berg, Matti Järvisalo
Description
-
Dist1
:
Submitters: Shaowei Cai
, Shaowei Cai
Description
-
Dist2
:
Submitters: Shaowei Cai
, Shaowei Cai
Description
-
maxSatUZK-pp
:
Submitters: Alexander van der Grinten
, Alexander van der Grinten, Andreas Wotzlaw
Description
Web page: https://github.com/satuzk/maxSatUZK
-
Swcca_ms
:
Submitters: Shaowei Cai
, Shaowei Cai, Chuan Luo, Kaile Su
Description
Web page: http://lcs.ios.ac.cn/~caisw/MaxSAT.html
-
ratselfax_cnf_c4
:
Submitters: Jan Bruns
, Jan Bruns
Description
Web page: http://abnuto.de/jan/code/sypromedor/
-
maxSatUZK-nopp
:
Submitters: Alexander van der Grinten
, Alexander van der Grinten, Andreas Wotzlaw
Description
Web page: https://github.com/satuzk/maxSatUZK
-
CCEHC_to_akmaxsat
:
Submitters: Chuan Luo
, Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
Description
-
CCEHC
:
Submitters: Chuan Luo
, Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
Description
-
CCLS_to_akmaxsat
:
Submitters: Chuan Luo
, Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu, Zhong Jie
Description
-
CCLS2015
:
Submitters: Chuan Luo
, Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu, Zhong Jie
Description
-
ratselfax_cnf
:
Submitters: Jan Bruns
, Jan Bruns
Description
Web page: http://abnuto.de/jan/code/sypromedor/
|