Introduction
Important Dates
Rules
Machine Specifications
Previous Evaluations
Results - Complete solvers
Results - Incomplete solvers
Presentation
Solvers
Submitted benchmarks
Benchmarks
Organizers
|
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
|