Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml |
MD5SUM | b2c04361dada2322dcbf50e86c385888 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 552 |
Best CPU time to get the best result obtained on this benchmark | 251.94299 |
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 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 552<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>