Max-SAT 2015

Tenth Max-SAT Evaluation

Welcome.
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

Unweighted Max-SAT Partial Max-SAT Weighted Partial Max-SAT
Random Random Random
Crafted Crafted Crafted
Industrial Industrial Industrial

Percentage Results

Unweighted Max-SAT Partial Max-SAT Weighted Partial Max-SAT
Random Random Random
Crafted Crafted Crafted
Industrial Industrial Industrial

Time Results by Track

ColorMeaning
TextOptimal solution with the best CPU time
TextOptimal 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

ColorMeaning
TextOptimal solution with the best CPU time
TextOptimal 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

Django Powered || Last modified: Apr. 16th, 2015.