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

Result page for benchmark
TravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml

Jump to solvers results

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml
MD5SUMb2c04361dada2322dcbf50e86c385888
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark552
Best CPU time to get the best result obtained on this benchmark251.94299
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size64
Maximum domain size150
Distribution of domain sizes[{"size":64,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 1.1 (complete)4258831SAT (TO)552 251.93401 252.00999
cosoco 1.12 (complete)4268865SAT (TO)552 251.94299 252.00999
choco-solver 4.0.5 par (2017-07-26) (complete)4254855SAT (TO)562 1686.77 252.12601
choco-solver 4.0.5 par (2017-08-09) (complete)4271805SAT (TO)562 1689.77 252.127
choco-solver 4.0.5 par (2017-08-18) (complete)4281615SAT (TO)562 1704.3 252.13499
AbsCon-basic 2017-06-11 (complete)4257837SAT (TO)614 244.06599 240.013
choco-solver 4.0.5 seq (2017-08-09) (complete)4270335SAT (TO)655 246.925 240.02499
choco-solver 4.0.5 seq (2017-07-26) (complete)4254358SAT (TO)655 246.96001 240.01601
choco-solver 4.0.5 seq (2017-08-18) (complete)4283085SAT (TO)655 247.60001 240.02699
choco-solver 5a (2017-08-18) (complete)4284555SAT (TO)655 249.993 240.026
choco-solver 5a (2017-07-26) (complete)4255352SAT (TO)655 250.56 240.00999
Mistral-2.0 2017-07-28 (complete)4259328SAT (TO)739 251.821 252.01601
OscaR - ALNS 2017-07-26 (complete)4255849SAT (TO)1787 249.983 240.02901
OscaR - Hybrid 2017-07-26 (complete)4256843SAT (TO)2267 249.91299 240.022
cosoco-sat 1.12 (complete)4266934SAT (TO)2329 251.96201 252.01199
OscaR - Parallel with EPS 2017-08-22 (complete)4286025SAT (TO)5392 1959.65 252.20799
OscaR - Parallel with EPS 2017-07-26 (complete)4257340SAT (TO)5401 1921.21 246.649
OscaR - Conflict Ordering 2017-07-26 (complete)4256346SAT (TO)5421 246.71899 240.032
sat4j-CSP 2017-07-05 (complete)4258334? (TO) 259.12299 105.55
Concrete 3.4 (complete)4259825? (TO) 260.20001 92.683296

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: 552
Solution found:
<instantiation type='solution' cost='-552'> <list>c[0] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[10] c[110]
c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[11] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129]
c[12] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[13] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147]
c[148] c[149] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32]
c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53]
c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[6] c[70] c[71] c[72] c[73] c[74]
c[75] c[76] c[77] c[78] c[79] c[7] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[8] c[90] c[91] c[92] c[93] c[94] c[95]
c[96] c[97] c[98] c[99] c[9] d[0] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[10] d[110] d[111] d[112] d[113]
d[114] d[115] d[116] d[117] d[118] d[119] d[11] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[12] d[130] d[131]
d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14]
d[15] d[16] d[17] d[18] d[19] d[1] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[2] d[30] d[31] d[32] d[33] d[34] d[35]
d[36] d[37] d[38] d[39] d[3] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[4] d[50] d[51] d[52] d[53] d[54] d[55] d[56]
d[57] d[58] d[59] d[5] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[6] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77]
d[78] d[79] d[7] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[8] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98]
d[99] d[9] </list> <values>114 11 13 25 32 39 43 51 60 59 56 90 58 73 71 68 67 79 86 96 95 98 84 103 111 120 149 143 142 130 125 121 105 78
104 107 112 117 116 124 134 139 148 146 74 141 138 137 136 128 110 106 109 108 115 63 52 61 50 47 44 135 37 34 33 26 21 4 0 5 14 17 132 18
22 19 10 6 12 15 23 29 40 131 46 45 53 65 69 76 87 82 81 75 123 80 64 57 54 48 55 62 66 70 72 119 77 85 91 88 83 89 92 93 118 122 113 133
129 140 127 145 144 147 126 102 100 101 99 49 42 31 30 35 41 24 1 2 94 7 16 8 3 20 27 36 38 28 9 97 5 1 3 3 3 1 4 3 2 2 1 4 4 4 1 3 4 2 4 2
3 4 4 3 3 13 6 2 7 3 2 5 2 1 1 1 2 1 3 2 4 6 2 4 3 3 1 1 3 5 2 3 3 2 1 3 4 3 2 3 4 2 2 6 2 2 5 1 5 4 1 1 1 2 1 3 3 2 1 2 4 4 4 2 1 4 4 1 2 4
5 1 3 2 3 5 13 2 3 5 2 2 4 1 1 2 3 2 4 2 7 8 5 10 2 22 4 2 9 6 8 4 1 9 9 6 9 5 20 3 3 1 1 2 5 11 3 3 3 5 4 1 5 3 3 1 4 12 3 3 </values>
</instantiation>