2017 XCSP3 competition: fast COP 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)

Solver Name	#benchs	Solved	UNSAT	OPT/SAT	SAT (TO/MO)	UNKNOWN	Bad Answers
AbsCon-basic 2017-06-11 (complete)	438	100 (22.83%)	2 (0.46%)	98 (22.37%)	208 (47.49%)	130 (29.68%)	0 (0%)
choco-solver 4.0.5 par (2017-07-26) (complete)	438	130 (29.68%)	2 (0.46%)	128 (29.22%)	215 (49.09%)	90 (20.55%)	3 (0.68%)
choco-solver 4.0.5 par (2017-08-09) (complete)	438	125 (28.54%)	2 (0.46%)	123 (28.08%)	224 (51.14%)	89 (20.32%)	0 (0%)
choco-solver 4.0.5 par (2017-08-18) (complete)	438	129 (29.45%)	2 (0.46%)	127 (29%)	223 (50.91%)	86 (19.63%)	0 (0%)
choco-solver 4.0.5 seq (2017-07-26) (complete)	438	103 (23.52%)	2 (0.46%)	101 (23.06%)	174 (39.73%)	161 (36.76%)	0 (0%)
choco-solver 4.0.5 seq (2017-08-09) (complete)	438	103 (23.52%)	2 (0.46%)	101 (23.06%)	174 (39.73%)	161 (36.76%)	0 (0%)
choco-solver 4.0.5 seq (2017-08-18) (complete)	438	103 (23.52%)	2 (0.46%)	101 (23.06%)	178 (40.64%)	157 (35.84%)	0 (0%)
choco-solver 5a (2017-07-26) (complete)	438	91 (20.78%)	2 (0.46%)	89 (20.32%)	184 (42.01%)	163 (37.21%)	0 (0%)
choco-solver 5a (2017-08-18) (complete)	438	91 (20.78%)	2 (0.46%)	89 (20.32%)	185 (42.24%)	162 (36.99%)	0 (0%)
Concrete 3.4 (complete)	438	90 (20.55%)	2 (0.46%)	88 (20.09%)	199 (45.43%)	149 (34.02%)	0 (0%)
cosoco 1.1 (complete)	438	85 (19.41%)	2 (0.46%)	83 (18.95%)	179 (40.87%)	174 (39.73%)	0 (0%)
cosoco 1.12 (complete)	438	85 (19.41%)	2 (0.46%)	83 (18.95%)	179 (40.87%)	174 (39.73%)	0 (0%)
cosoco-sat 1.12 (complete)	438	87 (19.86%)	2 (0.46%)	85 (19.41%)	153 (34.93%)	198 (45.21%)	0 (0%)
Mistral-2.0 2017-07-28 (complete)	438	115 (26.26%)	2 (0.46%)	113 (25.8%)	207 (47.26%)	116 (26.48%)	0 (0%)
OscaR - ALNS 2017-07-26 (complete)	438	2 (0.46%)	2 (0.46%)	0 (0%)	323 (73.74%)	113 (25.8%)	0 (0%)
OscaR - Conflict Ordering 2017-07-26 (complete)	438	119 (27.17%)	2 (0.46%)	117 (26.71%)	209 (47.72%)	110 (25.11%)	0 (0%)
OscaR - Hybrid 2017-07-26 (complete)	438	100 (22.83%)	2 (0.46%)	98 (22.37%)	225 (51.37%)	113 (25.8%)	0 (0%)
OscaR - Parallel with EPS 2017-07-26 (complete)	438	126 (28.77%)	2 (0.46%)	124 (28.31%)	196 (44.75%)	116 (26.48%)	0 (0%)
OscaR - Parallel with EPS 2017-08-22 (complete)	438	126 (28.77%)	2 (0.46%)	124 (28.31%)	196 (44.75%)	116 (26.48%)	0 (0%)
sat4j-CSP 2017-07-05 (complete)	438	61 (13.93%)	2 (0.46%)	59 (13.47%)	81 (18.49%)	296 (67.58%)	0 (0%)