Max-SAT 2016

Eleventh Max-SAT Evaluation

Welcome. Please log in .

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, 2016.