Introduction
Important Dates
Rules
Machine Specifications
Results
Submitted Benchmarks
Submitted Solvers
Previous Evaluations
Organizers
|
Submitted benchmarks
- Unweighted MaxSAT
- Partial MaxSAT
- Weighted MaxSAT
- Weighted Partial MaxSAT
- random
- crafted
- industrial1
1Due to the limit of 231 in the size for the weights, more difficult instances have not been submitted. See the README inside the tgz for details.
|