2018 XCSP3 competition: fast COP track: solvers page (tabular format, summary)

#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)

Solver Name	#benchs	Solved	OPT/SAT	SAT (TO/MO)	UNKNOWN	Bad Answers
Choco-solver 4.0.7b seq (e747e1e) (complete)	346	89 (25.72%)	89 (25.72%)	193 (55.78%)	64 (18.5%)	0 (0%)
Concrete 3.9.2 (complete)	346	85 (24.57%)	85 (24.57%)	196 (56.65%)	65 (18.79%)	0 (0%)
Concrete 3.9.2-SuperNG (complete)	346	83 (23.99%)	83 (23.99%)	190 (54.91%)	73 (21.1%)	0 (0%)
cosoco 1.12 (complete)	346	51 (14.74%)	51 (14.74%)	192 (55.49%)	103 (29.77%)	0 (0%)
Mistral-2.0 2018-08-01 (complete)	346	85 (24.57%)	85 (24.57%)	197 (56.94%)	63 (18.21%)	1 (0.29%)
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)	346	0 (0%)	0 (0%)	262 (75.72%)	84 (24.28%)	0 (0%)
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)	346	83 (23.99%)	83 (23.99%)	179 (51.73%)	84 (24.28%)	0 (0%)
OscaR - Hybrid 2018-08-14 (complete)	346	59 (17.05%)	59 (17.05%)	212 (61.27%)	75 (21.68%)	0 (0%)
Sat4j-CSP 2018-07-11 (complete)	346	41 (11.85%)	41 (11.85%)	119 (34.39%)	186 (53.76%)	0 (0%)