PB'24 competition: WBO track: solvers page (tabular format, summary)

Some explanations

• #Benchs: Number of benchs for this solver
• Solved: Total number of solved instances (this is the sum of the SAT and UNSAT columns)
• UNSAT: solver proved unsatitisfiability ("s UNSATISFIABLE" was output)
• MOPT: Total number of OPT answers
• SAT: Total number of SAT answers
• MSAT: Total number of MSAT answers
• UNKNOWN: Total number of UNKNOWN answers
• Incomplete Answers: Total number of incomplete answers
• Bad Answers: Total number of bad answers

• solver

  a "light red" background denotes a solver which was disqualified because it gave an incorrect answer, and which will not appear in the ranking

• solver

  a "light yellow" background denotes a solver which was replaced by another version, and which will not appear in the ranking

Category "WBO, both soft and hard constraints, linear constraints" (PARTIAL-LIN)

Category "WBO, only soft constraints, linear constraints" (SOFT-LIN)

All categories for solvers registered in all categories

All categories and all solvers (regardless of their ability to support all categories)

This table summarizes the results in all categories for all solvers. Note however that some solvers may not have support for some categories. Therefore, the solvers may have run on a different number of benchmarks and this table should not be used to compare them.