| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml |
| MD5SUM | b2c04361dada2322dcbf50e86c385888 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 551 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0701 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 64 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":64,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
| Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|---|
| cosoco-mini 1.12 (complete) | 4267200 | SAT (TO) | 551 | 2400.0701 | 2400.2 |
| cosoco-mini 1.1 (2017-07-29) (complete) | 4260019 | SAT (TO) | 551 | 2400.1001 | 2400.1001 |
| cosoco-mini 1.1 (2017-06-27) (complete) | 4253468 | ? (TO) | 2400.01 | 2399.9 | |
| Naxos 1.1.0 (complete) | 4253469 | ? (TO) | 2400.03 | 2400.4 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 551<instantiation type='solution' cost='-551'> <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>12 124 134 139 148 146 141 138 137 136 128 76 110 106 109 108 115 114 135 132 131 123 87 119 113 101 94 97 90 84 78 74 63 82 52 61 50 47 44 37 34 33 26 21 81 4 0 5 14 17 18 22 19 10 6 75 80 64 57 54 48 15 55 62 66 70 72 77 85 91 88 83 23 89 92 93 118 122 133 129 140 127 145 29 144 147 126 102 100 99 49 42 41 35 40 30 31 38 36 27 24 16 7 2 1 46 3 8 20 28 9 11 13 25 32 39 45 43 51 60 59 56 58 73 71 68 67 53 79 86 96 95 98 103 111 120 149 143 65 142 130 125 121 105 104 107 112 117 116 69 1 2 4 6 2 4 3 1 1 3 5 4 2 3 3 2 1 5 2 1 2 3 5 2 4 5 3 3 4 4 1 3 3 1 4 3 2 3 4 2 6 2 2 5 3 1 5 4 1 1 2 1 3 3 2 2 5 13 2 3 5 2 2 2 4 1 1 3 2 4 2 7 4 8 5 10 2 22 2 9 6 8 4 4 1 9 9 6 9 20 3 3 2 1 4 1 5 1 3 4 2 5 3 3 13 1 1 4 3 12 3 1 3 3 3 1 4 4 3 2 2 1 4 4 1 3 4 4 2 4 2 3 4 3 3 13 6 2 1 7 3 2 5 2 1 1 2 1 3 2 </values> </instantiation>