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

Result page for benchmark
Scheduling/Scheduling-os-taillard/
Taillard-os-10-10-2.xml

Jump to solvers results

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-2.xml
MD5SUMb5461c8e5264bee8206ce4144564b5f2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark625
Best CPU time to get the best result obtained on this benchmark251.87601
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size9
Maximum domain size717
Distribution of domain sizes[{"size":9,"count":40},{"size":10,"count":160},{"size":717,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2017-07-28 (complete)4259266SAT (TO)625 251.87601 252.00999
OscaR - Parallel with EPS 2017-08-22 (complete)4286083SAT (TO)638 1967.1 252.147
OscaR - Parallel with EPS 2017-07-26 (complete)4257278SAT (TO)640 1921.1801 245.92999
choco-solver 4.0.5 par (2017-07-26) (complete)4254793SAT (TO)663 1920.11 256.73599
choco-solver 4.0.5 par (2017-08-18) (complete)4281673SAT (TO)666 1881.6899 252.12
choco-solver 4.0.5 par (2017-08-09) (complete)4271863SAT (TO)675 1600.3 252.10699
cosoco-sat 1.12 (complete)4266992? (NS) 0.121117 0.121906
cosoco 1.1 (complete)4258769? (NS) 0.122332 0.239464
cosoco 1.12 (complete)4268923? (NS) 0.12711599 0.19147401
AbsCon-basic 2017-06-11 (complete)4257775? (TO) 243.995 240.011
OscaR - ALNS 2017-07-26 (complete)4255787? (TO) 245.894 240.01401
OscaR - Conflict Ordering 2017-07-26 (complete)4256284? (TO) 246.50999 240.013
OscaR - Hybrid 2017-07-26 (complete)4256781? (TO) 247.82201 240.013
choco-solver 4.0.5 seq (2017-08-18) (complete)4283143? (TO) 247.936 240.024
choco-solver 4.0.5 seq (2017-08-09) (complete)4270393? (TO) 247.942 240.02299
choco-solver 4.0.5 seq (2017-07-26) (complete)4254296? (TO) 249.98 240.00999
Concrete 3.4 (complete)4259763? (TO) 254.729 240.276
sat4j-CSP 2017-07-05 (complete)4258272? (TO) 260.27701 86.359001
choco-solver 5a (2017-07-26) (complete)4255290? (TO) 262.66 240.00999
choco-solver 5a (2017-08-18) (complete)4284613? (TO) 263.944 240.02901

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: 625
Solution found:
<instantiation type="solution"> <list> s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][1]
s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8]
s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5]
s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2]
s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9]
s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6]
s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7]
d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4]
d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1]
d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8]
d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5]
d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2]
d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9]
w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6]
w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3]
w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0]
w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7]
w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4]
w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0]
sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5]
sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0]
sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5]
sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0]
sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5]
sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list>
<values> 2 49 112 138 217 316 374 402 447 540 0 39 120 211 219 239 315 376 466 548 0 49 126 170 174 250 294 381 455 523 0 49 140 155 217 297
380 466 538 615 6 41 120 136 193 295 381 402 470 548 0 39 126 189 280 377 402 447 463 534 0 22 82 144 179 315 402 455 472 561 61 145 170 208
239 330 362 380 472 540 6 56 93 145 211 283 381 455 523 548 0 2 6 93 140 215 316 381 455 548 615 621 622 616 619 613 597 620 617 625 23 63 9
75 99 58 28 37 91 75 39 81 73 4 20 76 61 72 82 73 49 45 23 4 52 44 36 48 68 99 49 91 15 62 80 83 86 59 72 1 35 41 16 8 90 86 18 46 16 71 22
87 63 91 97 25 45 16 71 79 6 39 46 21 33 47 13 15 70 36 77 25 38 25 56 32 10 92 68 80 50 32 52 66 24 46 74 62 25 69 2 4 85 43 39 93 65 74 45
77 3 5 0 9 6 1 8 7 4 2 6 3 5 2 7 4 9 1 0 8 7 0 6 3 4 1 8 2 9 5 5 7 8 6 9 3 0 1 4 2 1 2 3 0 5 7 4 8 6 9 9 6 1 3 0 5 4 2 8 7 8 9 2 0 7 4 5 6 3
1 9 4 0 1 7 8 5 3 2 6 8 1 4 2 0 5 6 7 9 3 3 1 4 8 7 2 6 9 5 0 112 316 540 2 447 49 217 402 374 138 466 376 211 39 239 120 0 219 548 315 49
250 381 170 174 523 126 0 294 455 380 466 615 297 538 0 155 49 140 217 136 6 41 120 381 193 470 295 402 548 280 126 447 189 402 377 39 534
463 0 144 561 82 472 315 402 455 179 0 22 170 208 472 380 145 362 540 239 330 61 211 56 145 548 93 283 381 455 6 523 548 2 215 0 6 455 316
140 93 381 </values> </instantiation>