Note: In recent experimentation, we have realized that solvers LMHS-C and LMHS-I do not give the optimum solution in the Weighted Partial Max-SAT - Industrial category on an instance (BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_4.wcnf) not solved by any other solver in 2015.
Raw Results
Raw Results
Time Results
Percentage Results
Time 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
Detailed results
Unweighted Max-SAT - Crafted
Detailed results
Unweighted Max-SAT - Industrial
Detailed results
Partial Max-SAT - Random
Detailed results
Partial Max-SAT - Crafted
Detailed results
Partial Max-SAT - Industrial
Detailed results
Weighted Partial Max-SAT - Random
Detailed results
Weighted Partial Max-SAT - Crafted
Detailed results
Weighted Partial Max-SAT - Industrial
Detailed results
Percentage 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 Partial Max-SAT - Random
Weighted Partial Max-SAT - Crafted
Weighted Partial Max-SAT - Industrial
|