2019 XCSP3 competition: fast COP track (sequential and parallel solvers): solvers page (tabular format, summary)

Some explanations

Category "optimization problem" (COP)

Solver Name#benchsSolvedUNSATOPT/SATSAT (TO/MO)UNKNOWNBad Answers
AbsCon
2019-07-23
(complete)		 300191
(63.67%)		 2
(0.67%)		 189
(63%)		 58
(19.33%)		 51
(17%)		 0
(0%)
choco-solver
2019-06-14
(complete)		 300209
(69.67%)		 2
(0.67%)		 207
(69%)		 69
(23%)		 22
(7.33%)		 0
(0%)
choco-solver
2019-06-14 parallel
(complete)		 300190
(63.33%)		 2
(0.67%)		 188
(62.67%)		 57
(19%)		 17
(5.67%)		 36
(12%)
choco-solver
2019-09-16
(complete)		 300210
(70%)		 2
(0.67%)		 208
(69.33%)		 70
(23.33%)		 20
(6.67%)		 0
(0%)
choco-solver
2019-09-16 parallel
(complete)		 300203
(67.67%)		 2
(0.67%)		 201
(67%)		 75
(25%)		 22
(7.33%)		 0
(0%)
choco-solver
2019-09-20
(complete)		 300189
(63%)		 2
(0.67%)		 187
(62.33%)		 71
(23.67%)		 20
(6.67%)		 20
(6.67%)
choco-solver
2019-09-20 parallel
(complete)		 300185
(61.67%)		 2
(0.67%)		 183
(61%)		 74
(24.67%)		 21
(7%)		 20
(6.67%)
choco-solver
2019-09-24
(complete)		 300179
(59.67%)		 1
(0.33%)		 178
(59.33%)		 88
(29.33%)		 33
(11%)		 0
(0%)
choco-solver
2019-09-24 parallel
(complete)		 300208
(69.33%)		 2
(0.67%)		 206
(68.67%)		 72
(24%)		 20
(6.67%)		 0
(0%)
Concrete
3.10
(complete)		 300157
(52.33%)		 1
(0.33%)		 156
(52%)		 99
(33%)		 30
(10%)		 14
(4.67%)
Concrete
3.12.2
(complete)		 300122
(40.67%)		 1
(0.33%)		 121
(40.33%)		 144
(48%)		 34
(11.33%)		 0
(0%)
Concrete
3.12.2
(complete)		 300155
(51.67%)		 1
(0.33%)		 154
(51.33%)		 117
(39%)		 28
(9.33%)		 0
(0%)
Concrete
3.12.3
(complete)		 300166
(55.33%)		 1
(0.33%)		 165
(55%)		 105
(35%)		 29
(9.67%)		 0
(0%)
cosoco
2
(complete)		 300117
(39%)		 1
(0.33%)		 116
(38.67%)		 107
(35.67%)		 76
(25.33%)		 0
(0%)
cosoco
2.0
(complete)		 300117
(39%)		 1
(0.33%)		 116
(38.67%)		 107
(35.67%)		 76
(25.33%)		 0
(0%)
cosoco
2.0
(complete)		 300117
(39%)		 1
(0.33%)		 116
(38.67%)		 107
(35.67%)		 76
(25.33%)		 0
(0%)
cosoco
2.0 parallel
(complete)		 300133
(44.33%)		 2
(0.67%)		 131
(43.67%)		 98
(32.67%)		 69
(23%)		 0
(0%)
cosoco
2.O parallel
(complete)		 300128
(42.67%)		 2
(0.67%)		 126
(42%)		 95
(31.67%)		 72
(24%)		 5
(1.67%)
PicatSAT
2019-09-12
(complete)		 300221
(73.67%)		 2
(0.67%)		 219
(73%)		 0
(0%)		 79
(26.33%)		 0
(0%)

Solver NameProgress
AbsCon
2019-07-23
(complete)
done
300
UNSAT
2		OPT/SAT
189		SAT (TO/MO)
58		?
51
choco-solver
2019-06-14
(complete)
done
300
UNSAT
2		OPT/SAT
207		SAT (TO/MO)
69		?
22
choco-solver
2019-06-14 parallel
(complete)
done
300
UNSAT
2		OPT/SAT
188		SAT (TO/MO)
57		?
17		ERR
36
choco-solver
2019-09-16
(complete)
done
300
UNSAT
2		OPT/SAT
208		SAT (TO/MO)
70		?
20
choco-solver
2019-09-16 parallel
(complete)
done
300
UNSAT
2		OPT/SAT
201		SAT (TO/MO)
75		?
22
choco-solver
2019-09-20
(complete)
done
300
UNSAT
2		OPT/SAT
187		SAT (TO/MO)
71		?
20		ERR
20
choco-solver
2019-09-20 parallel
(complete)
done
300
UNSAT
2		OPT/SAT
183		SAT (TO/MO)
74		?
21		ERR
20
choco-solver
2019-09-24
(complete)
done
300
UNSAT
1		OPT/SAT
178		SAT (TO/MO)
88		?
33
choco-solver
2019-09-24 parallel
(complete)
done
300
UNSAT
2		OPT/SAT
206		SAT (TO/MO)
72		?
20
Concrete
3.10
(complete)
done
300
UNSAT
1		OPT/SAT
156		SAT (TO/MO)
99		?
30		ERR
14
Concrete
3.12.2
(complete)
done
300
UNSAT
1		OPT/SAT
121		SAT (TO/MO)
144		?
34
Concrete
3.12.2
(complete)
done
300
UNSAT
1		OPT/SAT
154		SAT (TO/MO)
117		?
28
Concrete
3.12.3
(complete)
done
300
UNSAT
1		OPT/SAT
165		SAT (TO/MO)
105		?
29
cosoco
2
(complete)
done
300
UNSAT
1		OPT/SAT
116		SAT (TO/MO)
107		?
76
cosoco
2.0
(complete)
done
300
UNSAT
1		OPT/SAT
116		SAT (TO/MO)
107		?
76
cosoco
2.0
(complete)
done
300
UNSAT
1		OPT/SAT
116		SAT (TO/MO)
107		?
76
cosoco
2.0 parallel
(complete)
done
300
UNSAT
2		OPT/SAT
131		SAT (TO/MO)
98		?
69
cosoco
2.O parallel
(complete)
done
300
UNSAT
2		OPT/SAT
126		SAT (TO/MO)
95		?
72		ERR
5
PicatSAT
2019-09-12
(complete)
done
300
UNSAT
2		OPT/SAT
219		?
79