2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-15.xml
MD5SUM97b5a288822c02a27c7c951fc8651369
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark585
Best CPU time to get the best result obtained on this benchmark2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size63
Maximum domain size150
Distribution of domain sizes[{"size":63,"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-mini 1.1 (2017-07-29) (complete)4260020SAT (TO)585 2400.0601 2400.1001
cosoco-mini 1.12 (complete)4267201SAT (TO)585 2400.0601 2400.2
cosoco-mini 1.1 (2017-06-27) (complete)4253466? (TO) 2400.02 2400.31
Naxos 1.1.0 (complete)4253467? (TO) 2400.09 2400.1

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