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