2019 XCSP3 competition: fast COP track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
Fastfood/Fastfood-m1-s1/
Fastfood-ff82.xml

Jump to solvers results

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff82.xml
MD5SUM3393a669eb5a1b265b3859905e8317a5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.103448
Satisfiable
(Un)Satisfiability was proved
Number of variables495
Number of constraints481
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":32},{"size":19,"count":463}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":480},{"degree":31,"count":15}]
Minimum constraint arity2
Maximum constraint arity16
Distribution of constraint arities[{"arity":2,"count":450},{"arity":15,"count":1},{"arity":16,"count":30}]
Number of extensional constraints450
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":450},{"type":"ordered","count":1},{"type":"minimum","count":30}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 2 (complete)4390173OPT7 0.103448 0.109664
cosoco 2.0 (complete)4397633OPT7 0.10351 0.105239
cosoco 2.0 (complete)4408893OPT7 0.105221 0.108491
cosoco 2.0 parallel (complete)4409793OPT7 0.528428 0.11442
cosoco 2.O parallel (complete)4398533OPT7 0.65059 0.169804
choco-solver 2019-09-24 (complete)4406333OPT7 1.9544 0.799399
choco-solver 2019-09-16 (complete)4400333OPT7 3.77744 1.28835
choco-solver 2019-06-14 (complete)4394073OPT7 3.77997 1.60358
choco-solver 2019-09-20 (complete)4403933OPT7 3.85228 1.2868
AbsCon 2019-07-23 (complete)4391073OPT7 4.80892 2.57415
choco-solver 2019-09-20 parallel (complete)4404833OPT7 10.0376 1.97736
Concrete 3.10 (complete)4391973OPT7 10.2292 4.02893
choco-solver 2019-09-24 parallel (complete)4407233OPT7 10.2575 1.98439
choco-solver 2019-06-14 parallel (complete)4394373OPT7 10.4059 2.41543
choco-solver 2019-09-16 parallel (complete)4400033OPT7 10.4144 2.04236
Concrete 3.12.3 (complete)4403033OPT7 11.0437 4.44598
Concrete 3.12.2 (complete)4401233OPT7 11.0953 4.26258
Concrete 3.12.2 (complete)4396353OPT7 12.6499 4.81087
PicatSAT 2019-09-12 (complete)4395453OPT7 22.3209 22.322

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 7
Solution found:
<instantiation type='solution' cost='7'> <list>dr[0] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[1] dr[20]
dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] drd[0][0] drd[0][10]
drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9]
drd[10][0] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6]
drd[10][7] drd[10][8] drd[10][9] drd[11][0] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][1] drd[11][2] drd[11][3]
drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[12][0] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14]
drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[13][0] drd[13][10] drd[13][11]
drd[13][12] drd[13][13] drd[13][14] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9]
drd[14][0] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6]
drd[14][7] drd[14][8] drd[14][9] drd[15][0] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][1] drd[15][2] drd[15][3]
drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[16][0] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14]
drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[17][0] drd[17][10] drd[17][11]
drd[17][12] drd[17][13] drd[17][14] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9]
drd[18][0] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6]
drd[18][7] drd[18][8] drd[18][9] drd[19][0] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][1] drd[19][2] drd[19][3]
drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[1][0] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][1]
drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[20][0] drd[20][10] drd[20][11] drd[20][12] drd[20][13]
drd[20][14] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[21][0] drd[21][10]
drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8]
drd[21][9] drd[22][0] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5]
drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[23][0] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][1] drd[23][2]
drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[24][0] drd[24][10] drd[24][11] drd[24][12] drd[24][13]
drd[24][14] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[25][0] drd[25][10]
drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8]
drd[25][9] drd[26][0] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5]
drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[27][0] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][1] drd[27][2]
drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[28][0] drd[28][10] drd[28][11] drd[28][12] drd[28][13]
drd[28][14] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[29][0] drd[29][10]
drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8]
drd[29][9] drd[2][0] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6]
drd[2][7] drd[2][8] drd[2][9] drd[3][0] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][1] drd[3][2] drd[3][3] drd[3][4]
drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[4][0] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][1] drd[4][2]
drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[5][0] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14]
drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[6][0] drd[6][10] drd[6][11] drd[6][12]
drd[6][13] drd[6][14] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[7][0] drd[7][10]
drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9]
drd[8][0] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7]
drd[8][8] drd[8][9] drd[9][0] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5]
drd[9][6] drd[9][7] drd[9][8] drd[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> <values>1 0
2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 14 362 398 427 462 487 1 9 73 95 135 164 182 221 309 178 198 234 263 298 323 163 155
91 69 29 0 18 57 145 233 143 179 208 243 268 218 210 146 124 84 55 37 2 90 15 361 397 426 461 486 0 8 72 94 134 163 181 220 308 15 361 397
426 461 486 0 8 72 94 134 163 181 220 308 476 100 64 35 0 25 461 453 389 367 327 298 280 241 153 0 376 412 441 476 501 15 23 87 109 149 178
196 235 323 15 361 397 426 461 486 0 8 72 94 134 163 181 220 308 87 289 325 354 389 414 72 64 0 22 62 91 109 148 236 87 289 325 354 389 414
72 64 0 22 62 91 109 148 236 441 65 29 0 35 60 426 418 354 332 292 263 245 206 118 14 362 398 427 462 487 1 9 73 95 135 164 182 221 309 109
267 303 332 367 392 94 86 22 0 40 69 87 126 214 109 267 303 332 367 392 94 86 22 0 40 69 87 126 214 376 0 36 65 100 125 361 353 289 267 227
198 180 141 53 376 0 36 65 100 125 361 353 289 267 227 198 180 141 53 149 227 263 292 327 352 134 126 62 40 0 29 47 86 174 149 227 263 292
327 352 134 126 62 40 0 29 47 86 174 196 180 216 245 280 305 181 173 109 87 47 18 0 39 127 23 353 389 418 453 478 8 0 64 86 126 155 173 212
300 23 353 389 418 453 478 8 0 64 86 126 155 173 212 300 441 65 29 0 35 60 426 418 354 332 292 263 245 206 118 235 141 177 206 241 266 220
212 148 126 86 57 39 0 88 236 140 176 205 240 265 221 213 149 127 87 58 40 1 87 323 53 89 118 153 178 308 300 236 214 174 145 127 88 0 323
53 89 118 153 178 308 300 236 214 174 145 127 88 0 501 125 89 60 25 0 486 478 414 392 352 323 305 266 178 414 38 2 27 62 87 399 391 327 305
265 236 218 179 91 412 36 0 29 64 89 397 389 325 303 263 234 216 177 89 178 198 234 263 298 323 163 155 91 69 29 0 18 57 145 9 385 421 450
485 510 24 32 96 118 158 187 205 244 332 </values> </instantiation>