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

Result page for benchmark
Scheduling/Scheduling-fs-taillard/
Taillard-fs-050-05-9.xml

Jump to solvers results

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-050-05-9.xml
MD5SUMb5db2d1209ce62208741c56e17334157
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2881
Best CPU time to get the best result obtained on this benchmark249.396
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints305
Number of domains1
Minimum domain size2882
Maximum domain size2882
Distribution of domain sizes[{"size":2882,"count":300}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":250}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":250},{"arity":50,"count":5}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300},{"type":"noOverlap","count":5}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
OscaR - ALNS 2017-07-26 (complete)4255749SAT (TO)2881 249.396 240.024
OscaR - Parallel with EPS 2017-08-22 (complete)4285942SAT (TO)2881 1603.67 252.15401
OscaR - Parallel with EPS 2017-07-26 (complete)4257240SAT (TO)2881 1605.13 252.13499
cosoco 1.12 (complete)4268782? (NS) 0.29283801 0.34088799
cosoco-sat 1.12 (complete)4266851? (NS) 0.29482201 0.29992199
cosoco 1.1 (complete)4258731? (NS) 0.303642 0.37459901
AbsCon-basic 2017-06-11 (complete)4257737? (TO) 241.882 240.011
OscaR - Hybrid 2017-07-26 (complete)4256743? (TO) 244.159 240.013
OscaR - Conflict Ordering 2017-07-26 (complete)4256246? (TO) 244.65401 240.013
choco-solver 4.0.5 seq (2017-08-18) (complete)4283002? (TO) 246.98801 240.019
choco-solver 4.0.5 seq (2017-07-26) (complete)4254258? (TO) 247.63 240.00999
choco-solver 4.0.5 seq (2017-08-09) (complete)4270252? (TO) 248.06599 240.02
Mistral-2.0 2017-07-28 (complete)4259228? (TO) 252.007 252.011
choco-solver 5a (2017-08-18) (complete)4284472? (TO) 254.517 240.024
choco-solver 5a (2017-07-26) (complete)4255252? (TO) 255.00999 240.00999
Concrete 3.4 (complete)4259725? (TO) 259.01999 240.63901
sat4j-CSP 2017-07-05 (complete)4258234? (TO) 259.323 85.2491
choco-solver 4.0.5 par (2017-07-26) (complete)4254755? (TO) 1920.45 241.836
choco-solver 4.0.5 par (2017-08-18) (complete)4281532? (TO) 2002.54 252.09399
choco-solver 4.0.5 par (2017-08-09) (complete)4271722? (TO) 2004.8 252.10699

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: 2881
Solution found:
<instantiation> <list> s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3]
s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[6][0]
s[6][1] s[6][2] s[6][3] s[6][4] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[9][0] s[9][1] s[9][2]
s[9][3] s[9][4] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[12][0] s[12][1] s[12][2]
s[12][3] s[12][4] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[15][0] s[15][1] s[15][2]
s[15][3] s[15][4] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[18][0] s[18][1] s[18][2]
s[18][3] s[18][4] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[20][0] s[20][1] s[20][2] s[20][3] s[20][4] s[21][0] s[21][1] s[21][2]
s[21][3] s[21][4] s[22][0] s[22][1] s[22][2] s[22][3] s[22][4] s[23][0] s[23][1] s[23][2] s[23][3] s[23][4] s[24][0] s[24][1] s[24][2]
s[24][3] s[24][4] s[25][0] s[25][1] s[25][2] s[25][3] s[25][4] s[26][0] s[26][1] s[26][2] s[26][3] s[26][4] s[27][0] s[27][1] s[27][2]
s[27][3] s[27][4] s[28][0] s[28][1] s[28][2] s[28][3] s[28][4] s[29][0] s[29][1] s[29][2] s[29][3] s[29][4] s[30][0] s[30][1] s[30][2]
s[30][3] s[30][4] s[31][0] s[31][1] s[31][2] s[31][3] s[31][4] s[32][0] s[32][1] s[32][2] s[32][3] s[32][4] s[33][0] s[33][1] s[33][2]
s[33][3] s[33][4] s[34][0] s[34][1] s[34][2] s[34][3] s[34][4] s[35][0] s[35][1] s[35][2] s[35][3] s[35][4] s[36][0] s[36][1] s[36][2]
s[36][3] s[36][4] s[37][0] s[37][1] s[37][2] s[37][3] s[37][4] s[38][0] s[38][1] s[38][2] s[38][3] s[38][4] s[39][0] s[39][1] s[39][2]
s[39][3] s[39][4] s[40][0] s[40][1] s[40][2] s[40][3] s[40][4] s[41][0] s[41][1] s[41][2] s[41][3] s[41][4] s[42][0] s[42][1] s[42][2]
s[42][3] s[42][4] s[43][0] s[43][1] s[43][2] s[43][3] s[43][4] s[44][0] s[44][1] s[44][2] s[44][3] s[44][4] s[45][0] s[45][1] s[45][2]
s[45][3] s[45][4] s[46][0] s[46][1] s[46][2] s[46][3] s[46][4] s[47][0] s[47][1] s[47][2] s[47][3] s[47][4] s[48][0] s[48][1] s[48][2]
s[48][3] s[48][4] s[49][0] s[49][1] s[49][2] s[49][3] s[49][4] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13]
e[14] e[15] e[16] e[17] e[18] e[19] e[20] e[21] e[22] e[23] e[24] e[25] e[26] e[27] e[28] e[29] e[30] e[31] e[32] e[33] e[34] e[35] e[36]
e[37] e[38] e[39] e[40] e[41] e[42] e[43] e[44] e[45] e[46] e[47] e[48] e[49] </list> <values> 314 1153 1252 1302 1377 25 26 86 145 365 735
1409 1497 1536 1646 1810 2149 2309 2356 2507 2509 2544 2626 2699 2786 0 9 23 56 307 680 1330 1415 1488 1614 186 873 961 1044 1132 2363 2456
2581 2640 2758 213 794 886 971 1057 500 569 655 774 843 203 426 568 580 745 1640 2050 2190 2287 2449 1560 1972 2095 2274 2352 792 1491 1512
1609 1703 425 746 808 883 1004 1480 1900 2033 2236 2255 1113 1693 1831 1899 1966 235 498 589 675 760 295 344 440 519 563 338 986 1081 1184
1209 1986 2262 2454 2501 2609 539 1103 1187 1294 1360 248 930 996 1101 1257 1182 1731 1875 1917 2039 2618 2703 2719 2790 2879 1329 1867 2002
2015 2081 2267 2449 2522 2576 2708 392 660 884 1361 1444 278 323 470 552 602 1404 1873 2017 2152 2169 2171 2405 2507 2574 2700 177 181 294
308 464 262 291 323 385 511 194 245 372 446 647 979 1612 1974 2078 2147 584 1204 1260 1414 1480 915 1516 1706 1791 1866 80 83 140 230 342
2078 2335 2490 2509 2618 1255 1826 1876 1930 2049 363 1047 1128 1195 1340 1045 1649 1806 1847 1928 462 591 632 696 820 1724 2108 2249 2348
2467 1896 2196 2383 2443 2554 630 1243 1347 1437 1535 224 618 738 840 938 851 1509 1608 1688 1740 123 127 1702 1750 1837 1444 464 1703 2554
2879 342 1646 1209 2786 1132 938 760 2467 2449 1740 1057 2352 2039 820 602 1257 2618 1377 1340 2049 2881 2147 2758 1480 647 2255 2708 511
563 745 2169 1535 1928 365 2700 2081 1360 1966 843 2507 2609 1614 1004 1837 1866 </values> </instantiation>