Introduction
Results
Results by Categories
| Unweighted Max-SAT | Partial Max-SAT | Weighted Max-SAT | Weighted Partial Max-SAT |
| Random | Random | Random | Random |
| Crafted | Crafted | Crafted | Crafted |
| Industrial | Industrial | Industrial |
Authors by solver
- akmaxsat, akmaxsat_ls : Adrian Kuegel
- SAT4J MAXSAT 2.2.0 : Daniel Le Berre
- QMaxSAT : Miyuki Koshimura, Tong Zhang
- IncMaxSatz : Han Lin, Kaile Su, Chu Min Li
- IncWMaxSatz : Han Lin, Kaile Su, Chu Min Li, Josep Argelich
- Maxsat_Power, WMaxsat_Power : A. Bahrami, S. R. Mousavi, M. Farshchian
- LS_Power, LSW_Power : A. Bahrami, S. R. Mousavi, M. Farshchian
- wbo 1.4a, wbo 1.4b : Vasco Manquinho, Joao Marques-Silva, Jordi Planes
- PM2, WPM1, WPM2 : Carlos Ansótegui, Maria L. Bonet, Jordi Levy
- WMaxSatz-2009, WMaxSatz+ : Chu Min Li, Felip Manya, Josep Argelich
Computational resources
The experiments were performed on a Linux Cluster with 160 processors, where each processor is a 2GHz AMD Opteron with 512MB of RAM. The cluster was provided by the Universitat de Lleida.Results by Track
| Color | Meaning |
|---|---|
| Text | Optimal solution with the best CPU time |
| Text | Optimal solution and finished within the Time Out |
Unweighted Max-SAT - Random
Unweighted Max-SAT - Crafted
Unweighted Max-SAT - Industrial
Partial Max-SAT - Random
Partial Max-SAT - Crafted
Partial Max-SAT - Industrial
Weighted Max-SAT - Random
Weighted Max-SAT - Crafted
Weighted Partial Max-SAT - Random
Weighted Partial Max-SAT - Crafted
Weighted Partial Max-SAT - Industrial
