2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): 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: Total number of UNSAT answers
• OPT/SAT: solver found an optimum solution to an optimization problem (the provided implicant satisfies each constraint and no solver gave a better solution) or solver found a solution to a SAT/UNSAT instance
• SAT (TO/MO): Solver found a solution but this may not be the optimal solution
• UNKNOWN: Total number of UNKNOWN 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 "optimization problem" (COP)

Category "decision problem" (CSP)

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.